Abstract
We consider the abstract MGT-Fourier system \({\left\{ \begin{array}{ll} u_{ttt}+\alpha u_{tt}+\beta A^\varrho u_t+\gamma A^\varrho u = \eta A \theta \\ \theta _t+\kappa A \theta = -\eta A u_{tt} - \eta \alpha A u_t \end{array}\right. }\)in the subcritical regime \(\beta >\gamma /\alpha\), where the operator A is strictly positive selfadjoint. For any fixed \(\varrho \in [1,2]\), we show that the associated solution semigroup S(t) is analytic and exponentially stable as well.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(\Omega \subset {\mathbb {R}}^n\) be a bounded domain with smooth boundary \(\partial \Omega\). On the space-time cylinder \(\Omega _+=\Omega \times [0,\infty )\), we consider the linear evolution system of partial differential equations
in the unknown variables
Here, \(\alpha ,\beta ,\gamma ,\kappa >0\) and \(\eta \ne 0\) are fixed structural constants, while \(\Delta\) is the Laplace operator with Dirichlet boundary conditions. In the uncoupled case when \(\eta =0\), the first equation reads
This is the so-called Moore-Gibson-Thompson (MGT) equation appearing in the context of acoustic wave propagation in viscous thermally relaxing fluids [18, 23], although it has been originally introduced in a very old paper of Stokes [21]. Such an equation has received a considerable attention in recent years, mainly due to the large number of possible applications not only in acoustics but also in lithotripsy, high intensity focused ultrasounds and other physical phenomena (see for instance [14] and references therein). Quite interestingly, it can be used as a model for the vibrations in a standard linear viscoelastic solid, for it can obtained by differentiating in time the equation of viscoelasticity with an exponential kernel (see [8] for more details). The same equation also arises as a model for the temperature evolution in a type III heat conduction with a relaxation parameter (see [20]). In the system (1.1), the MGT equation is coupled with the classical Fourier heat equation by means of the coupling constant \(\eta\). Such a model pops up for instance in the description of the vibrations of a viscoelastic heat conductor obeying the Fourier thermal law and governed by the so-called standard linear solid model (see [1, 10,11,12]).
From the mathematical viewpoint, system (1.1) generates a solution semigroup S(t) acting on the natural weak energy space
where with standard notation \(L^2(\Omega )\) is the Lebesgue space of square summable functions on \(\Omega\), while \(H_0^1(\Omega )\) is the space of functions belonging to \(L^2(\Omega )\) along with their first derivatives, and having null trace on the boundary \(\partial \Omega\). The asymptotic properties of S(t) depend on choice of the constitutive parameters \(\alpha ,\beta ,\gamma ,\kappa ,\eta\). Namely, introducing the stability number \(\varkappa\) defined as
the following three regimes occur:
-
the subcritical case \(\varkappa >0\);
-
the critical case \(\varkappa =0\);
-
the supercritical case \(\varkappa <0\).
As shown in [1], in the subcritical case the semigroup is exponentially stable, namely, there exist \(\omega >0\) and \(M\ge 1\) such that
where \(\Vert \cdot \Vert\) denotes the operator norm. Moreover, it has been recently proved in [6] that there exists a structural threshold \({\mathsf t}\) independent of \(\eta\), of the form
such that exponential stability occurs whenever
In particular, S(t) turns out to be exponentially stable (for all \(\eta \ne 0\)) also in the critical case, whereas in the supercritical case exponential stability takes place as soon as \(|\eta |\) is sufficiently large.
Another meaningful physical model can be obtained by replacing the operator \(-\Delta\) in the MGT equation with the Bilaplacian \(\Delta ^2\) (i.e. the square of \(-\Delta\)). In this situation, one has the evolution system
modeling thermoviscoelastic plates of MGT type. Such a system has been introduced and analyzed in [7], where it has been proved that in the subcritical case the associated solution semigroup S(t), acting now on the space
is not only exponentially stable but also analytic (see [9, 19] for the definition of an analytic semigroup). This means that the coupling with the (parabolic) heat equation is still able to stabilize uniformly the dynamics to zero (in the subcritical case) and, in addition, it produces strong regularizing effects on the solutions. The analyticity of S(t) has been recently shown to occur also in the critical and in the supercritical cases [5].
In light of the discussion above, it is then natural to wonder whether the semigroup associated to (1.1) is analytic or not. Even more so, one may ask what happens when the operator \(-\Delta\) is replaced by the fractional Laplace-Dirichlet operator \((-\Delta )^\varrho\) with \(\varrho \in [1,2]\). The aim of the present article is to address these issues.
2 The Abstract System
Let \((H,\langle \cdot ,\cdot \rangle ,\Vert \cdot \Vert )\) be a complex Hilbert space, and let
be a strictly positive selfadjoint unbounded linear operator. For \(\varrho \in [1,2]\), we consider the abstract evolution system
in the unknowns \(u:[0,\infty )\rightarrow H\) and \(\theta :[0,\infty )\rightarrow H\), where as before \(\alpha ,\beta ,\gamma ,\kappa >0\) and \(\eta \ne 0\) are fixed constants. Unless explicitly stated otherwise, we shall always work in the subcritical regime
where the stability number \(\varkappa\) has been defined in (1.2).
Remark 2.1
The reason why we work with a complex Hilbert space is that in this paper we use semigroup techniques based on the spectral properties of certain operators. Such techniques are meaningful only in the complex setting. Nonetheless, since the operators appearing in (2.1) are selfadjoint, all the results hold for a real Hilbert space as well.
With an eye to the remark above, let us choose H as the (real) Hilbert space \(L^2(\Omega )\), and A as the Laplace-Dirichlet operator
In this situation, the physical systems (1.1) and (1.3) turn out to be the concrete realizations of (2.1) corresponding to the choice \(\varrho =1\) and \(\varrho =2\), respectively.
As our main result, we prove that the solution semigroup S(t) generated by system (2.1) is analytic and exponentially stable for every \(\varrho \in [1,2]\).
2.1 Plan of the paper
In the forthcoming Sect. 3 we introduce the functional setting and the notation. The subsequent Sect. 4 deals with the existence of the solution semigroup S(t) and the analysis of some spectral properties of its infinitesimal generator. In Sect. 5 we state and prove the main results of the article concerning the analyticity and the exponential stability of S(t) in the subcritical case. Possible extensions to the critical case are briefly discussed in Sect. 6, while the final Sect. 7 is devoted to some concluding remarks.
3 Functional setting
For \(p \in {\mathbb {R}}\), we consider the scale of continuously nested Hilbert spaces (the index p will be always omitted whenever zero)
If \(p>0\) it is understood that \(H^{-p}\) denotes the completion of the domain. Denoting by \(\sigma (A)\) the spectrum of A, and recalling that \(\sigma (A)\) is a nonempty closed subset of \((0,\infty )\), we set
Then, for \(p>0\), we have the generalized Poincaré inequality
and, for \(0\le p\le q\), we have the interpolation inequality
For a fixed \(\varrho \in [1,2]\), the phase space associated to our abstract system (2.1) is the product Hilbert space
endowed with the inner product
Since \(\varkappa >0\), using the Poincaré and Young inequalities one can readily check that the associated (square of the) norm
is equivalent to the standard (square of the) product norm
3.1 General agreements
Along the paper, the Poincaré and Young inequalities will be tacitly used in several occasions. Moreover, as customary, we shall regard \(A^p\) as an isometric isomorphism from \(H^q\) onto \(H^{q-2p}\) for all \(p,q\in {\mathbb {R}}\).
4 The infinitesimal generator
Introducing the state vector \({\varvec{u}}= (u,v,w,\theta ) \in {\mathcal H}\), we view system (2.1) as the abstract ordinary differential equation
where \({{\mathbb {A}}}: \mathrm{dom}({{\mathbb {A}}}) \subset {\mathcal H}\rightarrow {\mathcal H}\) is the linear operator defined as
with (dense) domain
Recalling that \(\varrho \in [1,2]\), the third condition above yields
In turn, for every \({\varvec{u}}=(u,v,w,\theta ) \in \mathrm{dom}({{\mathbb {A}}})\), a straightforward computation entails
Hence, the operator \({{\mathbb {A}}}\) is dissipative. By means of standard arguments, it is also possible to prove that the operator \(1-{{\mathbb {A}}}\) is surjective (the details are left to the interested reader). As a consequence, appealing to the Lumer-Phillips theorem (see e.g. [19]), we infer that the operator \({{\mathbb {A}}}\) is the infinitesimal generator of a contraction semigroup
We conclude the section by showing that the spectrum \(\sigma ({{\mathbb {A}}})\) of \({{\mathbb {A}}}\) is contained in the open left half-plane
Such a result will play an important role in the sequel.
Proposition 4.1
We have the inclusion \(\sigma ({{\mathbb {A}}}) \subset {{\mathbb {C}}}^{-}\).
Proof
Being \({{\mathbb {A}}}\) the infinitesimal generator of a contraction semigroup, the Hille-Yosida theorem (see e.g. [19]) implies that \(\sigma ({{\mathbb {A}}})\) is contained in the closed left half-plane. Accordingly, we only need to show the equality \(\sigma ({{\mathbb {A}}}) \cap \mathrm{i}{\mathbb {R}}= \emptyset\). To this end, let us assume by contradiction that \(\mathrm{i}\lambda \in \sigma ({{\mathbb {A}}})\) for some \(\lambda \in {\mathbb {R}}\). Since \(\mathrm{i}{\mathbb {R}}\) is contained in the topological boundary of \(\sigma ({{\mathbb {A}}})\), it follows that \(\mathrm{i}\lambda\) is an approximate eigenvalue of \({{\mathbb {A}}}\) (see e.g. [3, Proposition B.2], but see also [22, Theorem 5.1-D]). Thus, there exists a sequence of vectors \({\varvec{u}}_n =(u_n,v_n,w_n,\theta _n)\in \mathrm{dom}({{\mathbb {A}}})\) of unit norm (in \({\mathcal H}\)) such that
In components, we obtain the following system
Multiplying (4.3) by \({\varvec{u}}_n\) in \({\mathcal H}\) and invoking (4.2), we see immediately that
Relation (4.5) now tells that \(w_n\rightarrow 0\) in \(H^\varrho\), from which
Finally, we take the inner product in H of (4.6) with \(u_n\) to get
Recalling that \(\varrho \ge 1\), we estimate
for some \(c>0\) (depending on \(\lambda\)). Since \(u_n\) is bounded in \(H^\varrho\), from (4.8)–(4.10) we learn that the right-hand side converges to zero. Therefore, we end up with
Collecting (4.8)–(4.11) we conclude that \({\varvec{u}}_n\rightarrow 0\) in \({\mathcal H}\), against the assumption that \({\varvec{u}}_n\) has unit norm. \(\square\)
5 The main result
5.1 The theorem
In this section, we show that the contraction semigroup S(t) generated by the operator \({{\mathbb {A}}}\) is analytic and exponentially stable.
Theorem 5.1
The semigroup S(t) is analytic.
Once the analyticity of S(t) has been established, the exponential stability follows from the spectral inclusion \(\sigma ({{\mathbb {A}}}) \subset {{\mathbb {C}}}^{-}\) ensured by Proposition 4.1. Indeed, an analytic semigroup whose infinitesimal generator satisfies such a spectral inclusion has a strictly negative growth bound. This is shown, for instance, in the proof of [2, Proposition 2.7].
Corollary 5.2
The semigroup S(t) is exponentially stable.
The proof of Theorem 5.1 is based on the following well-known abstract result (see for instance [15, Chapter 3, Theorem 3E.3] and [16, Chapter 1, Theorem 1.3.3]).
Lemma 5.3
Assume that \(\sigma ({{\mathbb {A}}}) \cap \mathrm{i}{\mathbb {R}}= \emptyset\). Then the (bounded) semigroup S(t) is analytic if and only if
where \(\Vert \cdot \Vert\) denotes the operator norm.
5.2 Proof of Theorem 5.1
Since Proposition 4.1 tells that \(\sigma ({{\mathbb {A}}}) \cap \mathrm{i}{\mathbb {R}}= \emptyset\), we only need to prove (5.1). To this end, assuming by contradiction that (5.1) fails to hold, it is readily seen that there exist a real sequence \(\lambda _n\) with \(|\lambda _n|\rightarrow \infty\) and a sequence of vectors \({\varvec{u}}_n =(u_n,v_n,w_n,\theta _n)\in \mathrm{dom}({{\mathbb {A}}})\) of unit norm such that
Our aim is to reach a contradiction by proving that every component of \({\varvec{u}}_n\) goes to zero in its own norm. In what follows, \(c>0\) will denote a generic constant, whose value might change from line to line, or even within the same line. We will also tacitly employ the boundedness of \(u_n\) and \(v_n\) in \(H^\varrho\) (and consequently in \(H^1\), as \(\varrho \ge 1\)) as well as the boundedness of \(w_n\) and \(\theta _n\) in H.
First, we multiply relation (5.2) by \({\varvec{u}}_n\) in \({\mathcal H}\). Exploiting (4.2), we infer that
Next, writing (5.2) componentwise, we obtain the system
Recalling that \(|\lambda _n|\rightarrow \infty\), it follows immediately from (5.4) that
We now define
Multiplying (5.7) by \(w_n\) in H we deduce that \(\varepsilon _n\rightarrow 0\), hence \(|\varepsilon _n|\le c\). Since (5.3) ensures that \(|\lambda _{n}|^{-1/2}\Vert \theta _n\Vert _1\le c\), we can estimate
Accordingly, we are led to the bound
Next, we take the inner product in H of (5.7) and \(\theta _n\) to get
The second term converges to zero due to (5.3). Recalling (5.9) and exploiting once more (5.3), we also infer that
Therefore, we end up with the convergence
In turn, as \(\varrho \le 2\), we learn from (5.7) together with the Poincaré inequality that
Invoking now (5.4)-(5.5) together with (5.8), the relation above implies that
In particular, we find
On the other hand, we readily learn from (5.6) that the sequence
is bounded in \(H^2\), hence in \(H^\varrho\) appealing again on \(\varrho \le 2\). Thus,
By interpolation, since \(\varrho \ge 1\), we now obtain the bound
Next, a multiplication of (5.11) by \(\beta v_n + \gamma u_n\) in \(H^\varrho\) gives
Relation (5.3) together with the boundedness of \(|\lambda _n|^{-1/2} \Vert \beta v_n + \gamma u_n\Vert _{2\varrho -1}\) ensure that
yielding the convergence \(\beta v_n + \gamma u_n\rightarrow 0\) in \(H^\varrho\). In the light of (5.8), the latter entails
At this point, we take the inner product in H of (5.6) and \(w_n\) to get
Since \(|\lambda _n|\rightarrow \infty\), the second term converges to zero. Owing to (5.3) and (5.9), we also see that
Finally, collecting (5.5) and (5.12), we learn that \(\lambda _{n}^{-1} w_n\rightarrow 0\) in \(H^\varrho\), which leads to
In conclusion, we have proved the convergence \(w_n\rightarrow 0\) in H. Together with (5.8), (5.10) and (5.12), the latter leads to the desired contradiction. \(\square\)
6 The critical case
In the critical case \(\varkappa =0\), it is readily seen that \(\Vert \cdot \Vert _{{\mathcal H}}\) defines only a seminorm on the space \({\mathcal H}\). Indeed, when \(\varkappa =0\), we have
hence there exist nonzero vectors \({\varvec{u}}\in {\mathcal H}\) with \(\Vert {\varvec{u}}\Vert _{{\mathcal H}}=0\). Exploiting (for instance) a “pumping” technique firstly devised in [8], it is still possible to show that the operator \({{\mathbb {A}}}\) is the infinitesimal generator of a \(C_0\)-semigroup S(t) on \({\mathcal H}\). The only difference is that now we do not know that S(t) is bounded. However, it has been proved in [6] that S(t) is exponentially stable if \(\varrho =1\). In this situation, S(t) is certainly bounded and, from the general theory of \(C_0\)-semigroups (see for instance [9, 19]), we also know that Proposition 4.1 holds true. Moreover, a close inspection to the proof of Theorem 5.1 reveals that the argument used to show the validity of (5.1) applies verbatim to the case \(\varkappa =0\) as well (one just has to notice that the seminorm is controlled by the norm). We are thus in a position to employ Lemma 5.3 and conclude that S(t) is analytic when \(\varrho =1\). For \(\varrho =2\), the analyticity of S(t) in the critical (and actually in the supercritical) case has been recently proved in [5] by means of a suitable perturbation argument. It is reasonably expected that the semigroup S(t) is analytic also for \(\varrho \in (1,2)\), but a detailed proof of this fact is beyond our scopes.
7 Further remarks
Despite being less relevant from the physical viewpoint, one may wonder what happens when \(\varkappa >0\) but \(\varrho \not \in [1,2]\). It can be shown that the operator \({{\mathbb {A}}}\) generates a contraction semigroup S(t) on \({\mathcal H}\) provided that \(\varrho \ge 0\), but in general Proposition 4.1 is no longer valid. More precisely, the following hold:
To see that, we preliminary observe that \(\sigma ({{\mathbb {A}}}) \cap \mathrm{i}{\mathbb {R}}\subset \{ 0\}\) whenever \(\varrho \ge 0\). Indeed, with reference to the proof of Proposition 4.1, it is immediate to check that the convergences
can be obtained under the sole condition \(\varrho \ge 0\). Moreover, when \(\lambda \ne 0\), the convergence
follows immediately from (4.4) and (4.8), again under the sole condition \(\varrho \ge 0\).
We are left to prove that \(0\in \sigma ({{\mathbb {A}}})\) if and only if \(\varrho <1\). To this end, a closer look at the proof of Proposition 4.1 reveals that in order to obtain (7.3) one needs to use the constraint \(\varrho \ge 1\), but not the constraint \(\varrho \le 2\). To wit, equality (7.2) holds true. On the other hand, the operator \({{\mathbb {A}}}\) is not surjective for \(\varrho <1\). To see that, let us choose a nonzero vector \(u_1 \in H^\varrho \setminus H^1\). Calling
we consider the equation \({{\mathbb {A}}}{\varvec{u}}= {{\varvec{u}}_1}\) in the unknown \({\varvec{u}}=(u,v,w,\theta )\in \mathrm{dom}({{\mathbb {A}}})\). In components, it reads
Substituting the first, the second and the fourth equalities into the third one, we find
Since \({{u_1}} \notin H^1\), it is readily seen that the right-hand side does not belong to \(H^\varrho\), meaning that the system has no solutions \({\varvec{u}}\in \mathrm{dom}({{\mathbb {A}}})\). In conclusion, equality (7.1) holds true.
The spectral identity (7.1) immediately tells that S(t) cannot be exponentially stable when \(\varrho <1\) (see for instance [9, 19]). In this situation, S(t) is not even semiuniformly stable, meaning that there exists no function h(t) vanishing at infinity and such that
See e.g. [2, 4]. Nonetheless, it is immediate to check that 0 is not an eigenvalue of \({{\mathbb {A}}}\). Just note that system (7.4) with \(u_1 =0\) has only the trivial solution. We are thus in a position to exploit the classical Arendt-Batty-Lyubich-Vũ theorem [2, 17] and conclude that S(t) is stable, i.e.
for every fixed \({\varvec{u}}\in {\mathcal H}\). Moreover, it is worth mentioning that the arguments carried out in the proof of Theorem 5.1 can be adapted also to the case \(\varrho <1\) (the details are left to the interested reader). Hence, appealing to a slightly generalized version of Lemma 5.3 (see e.g. [13, Lemma 2.1]), the semigroup S(t) turns out to be analytic also for \(\varrho <1\). On the contrary, it is possible to show that condition (5.1) does not hold when \(\varrho >2\) (again, the details are left to the interested reader). Therefore, in this case, the semigroup S(t) is not analytic.
Change history
30 July 2022
Missing open access funding information has been added in the funding note
References
Alves MS, Buriol C, Ferreira MV, Muñoz Rivera JE, Sepúlveda M, Vera O (2013) Asymptotic behaviour for the vibrations modeled by the standard linear solid model with a thermal effect. J Math Anal Appl 399:472–479
Arendt W, Batty CJK (1988) Tauberian theorems and stability of one-parameter semigroups. Trans Am Math Soc 306:837–852
Arendt W, Batty CJK, Hieber M, Neubrander F (2011) Vector-valued laplace transforms and Cauchy problems. Birkhäuser, Basel
Batty CJK (1994) Asymptotic behaviour of semigroups of operators. Functional analysis and operator theory, vol 30. Banach Center Publications Polish Academy of Sciences, Warsaw
Conti M, Dell’Oro F, Liverani L, Pata V. Spectral analysis and stability of the Moore-Gibson-Thompson-Fourier model, submitted
Conti M, Liverani L, Pata V (2021) The MGT-Fourier model in the supercritical case. J Differ Equ 301:543–567
Conti M, Pata V, Pellicer M, Quintanilla R (2020) On the analyticity of the MGT-viscoelastic plate with heat conduction. J Differ Equ 269:7862–7880
Dell’Oro F, Pata V (2017) On the Moore-Gibson-Thompson equation and its relation to linear viscoelasticity. Appl Math Optim 76:641–655
Engel KJ, Nagel R (2000) One-parameter semigroups for linear evolution equations. Springer, New York
Gorain GC (2010) Stabilization for the vibrations modeled by the ‘standard linear model’ of viscoelasticity. Proc Indian Acad Sci Math Sci 120:495–506
Gorain GC, Bose SK (1998) Exact controllability and boundary stabilization of torsional vibrations of an internally damped flexible space structure. J Optim Theory Appl 99:423–442
Gorain GC, Bose SK (2002) Exact controllability and boundary stabilization of flexural vibrations of an internally damped flexible space structure. Appl Math Comput 126:341–360
Hao J, Liu Z, Yong J (2015) Regularity analysis for an abstract system of coupled hyperbolic and parabolic equations. J Differ Equ 259:4763–4798
Kaltenbacher B (2015) Mathematics of nonlinear acoustics. Evol Equ Control Theory 4:447–491
Lasiecka I, Triggiani R (2000) Control theory for partial differential equations: continuous and approximation theories. I. Abstract parabolic systems. Cambridge University Press, Cambridge
Liu Z, Zheng S (1999) Semigroups associated with dissipative systems. Chapman & Hall/CRC, Boca Raton
Lyubich YI, Vũ QP (1988) Asymptotic stability of linear differential equations in Banach spaces. Stud Math 88:37–42
Moore FK, Gibson WE (1960) Propagation of weak disturbances in a gas subject to relaxation effects. J Aero/Space Sci 27:117–127
Pazy A (1983) Semigroups of linear operators and applications to partial differential equations. Springer, New York
Quintanilla R (2019) Moore-Gibson-Thompson thermoelasticity. Math Mech Solids 24:4020–4031
Stokes Professor (1851) An examination of the possible effect of the radiation of heat on the propagation of sound. Philos Mag Ser 41:305–317
Taylor AE (1958) Introduction to functional analysis. Chapman & Hall Ltd, London
Thompson PA (1972) Compressible-fluid dynamics. McGraw-Hill, New York
Funding
Open access funding provided by Politecnico di Milano within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Dell’Oro, F., Pata, V. On the analyticity of the abstract MGT-Fourier system. Meccanica 58, 1053–1060 (2023). https://doi.org/10.1007/s11012-022-01511-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11012-022-01511-x
Keywords
- MGT equation
- Fourier heat conduction law
- Standard linear solid model
- Analytic semigroup
- Exponentially stable semigroup