All articles published by MDPI are made immediately available worldwide under an open access license. No special
permission is required to reuse all or part of the article published by MDPI, including figures and tables. For
articles published under an open access Creative Common CC BY license, any part of the article may be reused without
permission provided that the original article is clearly cited. For more information, please refer to
https://www.mdpi.com/openaccess.
Feature papers represent the most advanced research with significant potential for high impact in the field. A Feature
Paper should be a substantial original Article that involves several techniques or approaches, provides an outlook for
future research directions and describes possible research applications.
Feature papers are submitted upon individual invitation or recommendation by the scientific editors and must receive
positive feedback from the reviewers.
Editor’s Choice articles are based on recommendations by the scientific editors of MDPI journals from around the world.
Editors select a small number of articles recently published in the journal that they believe will be particularly
interesting to readers, or important in the respective research area. The aim is to provide a snapshot of some of the
most exciting work published in the various research areas of the journal.
Departamento de Matemática y Ciencia de la Computación, Facultad de Ciencias, Universidad de Santiago de Chile, Las Sophoras 173, Estación Central, Santiago 9160000, Chile
2
Instituto Universitario de Matemática Pura y Aplicada, Universitat Politècnica de València, 46022 València, Spain
*
Author to whom correspondence should be addressed.
We examine the Cauchy problem for a model of linear acoustics, called the Moore–Gibson–Thompson equation, describing a sound propagation in thermo-viscous elastic media with two temperatures on cylindrical domains. For an adequate combination of the parameters of the model we prove --well-posedness, and we provide maximal regularity estimates which are optimal thanks to the theory of operator-valued Fourier multipliers.
In this paper, we consider the Moore–Gibson–Thompson equation with two temperatures in a cylindrical domain endowed with Dirichlet boundary conditions:
The model (1) has been recently proposed by Quintanilla [1]. This equation considers two distinct temperatures acting on the heat conduction by means of the Moore–Gibson–Thompson equation: The conductive temperature and thermodynamic temperature. The two-temperatures theory of generalized thermoelasticity was introduced by Chen et al. [2,3,4]. They proved that the variation between the two temperatures is proportional to the heat supply and both temperatures become identical for time-independent situations where heat supply does not appear. On the other hand, when there exists time-dependence both temperatures are distinct, in spite of the heat supply.
The existence, stability, convergence properties, and spatial behavior of two-temperatures thermoelasticity were analyzed by Quintanilla [5] and Youssef [6]. Magaña and Quintanilla [7] studied the uniqueness and growth of solutions based on the theory provided by Youssef [6]. Very recently, Quintanilla [8] considered a thermoelastic theory where the heat conduction is expressed in terms of the Moore–Gibson–Thompson equation. See also [9,10] and references therein.
Whereas Quintanilla in [1] found sufficient conditions on the parameters to ensure the well-posedness and stability/instability of the solutions of (1) in the context of the Hilbert space where B is a three-dimensional domain whose boundary is smooth enough, the present paper analyzes the time/space regularity, i.e., --well posedness, as well as optimal (or maximal) regularity estimates in the context of the Banach space where is a cylindrical domain. More precisely, will denote the Cartesian product of half spaces and a standard domain V having compact boundary. It is well known that many situations in applied sciences are naturally modeled in cylindrical domains . We refer, e.g., to the textbook [11] and [12] and the references [13,14,15] where a wide variety of problems on such are considered.
The main tool to address the problem of regularity for (1) is the theory of discrete operator-valued Fourier multipliers. Applying Fourier series, we asked under which conditions an operator-valued symbol defines a bounded operator in where X is a Banach space. The answer to this question was provided by Arendt and Bu in [16], where they obtain a discrete operator-valued Fourier multiplier result in UMD spaces and they also obtain applications to Cauchy problems of the first and second order in Lebesgue spaces. An extension of the results obtained in [16] to certain evolution equations in Lebesgue-, Besov-, and Hölder-spaces was obtained in [17]. In [18], a suitable treatment for second order differential equations in Lebesgue- and Hölder-spaces is provided. In particular, the special case of the linearized Kuznetsov equation, i.e., is investigated. Recently, the references [19,20] began to treat the case of the Moore–Gibson–Thompson equation using these methods.
The usage of operator-valued Fourier multipliers to treat cylindrical domains was first carried out in [21] in a Besov-space setting. In that paper the author obtains semiclassical fundamental solutions for a wide variety of elliptic operators on infinite cylindrical domains As a result, they succeed obtaining the key for solving related elliptic and parabolic, as well as hyperbolic problems. Operators defined on a cylindrical domain with the same splitting property as in the present paper were also examined by Nau et.al. in [13,14,15,22,23].
In this paper, we directly apply general results of [20] and [14] to the Moore–Gibson–Thompson equation with two temperatures (1), and we obtain a - well-posedness result with maximal regularity estimates. The main difficulty relies in the verification of the so-called R-boundedness property that must be satisfied by certain sets of operators. To overcome this difficulty, we will employ a criteria established by Denk, Hieber, and Prüss in the reference [24] that reduces the problem to the localization of the spectrum of the Laplacian. We highlight that our method is sufficiently general to admit a wider class of operators than the Laplacian in (1) allowing also the possibility of the fractional Laplacian, the bi-Laplacian , or other operators of practical interest. Therefore, we first establish our main result in an abstract setting, that roughly says that under certain conditions of sectoriality of the operator A and for all the equation:
is strongly --well posed. Then, using the results of [14], we will establish our main findings concerning (1). It is important to observe that this result covers not only (1) taking and but also the cases of the fractional Laplacian: which intersects a recent work by Bezerra and Santos [25] that analyzes fractional powers for evolution equations of third order in time and the case of the bi-Laplacian operator: that appears in case (i.e., the Moore–Gibson–Thompson equation) as a possible model for the vertical displacement in viscoelastic plates [26].
2. Preliminaries
Let and X be a Banach space. In this section, we would like to provide optimal conditions to ensure the well-posedness of the following problem:
for each in the scale of vector valued -spaces: and where denotes de Laplacian operator subject to appropriate boundary conditions, and . For this purpose, we need to recall the preliminary results obtained in [20] where, in particular, the authors obtained a full characterization of -well-posedness for the following abstract third order degenerate equation:
where are real numbers, and C are closed linear operators defined on a complex Banach space X with respective domains , and Assuming that , the M-resolvent of B and C is defined as:
Here is a Banach space endowed with the norm The notion of -well-posedness is given as follows:
Definition1.
Let and be given. We say that Equation (4) is strongly -well-posed if for each , there exists a unique solution u that belongs to a maximal regularity space and satisfies (4) for almost all
The following result obtained in [20] gives a computable criterion that completely characterizes the well-posedness of Equation (4) in terms of some R-boundedness conditions on certain sets of operators associated with the equation. We refer the reader to [27] where a precise definition and all the properties preserved under R-boundedness are summarized.
Theorem1.
Let and Assume and are closed linear operators defined on a UMD space X such that The following assertions are equivalent:
Before we show our main abstract result we need to recall some preliminaries on sectorial operators. All these notions and more information about this class of operators can be found in [28].
Let be the open sector We define the following spaces of functions: and which is endowed with the norm
We also introduce the subspace of as follows: with
Definition2
([28]). Given a closed linear operator A in X, we say that A is sectorial if A satisfies the following conditions (i) (ii) for all and some The operator A is called R-sectorial if the set is R-bounded.
If A is sectorial then for some and We denote the spectral angle of a sectorial operator A by:
Definition3
([28]). Given a sectorial operator A, we say that it admits a bounded - calculus if there exist and a constant such that This class of operators will be denoted as and denotes the angle.
In the context of R-boundedness, we have the analogous notion of operators admitting an R-bounded -calculus. More concretely, if verifies that is R-bounded for some then it is said that A admit an R-bounded -calculus and that A belongs to the class . The corresponding angle will be noted as See [28] for more information about these concepts.
Remark1.
Given A a sectorial operator on a Hilbert space, Lebesgue spaces Sobolev spaces , or Besov spaces that admit a bounded -calculus of angle β, then it follows that A also admit a calculus on the same angle β on the corresponding space above mentioned (see Kalton and Weis [29]). Moreover, this property holds whenever X is a UMD space endowed with the so called property (see [28,29]).
Some operators that admit a bounded -calculus are: M-accretive and normal sectorial operators defined on Hilbert spaces, generators of -groups, whenever bounded, and negative generators contraction semigroups, whenever positive, on -spaces. See [28] for more information about well-known operators in the literature that admit a bounded -calculus. The following remark recalls that the Dirichlet Laplacian operator defined in a suitable space also verifies this property.
Remark2.
Let and denote by Δ the Laplacian operator in By [24] [Theorem 7.2] we obtain that the realization of the Laplacian operator admits an R-bounded –calculus for each Moreover, by [24] [Corollary 7.3] the same is true for the negative Dirichlet Laplacian in
The following result will be the key in our method for establishing - well posedness for Equation (3) because, under certain conditions on the operator A, the hypothesis of R-boundedness in Theorem 1 could be restricted to simply checking uniform boundedness of a set of one-parameter functions on the complex plane. It is obtained in [27] [Proposition 4.10].
Proposition1.
Let be given and assume that the set is uniformly bounded for some where Λ is an arbitrary index set. Then the set is R-bounded.
3. Main Results
Let be given. We start defining a sequence of complex numbers that depends on the parameters of the general equation:
and given by:
We also define Let Since we have . Moreover, we have:
and
It is clear that if and only if and We can then conclude that conditions or are sufficient to ensure that . After these preliminaries, we can state the main abstract result of this paper.
Theorem2.
Assume that X is a UMD-space, and suppose that with angle and Then for all the equation:
is strongly -well posed.
Proof.
First observe that, our Equation (7) labels into (4) for , , , and As a consequence, in order to prove well-posedness for (3) we only need to show that condition in Theorem 1 holds. Now, it suffices to show that the sets , and are R-bounded. Indeed, we have:
It follows that:
where
Due to the fact that there exists such that For each and define:
Note that belongs to the sector where and then the distance from the sector to is always positive. As a result, there exists independent of and that satisfies the following:
Now, from Proposition 1 we can conlude that the set is R-bounded. Moreover, due to the fact that A is invertible, the operators exist for all As a consequence, belongs to for all and the sequence is R-bounded. Taking into account the identity we have:
Since the sets are bounded and the set is R-bounded, it follows from the above identity that the set is R-bounded, too. Since we also have:
for all Therefore, the set is R-bounded. On the other hand, using again the identity we obtain:
where the set is bounded. We deduce that the set is R-bounded. Finally, we have:
where the set is bounded. This, together with the hypothesis, implies that the set is R-bounded. We conclude that Equation (7) is -well posed. □
Immediately from Remark 1 we obtain the following useful corollaries:
Corollary1.
Let be given. Suppose that and that A is a sectorial operator that admits a bounded -calculus of angle and Then for all the Equation (7) is strongly --well posed.
Taking into account that for all under the condition we obtain the following result.
Corollary2.
Let be given. Suppose that and that A is a sectorial operator that admits a bounded -calculus of angle and Then for all the Equation (7) is strongly --well posed.
Finally, we consider the Moore–Gibson–Thompson Equation (1) with two temperatures in a cylindrical domain where and is bounded, open, and connected. Moreover, in (1) denotes a cylindrical decomposition of the Dirichlet Laplacian operator on with respect to the two cross-sections i.e., where acts on the according component of Following [14] we introduce -realizations as follows:
see also [30] for the description of . We define the Laplacian in subject to the Dirichlet boundary conditions and to be:
Suppose now that V is a -standard domain (see [14] [Definition 3.1] for the precise definition). Then, applying [14] [Theorem 4.2] we have that and Moreover, by [14] [Proposition 5.1 (i)] we have Consequently, from Corollary 2 with and we deduce the following result:
Theorem3.
Let and Assume the condition then, for any given the solution u of the problem (1) exists, is unique and belongs to the space . Moreover, for any the estimate:
holds.
The last estimate follows from the Closed Graph Theorem. We remark that an analogous result holds when we replace the Laplacian by the fractional Laplacian We observe that a fractional power approach for abstract evolution equations of third order in time has been recently proposed by Bezerra and Santos [25]. Finally, we note that also very recently it has been pointed out in [26] that in the particular case where with proper boundary conditions, the Moore–Gibson–Thompson equation, i.e., (1) with appears as a possible model for the vertical displacement in viscoelastic plates [31]. Of course, this last case is also included in our findings.
4. Conclusions
Taking into account a suitable combination of the parameters of the Cauchy problem for the Moore–Gibson–Thompson equation, treated in this article with two temperatures and in cylindrical domains, we could provide the existence, uniqueness, and estimates of maximal regularity for the solution in Lebesgue spaces. Our original method combined the theory of operator-valued Fourier multipliers, that reduced the problem to verify a certain property of R-boundedness of an operator-valued symbol, and a criterion established by Denk–Hieber and Prüss that gave computable conditions on the data of the problem (the closed linear operator A) and that we used to verify the mentioned property of the R-boundedness. We note, for future works on this topic, that the maximal regularity estimate provided in this article is the starting point for the analysis of the existence, uniqueness and regularity of the nonlinear problem: The Jordan–Moore–Gibson–Thomson equation, by using the implicit function theorem and fixed point arguments, see for example the reference [27] for an overview of this method.
Author Contributions
Conceptualization, C.L.; methodology and writing-original draft, C.L. and M.M.-A.; writing-review C.L. All authors have read and agreed to the published version of the manuscript.
Funding
C.L. is partially supported by FONDECYT grant number 1180041; M.M.-A. is supported by MEC, grants MTM2016-75963-P and PID2019-105011GB-I00.
Acknowledgments
The authors thanks the referee’s for the careful reading of the manuscript and the Editor for their efficient handle of the process of review.
Conflicts of Interest
The authors declare no conflict of interest.
References
Quintanilla, R. Moore–Gibson–Thompson thermoelasticity with two temperatures. Appl. Eng. Sci.2020, 1, 100006. [Google Scholar] [CrossRef]
Chen, P.J.; Gurtin, M.E. On a theory of heat involving two temperatures. J. Appl. Math. Phys. (ZAMP)1968, 19, 614–627. [Google Scholar] [CrossRef]
Chen, P.J.; Gurtin, M.E.; Williams, W.O. A note on non-simple heat conduction. J. Appl. Math. Phys. (ZAMP)1968, 19, 969–970. [Google Scholar] [CrossRef]
Chen, P.J.; Gurtin, M.E.; Williams, W.O. On the thermodynamics of non-simple materials with two temperatures. J. Appl. Math. Phys. (ZAMP)1969, 20, 107–112. [Google Scholar] [CrossRef]
Quintanilla, R. On existence, structural stability, convergence and spatial behavior in thermoelasticity with two temperatures. Acta Mech.2004, 168, 61–73. [Google Scholar] [CrossRef]
Youssef, H.M. Theory Two-Temp. Thermoelasticity. IMA J. Appl. Math.2006, 71, 383–390. [Google Scholar] [CrossRef]
Maga na, A.; Quintanilla, R. Uniqueness and growth of solutions in two temperature generalized thermoelastic theories. Math. Mech. Solids2009, 14, 622–634. [Google Scholar] [CrossRef]
Bazarra, N.; Fernández, J.R.; Quintanilla, R. Analysis of a Moore–Gibson–Thompson thermoelastic problem. J. Comput. Appl. Math.2020, 382, 113058. [Google Scholar] [CrossRef]
Pellicer, M.; Quintanilla, R. On uniqueness and instability for some thermomechanical problems involving the Moore–Gibson–Thompson equation. Z. Fur Angew. Math. Und Phys.2020, 71, 84. [Google Scholar] [CrossRef]
Chipot, M. ℓ Goes to Plus Infinity; Birkhüser Advanced Texts: Basler Lehrbücher. Birkhäuser Advanced Texts: Basel Textbooks; Birkhäuser Verlag: Basel, Switzerland, 2002. [Google Scholar]
Denk, R.; Nau, T. Discrete Fourier multipliers and cylindrical boundary-value problems. Proc. R. Soc. Edinb. Sect. A2013, 143, 1163–1183. [Google Scholar] [CrossRef] [Green Version]
Nau, T. The Laplacian on cylindrical domains. Integr. Equ. Oper. Theory2013, 75, 409–431. [Google Scholar] [CrossRef]
Nau, T.; Saal, J. Jürgen -calculus for cylindrical boundary value problems. Adv. Differ. Equ.2012, 17, 767–800. [Google Scholar]
Arendt, W.; Bu, S. The operator-valued Marcinkiewicz multiplier theorem and maximal regularity. Math. Z.2002, 240, 311–343. [Google Scholar] [CrossRef]
Keyantuo, V.; Lizama, C. Fourier multipliers and integro-differential equations in Banach spaces. J. London Math. Soc.2004, 69, 737–750. [Google Scholar] [CrossRef] [Green Version]
Keyantuo, V.; Lizama, C. Periodic solutions of second order differential equations in Banach spaces. Math. Z.2006, 253, 489–514. [Google Scholar] [CrossRef] [Green Version]
Bu, S.; Cai, G. Periodic solutions of third-order degenerate differential equations in vector-valued functional spaces. Isr. J. Math.2016, 212, 163–188. [Google Scholar]
Conejero, J.A.; Lizama, C.; Murillo-Arcila, M.; Seoane-Sepúlveda, J.B. Well-posedness for degenerate third order equations with delay and applications to inverse problems. Isr. J. Math.2019, 229, 219–254. [Google Scholar] [CrossRef]
Guidotti, P. Elliptic and parabolic problems in unbounded domains. Math. Nachr.2004, 272, 32–45. [Google Scholar] [CrossRef]
Nau, T.; Saal, J. R-Sectoriality of Cylindrical Boundary Value Problems. In Parabolic Problems; Progr. Nonlinear Differential Equations Appl.; Birkhäuser/Springer Basel AG: Basel, Switzerland, 2011; pp. 479–505. [Google Scholar]
Nau, T. Lp-Theory of Cylindrical Boundary Value Problems. An Operator-Valued Fourier Multiplier and Functional Calculus Approach. Ph.D. Thesis, University of Konstanz, Konstanz, Germany, 2012. [Google Scholar]
Denk, R.; Hieber, M.; Prüss, J. Lp-theory of the Stokes equation in a half space. J. Evol. Equ.2001, 1, 115–142. [Google Scholar]
Bezerra, F.D.M.; Santos, L.A. Fractional powers approach of operators for abstract evolution equations of third order in time. J. Differ. Equ.2020, 269, 5661–5679. [Google Scholar] [CrossRef]
Conti, M.; Pata, V.; Pellicer, M.; Quintanilla, R. On the analyticity of the MGT-viscoelastic plate with heat conduction. Differ. Equ.2020, 269, 7862–7880. [Google Scholar] [CrossRef]
Denk, R.; Hieber, M.; Prüss, J. R-boundedness, Fourier multipliers and problems of elliptic and parabolic type. Mem. Amer. Math. Soc.2003, 166, 788. [Google Scholar] [CrossRef]
Keyantuo, V.; Lizama, C. A characterization of periodic solutions for time-fractional differential equations in UMD spaces and applications. Math. Nachr.2011, 284, 494–506. [Google Scholar] [CrossRef] [Green Version]
Wood, I. Maximal Lp-regularity for the Laplacian on Lipschitz domains. Math. Z.2007, 255, 855–875. [Google Scholar] [CrossRef] [Green Version]
Norris, A.N. Dynamics of thermoelastic thin plates: A comparison of four theories. J. Therm. Stress.2006, 29, 169–195. [Google Scholar] [CrossRef] [Green Version]
Lizama, C.; Murillo-Arcila, M.
Lp-Lq-Well Posedness for the Moore–Gibson–Thompson Equation with Two Temperatures on Cylindrical Domains. Mathematics2020, 8, 1748.
https://doi.org/10.3390/math8101748
AMA Style
Lizama C, Murillo-Arcila M.
Lp-Lq-Well Posedness for the Moore–Gibson–Thompson Equation with Two Temperatures on Cylindrical Domains. Mathematics. 2020; 8(10):1748.
https://doi.org/10.3390/math8101748
Chicago/Turabian Style
Lizama, Carlos, and Marina Murillo-Arcila.
2020. "Lp-Lq-Well Posedness for the Moore–Gibson–Thompson Equation with Two Temperatures on Cylindrical Domains" Mathematics 8, no. 10: 1748.
https://doi.org/10.3390/math8101748
APA Style
Lizama, C., & Murillo-Arcila, M.
(2020). Lp-Lq-Well Posedness for the Moore–Gibson–Thompson Equation with Two Temperatures on Cylindrical Domains. Mathematics, 8(10), 1748.
https://doi.org/10.3390/math8101748
Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.
Article Metrics
No
No
Article Access Statistics
For more information on the journal statistics, click here.
Multiple requests from the same IP address are counted as one view.
Lizama, C.; Murillo-Arcila, M.
Lp-Lq-Well Posedness for the Moore–Gibson–Thompson Equation with Two Temperatures on Cylindrical Domains. Mathematics2020, 8, 1748.
https://doi.org/10.3390/math8101748
AMA Style
Lizama C, Murillo-Arcila M.
Lp-Lq-Well Posedness for the Moore–Gibson–Thompson Equation with Two Temperatures on Cylindrical Domains. Mathematics. 2020; 8(10):1748.
https://doi.org/10.3390/math8101748
Chicago/Turabian Style
Lizama, Carlos, and Marina Murillo-Arcila.
2020. "Lp-Lq-Well Posedness for the Moore–Gibson–Thompson Equation with Two Temperatures on Cylindrical Domains" Mathematics 8, no. 10: 1748.
https://doi.org/10.3390/math8101748
APA Style
Lizama, C., & Murillo-Arcila, M.
(2020). Lp-Lq-Well Posedness for the Moore–Gibson–Thompson Equation with Two Temperatures on Cylindrical Domains. Mathematics, 8(10), 1748.
https://doi.org/10.3390/math8101748
Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.