This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

A note on the energy transfer
in coupled differential systems

Abstract.

We study the energy transfer in the linear system

{u¨+u+u˙=bv˙v¨+vϵv˙=bu˙\begin{cases}\ddot{u}+u+\dot{u}=b\dot{v}\\ \ddot{v}+v-\epsilon\dot{v}=-b\dot{u}\end{cases}

made by two coupled differential equations, the first one dissipative and the second one antidissipative. We see how the competition between the damping and the antidamping mechanisms affect the whole system, depending on the coupling parameter bb.

Key words and phrases:
Damped and antidamped equations, coupling parameter, energy transfer, exponential blow up, exponential decay.
1991 Mathematics Subject Classification:
Primary: 34A30, 34D05; Secondary: 35B40, 35L05.
Corresponding author

Monica Conti, Lorenzo Liverani and Vittorino Pata

Politecnico di Milano - Dipartimento di Matematica

Via Bonardi 9, 20133 Milano, Italy


(Communicated by the associate editor name)

1. Introduction

The purpose of this work is to better understand the mutual interaction of two coupled equations, in terms of the behavior of the associated energy. What one typically finds in the literature is a system of (ordinary or partial) differential equations, one of which is conservative and the other one dissipative. The coupling allows the transfer of dissipation, so that the system becomes globally stable as time tends to infinity. Just to quote some results in this direction, we mention the papers [1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 15, 18, 19] and the book [14], but the list is far from being exhaustive.

Perhaps, the simplest example is given by an ideal oscillator without damping, coupled by velocities with a physical oscillator subject to dynamical friction, with initial conditions assigned at time t=0t=0. This is a system of two second-order ODEs of the form

{u¨+u+u˙=bv˙,v¨+v=bu˙,\begin{cases}\ddot{u}+u+\dot{u}=b\dot{v},\\ \ddot{v}+v=-b\dot{u},\end{cases} (1)

where b>0b>0 is the coupling constant. One is interested to study the longtime behavior of the associated energy 𝖤=𝖤(t){\mathsf{E}}={\mathsf{E}}(t) given by

𝖤=12[u2+u˙2+v2+v˙2].{\mathsf{E}}=\frac{1}{2}\big{[}u^{2}+\dot{u}^{2}+v^{2}+\dot{v}^{2}\big{]}.

Although if b=0b=0 the energy of the second equation is conserved, the effect of the coupling is able to drive 𝖤(t){\mathsf{E}}(t) to zero exponentially fast as tt\to\infty, no matter how small is bb. This result is well known, and can also be obtained as a byproduct of the forthcoming analysis.

Here, instead, we focus on a quite different issue: namely, we want to analyze the effect of the coupling between a dissipative oscillator and an antidissipative one. To this end, we address a simple (yet not so simple) model: namely, we consider for ϵ>0\epsilon>0 and b>0b>0 the system

{u¨+u+u˙=bv˙,v¨+vϵv˙=bu˙.\begin{cases}\ddot{u}+u+\dot{u}=b\dot{v},\\ \ddot{v}+v-\epsilon\dot{v}=-b\dot{u}.\end{cases} (2)

The situation now is much more intriguing, as we have a competition between an equation whose solutions decay exponentially fast (in absence of the coupling), and an equation whose solutions (except the trivial one) exhibit an exponential blow up.

Introducing the four-component (column) vector 𝒛=(u,x,v,y)\boldsymbol{z}=(u,x,v,y), system (2) turns into the ODE in 4\mathbb{R}^{4}

𝒛˙=𝔸𝒛,\boldsymbol{\dot{z}}=\mathbb{A}\boldsymbol{z}, (3)

where the (4×4)(4\times 4)-matrix 𝔸\mathbb{A} reads

𝔸=(0100110b00010b1ϵ).{\mathbb{A}}=\begin{pmatrix}[r]0&1&0&0\\ -1&-1&0&b\\ 0&0&0&1\\ 0&-b&-1&\epsilon\end{pmatrix}.

System (3) generates a uniformly continuous semigroup

S(t)=et𝔸,S(t)=e^{t\mathbb{A}},

acting by the rule

S(t)𝒛0=𝒛(t),S(t)\boldsymbol{z}_{0}=\boldsymbol{z}(t),

where 𝒛(t)\boldsymbol{z}(t) is the solution to (3) at time tt, subject to the initial condition 𝒛(0)=𝒛0\boldsymbol{z}(0)=\boldsymbol{z}_{0}. In particular, the energy corresponding to the initial datum 𝒛04\boldsymbol{z}_{0}\in\mathbb{R}^{4} reads

𝖤(t)=12S(t)𝒛02.{\mathsf{E}}(t)=\frac{1}{2}\|S(t)\boldsymbol{z}_{0}\|^{2}.

Moreover, the asymptotic properties of S(t)S(t) are fully described by the eigenvalues λi\lambda_{i} of the matrix 𝔸\mathbb{A}. Indeed, recalling that the growth bound ω\omega_{\star} of the semigroup is defined as

ω=inf{ω:S(t)Meωt},\omega_{\star}=\inf\big{\{}\omega\in\mathbb{R}\,:\,\|S(t)\|\leq Me^{\omega t}\big{\}},

for some M=M(ω)1M=M(\omega)\geq 1, we have the equality

ω=maxiλi.\omega_{\star}=\max_{i}\Re\lambda_{i}.

Here, S(t)\|S(t)\| denotes the operator norm of S(t)S(t), that is,

S(t)=sup𝒛0=1S(t)𝒛0.\|S(t)\|=\sup_{\|\boldsymbol{z}_{0}\|=1}\|S(t)\boldsymbol{z}_{0}\|.

In particular, when ω=0\omega_{\star}=0 the semigroup is bounded (i.e., the energy is bounded for any initial datum) if and only if all the eigenvalues with null real part are regular. Otherwise, the norm of S(t)S(t) exhibits a blow up of polynomial rate dd, where dd is the maximum of the defects of those eigenvalues. We address the reader to any classical ODE textbook for more details (e.g., [12, 17]).

In summary, the problem reduces to finding such λi\lambda_{i}, which are the roots of the fourth-order equation

λ4+(1ϵ)λ3+(2+b2ϵ)λ2+(1ϵ)λ+1=0.\lambda^{4}+(1-\epsilon)\lambda^{3}+(2+b^{2}-\epsilon)\lambda^{2}+(1-\epsilon)\lambda+1=0. (4)

Unfortunately, equation (4) is not so simple to handle, and the analysis requires some work.

Remark.

Note that the characteristic equation (4) depends only on b2b^{2}. Hence, although we assumed for simplicity b>0b>0, all the subsequent results hold with b0b\neq 0, just replacing every occurrence of bb with |b||b|.

2. Description of the results

Before entering into technical details, let us anticipate what happens. When bb is small, the two equations do not quite communicate. The result is that the explosive character of the second equation is predominant, pushing the energy to infinity exponentially fast for certain initial data. The two equations start to share the respective energies when bb overcomes a certain critical threshold, precisely, when

b>ϵ.b>\sqrt{\epsilon}.

At this point, the picture strongly depends on the antidamping parameter ϵ\epsilon.

  • \diamond

    When ϵ<1\epsilon<1, the dissipation is stronger than the antidissipation, and the global energy 𝖤(t){\mathsf{E}}(t) undergoes an exponential decay. The best decay rate is obtained in correspondence of

    b=1+ϵ2.b=\frac{1+\epsilon}{2}.
  • \diamond

    On the contrary, when ϵ>1\epsilon>1 the dissipation is not enough to contrast the antidissipation, and the result is an energy which is (generally) exponentially blowing up for all possible values of bb.

  • \diamond

    The limiting situation is when ϵ=1\epsilon=1, as in that case the damping and the antidamping perfectly compensate. Here, the system is not conservative, but nonetheless the energy remains bounded. Besides, when bb\to\infty, the energy 𝖤(t){\mathsf{E}}(t) turns into the sum of a highly oscillating term, possibly vanishing for some particular initial values, and a sinusoid with a period tending to infinity as well.

3. A detailed discussion

We now proceed to analyze more deeply the three cases.

A word of warning.

In what follows, for any zz\in{\mathbb{C}}, the symbol z\sqrt{z} will always mean the value of the complex square root of zz whose argument belongs to (π2,π2](-\frac{\pi}{2},\frac{\pi}{2}]. With this choice, for any α,β\alpha,\beta\in\mathbb{R} we have

2(α±iβ)=ρ+αwhereρ=α2+β2.\Re\,\sqrt{2(\alpha\pm i\beta)\,}=\sqrt{\rho+\alpha}\qquad\text{where}\qquad\rho=\sqrt{\alpha^{2}+\beta^{2}}.

Calling now

a=(1+ϵ)24b2,a=\sqrt{(1+\epsilon)^{2}-4b^{2}},

the four complex roots λi\lambda_{i} of equation (4) read:

λ1\displaystyle\lambda_{1} =14(ϵ1+a+2(7+ϵ22b2(1ϵ)a)),\displaystyle=\frac{1}{4}\left(\epsilon-1+a+\sqrt{2\left(-7+\epsilon^{2}-2b^{2}-(1-\epsilon)a\right)}\right),
λ2\displaystyle\lambda_{2} =14(ϵ1a+2(7+ϵ22b2+(1ϵ)a)),\displaystyle=\frac{1}{4}\left(\epsilon-1-a+\sqrt{2\left(-7+\epsilon^{2}-2b^{2}+(1-\epsilon)a\right)}\right),
λ3\displaystyle\lambda_{3} =14(ϵ1+a2(7+ϵ22b2(1ϵ)a)),\displaystyle=\frac{1}{4}\left(\epsilon-1+a-\sqrt{2\left(-7+\epsilon^{2}-2b^{2}-(1-\epsilon)a\right)}\right),
λ4\displaystyle\lambda_{4} =14(ϵ1a2(7+ϵ22b2+(1ϵ)a)).\displaystyle=\frac{1}{4}\left(\epsilon-1-a-\sqrt{2\left(-7+\epsilon^{2}-2b^{2}+(1-\epsilon)a\right)}\right).

I. The case ϵ>𝟏\boldsymbol{\epsilon>1}

For every value of the coupling parameter bb, we have ω>0\omega_{\star}>0, meaning that the norm S(t)\|S(t)\| of the semigroup blows up exponentially fast as tt\to\infty. To show that, it is enough checking that at least one of the four eigenvalues has positive real part. Indeed, since by our convention the square roots have always nonnegative real parts, we readily get

λ1ϵ14>0.\Re\lambda_{1}\geq\frac{\epsilon-1}{4}>0.

II. The case ϵ=𝟏\boldsymbol{\epsilon=1}

Here the four eigenvalues simplify into

λ1\displaystyle\lambda_{1} =12(1b2+3b2),\displaystyle=\frac{1}{2}\left(\sqrt{1-b^{2}}+\sqrt{-3-b^{2}}\right), λ4=λ1,\displaystyle\hskip-71.13188pt\lambda_{4}=-\lambda_{1},
λ2\displaystyle\lambda_{2} =12(1b2+3b2),\displaystyle=\frac{1}{2}\left(-\sqrt{1-b^{2}}+\sqrt{-3-b^{2}}\right), λ3=λ2.\displaystyle\hskip-71.13188pt\lambda_{3}=-\lambda_{2}.

We shall distinguish three situations:

\bullet If b<1b<1, then 1b2>0\sqrt{1-b^{2}}>0. So λ1>0\Re\lambda_{1}>0, telling that ω>0\omega_{\star}>0.

\bullet If b=1b=1, then

λ1=λ2=iandλ3=λ4=i.\lambda_{1}=\lambda_{2}=i\qquad\text{and}\qquad\lambda_{3}=\lambda_{4}=-i.

Besides, both the eigenvalues ±i\pm i are not regular, hence with defect 1. Accordingly, S(t)\|S(t)\| blows up at infinity with polynomial rate tt. In fact, in this case we can easily write the explicit solution corresponding to the generic initial datum 𝒛0=(u0,x0,v0,y0)4\boldsymbol{z}_{0}=(u_{0},x_{0},v_{0},y_{0})\in\mathbb{R}^{4} as

u(t)\displaystyle u(t) =12[(2u0tu0+tv0)cost+(u0v0+2x0tx0+ty0)sint],\displaystyle=\frac{1}{2}\big{[}(2u_{0}-tu_{0}+tv_{0})\cos t+(u_{0}-v_{0}+2x_{0}-tx_{0}+ty_{0})\sin t\big{]},
v(t)\displaystyle v(t) =12[(tu0+2v0+tv0)cost+(u0v0tx0+2y0+ty0)sint].\displaystyle=\frac{1}{2}\big{[}(-tu_{0}+2v_{0}+tv_{0})\cos t+(u_{0}-v_{0}-tx_{0}+2y_{0}+ty_{0})\sin t\big{]}.

\bullet If b>1b>1, then we have four distinct, hence regular, purely imaginary eigenvalues. This means that there is no uniform decay of the energy, although the energy remains bounded.

We conclude the analysis of the case ϵ=1\epsilon=1 by examining the qualitative behavior of the solutions for large values of bb. When bb\to\infty, we readily get

λ1ib,λ2ib,λ3ib,λ4ib.\lambda_{1}\sim ib,\qquad\lambda_{2}\sim\frac{i}{b},\qquad\lambda_{3}\sim-\frac{i}{b},\qquad\lambda_{4}\sim-ib.

With the aid of Mathematica, one can compute the asymptotic form of the matrix 𝕌{\mathbb{U}} of the eigenvectors, along with its inverse. Calling 𝔻{\mathbb{D}} the diagonal matrix of the eigenvalues, one can determine explicitly S(t)S(t) via the formula

S(t)=𝕌et𝔻𝕌1.S(t)={\mathbb{U}}\,e^{t{\mathbb{D}}}\,{\mathbb{U}}^{-1}.

For bb\to\infty, this yields

S(t)(costb0sintb00cosbt0sinbtsintb0costb00sinbt0cosbt).S(t)\sim\begin{pmatrix}\cos\frac{t}{b}&0&-\sin\frac{t}{b}&0\\ 0&\cos bt&0&\sin bt\\ \sin\frac{t}{b}&0&\cos\frac{t}{b}&0\\ 0&-\sin bt&0&\cos bt\end{pmatrix}.

Hence, splitting any initial datum 𝒛0=(u0,x0,v0,y0)\boldsymbol{z}_{0}=(u_{0},x_{0},v_{0},y_{0}) into the sum

𝒛0=𝒖0+𝒙0,\boldsymbol{z}_{0}=\boldsymbol{u}_{0}+\boldsymbol{x}_{0},

where 𝒖0=(u0,0,v0,0)\boldsymbol{u}_{0}=(u_{0},0,v_{0},0) and 𝒙0=(0,x0,0,y0)\boldsymbol{x}_{0}=(0,x_{0},0,y_{0}), we obtain the solution

𝒛(t)=S(t)𝒛0𝒖(t)+𝒙(t),\boldsymbol{z}(t)=S(t)\boldsymbol{z}_{0}\sim\boldsymbol{u}(t)+\boldsymbol{x}(t),

having set

𝒖(t)=(u0costbv0sintb, 0,u0sintb+v0costb, 0)\boldsymbol{u}(t)=\textstyle\big{(}u_{0}\cos\frac{t}{b}-v_{0}\sin\frac{t}{b},\,0\,,u_{0}\sin\frac{t}{b}+v_{0}\cos\frac{t}{b},\,0\big{)}

and

𝒙(t)=(0,x0cosbt+y0sinbt, 0,x0sinbt+y0cosbt).\boldsymbol{x}(t)=\textstyle\big{(}0,\,x_{0}\cos bt+y_{0}\sin bt,\,0,\,-x_{0}\sin bt+y_{0}\cos bt\big{)}.

So we have the sum of the highly oscillating function 𝒙(t)\boldsymbol{x}(t) and the sinusoidal function 𝒖(t)\boldsymbol{u}(t) of period 2πb2\pi b\to\infty. Choosing an initial datum with null velocities, namely, taking 𝒙0=𝟎\boldsymbol{x}_{0}=\boldsymbol{0}, in the limiting situation b=b=\infty we boil down to the constant solution 𝒛(t)=𝒖0\boldsymbol{z}(t)=\boldsymbol{u}_{0}.

III. The case ϵ<𝟏\boldsymbol{\epsilon<1}

We show that the exponential decay of the energy occurs when b>ϵb>\sqrt{\epsilon}. We shall distinguish two situations, depending on the value

η=1+ϵ2>ϵ.\eta=\frac{1+\epsilon}{2}>\sqrt{\epsilon}.

\bullet If bηb\leq\eta, then 0a1+ϵ0\leq a\leq 1+\epsilon. In turn,

7+ϵ22b2±(1ϵ)a7+ϵ2+(1ϵ)(1+ϵ)=6<0,-7+\epsilon^{2}-2b^{2}\pm(1-\epsilon)a\leq-7+\epsilon^{2}+(1-\epsilon)(1+\epsilon)=-6<0,

and consequently

λ1=λ3=14(ϵ1+a)andλ2=λ4=14(ϵ1a).\Re\lambda_{1}=\Re\lambda_{3}=\frac{1}{4}({\epsilon-1}+a)\qquad\text{and}\qquad\Re\lambda_{2}=\Re\lambda_{4}=\frac{1}{4}({\epsilon-1}-a).

At this point, it is convenient to further split the analysis into three subcases.

- If b<ϵb<\sqrt{\epsilon}, then a>1ϵa>1-\epsilon. Thus λ1=λ3>0\Re\lambda_{1}=\Re\lambda_{3}>0, implying that ω>0\omega_{\star}>0.

- If b=ϵb=\sqrt{\epsilon}, then a=1ϵa=1-\epsilon. Therefore,

λ1=λ3=0andλ2=λ4=12(ϵ1)<0.\Re\lambda_{1}=\Re\lambda_{3}=0\qquad\text{and}\qquad\Re\lambda_{2}=\Re\lambda_{4}=\frac{1}{2}\left(\epsilon-1\right)<0.

Besides, the four eigenvalues are all distinct, hence regular. This tells that the energy is bounded, and there exist trajectories not decaying to zero.

- If ϵ<bη\sqrt{\epsilon}<b\leq\eta, then a<1ϵa<1-\epsilon, which immediately gives λi<0\Re\lambda_{i}<0 for all ii. The energy undergoes an exponential decay.

\bullet If b>ηb>\eta, then

a=i4b2(ϵ+1)2.a=i\sqrt{4b^{2}-(\epsilon+1)^{2}}.

Therefore,

2(7+ϵ22b2±(1ϵ)a)=ρ7+ϵ22b2,\Re\,\sqrt{2\left(-7+\epsilon^{2}-2b^{2}\pm(1-\epsilon)a\right)}=\sqrt{\rho-7+\epsilon^{2}-2b^{2}},

where

ρ=2b4+2b2(4ϵ)+3(4ϵ2).\rho=2\sqrt{b^{4}+2b^{2}(4-\epsilon)+3(4-\epsilon^{2})}.

Accordingly,

λ1\displaystyle\Re\lambda_{1} =λ2=14(ϵ1+ρ7+ϵ22b2),\displaystyle=\Re\lambda_{2}=\frac{1}{4}\left(\epsilon-1+\sqrt{\rho-7+\epsilon^{2}-2b^{2}}\right),
λ3\displaystyle\Re\lambda_{3} =λ4=14(ϵ1ρ7+ϵ22b2).\displaystyle=\Re\lambda_{4}=\frac{1}{4}\left(\epsilon-1-\sqrt{\rho-7+\epsilon^{2}-2b^{2}}\right).

It is then clear that λ3=λ4<0\Re\lambda_{3}=\Re\lambda_{4}<0, and with standard computations we readily check that λ1=λ2<0\Re\lambda_{1}=\Re\lambda_{2}<0 as well.

IV. The best decay rate

Once we know that when ϵ<1\epsilon<1 and b>ϵb>\sqrt{\epsilon} the exponential decay occurs, it is interesting to establish for which value of the coupling parameter bb the best decay rate is attained. From the previous discussion, it is readily seen that when ηb>ϵ\eta\neq b>\sqrt{\epsilon} then

λ1>ϵ14ω>ϵ14.\Re\lambda_{1}>\frac{\epsilon-1}{4}\qquad\Rightarrow\qquad\omega_{\star}>\frac{\epsilon-1}{4}.

Accordingly, the smallest possible value is exactly

ω=ϵ14,\omega_{\star}=\frac{\epsilon-1}{4},

which is achieved when b=ηb=\eta. In this case,

λ1=λ2\displaystyle\lambda_{1}=\lambda_{2} =14(ϵ1+15+ϵ22ϵ),\displaystyle=\frac{1}{4}\left(\epsilon-1+\sqrt{-15+\epsilon^{2}-2\epsilon}\right),
λ3=λ4\displaystyle\lambda_{3}=\lambda_{4} =14(ϵ115+ϵ22ϵ),\displaystyle=\frac{1}{4}\left(\epsilon-1-\sqrt{-15+\epsilon^{2}-2\epsilon}\right),

and the two distinct eigenvalues, sharing the same real part, can be shown to be nonregular, hence with defect 1. Then the optimal exponential decay rate (1ϵ)/4=ω(1-\epsilon)/4=-\omega_{\star} for the semigroup norm is polynomially penalized, yielding the best possible decay estimate

S(t)C(1+t)e1ϵ4t,\|S(t)\|\leq C(1+t)e^{-\frac{1-\epsilon}{4}t},

for some C1C\geq 1. Observe also that λ1=λ20\Re\lambda_{1}=\Re\lambda_{2}\to 0 when bb\to\infty, telling that the exponential decay rate tends to zero when bb becomes large. Indeed, we have the asymptotic expansion ρ=2b2+82ϵ+o(1)\rho=2b^{2}+8-2\epsilon+o(1) as bb\to\infty.

Remark.

The reader will have no difficulty to ascertain that the analysis made in the previous points III and IV covers the limit value ϵ=0\epsilon=0 as well, corresponding to problem (1). Here, b=η=12b=\eta=\frac{1}{2}, and the two (nonregular) distinct eigenvalues read

14(1±i15).\frac{1}{4}\left(-1\pm i\sqrt{15}\right).

The optimal decay estimate becomes

S(t)C(1+t)e14t.\|S(t)\|\leq C(1+t)e^{-\frac{1}{4}t}.

4. The infinite dimensional case

The finite-dimensional analysis carried out so far, besides having an interest by itself, can also be extended to cover some infinite-dimensional models. Indeed, in greater generality, one might consider the same problem for the system

{u¨+Au+u˙=bv˙,v¨+Avϵv˙=bu˙,\begin{cases}\ddot{u}+Au+\dot{u}=b\dot{v},\\ \ddot{v}+Av-\epsilon\dot{v}=-b\dot{u},\end{cases} (5)

where AA is a strictly positive selfadjoint operator acting on a Hilbert space HH, with compactly embedded domain 𝔇(A)H{\mathfrak{D}}(A)\Subset H. From the classical theory of semigroups [16], system (5) is well known to generate a strongly continuous semigroup S(t)S(t) acting on the product Hilbert space

=𝔇(A12)×H×𝔇(A12)×H.{\mathcal{H}}={\mathfrak{D}}(A^{\frac{1}{2}})\times H\times{\mathfrak{D}}(A^{\frac{1}{2}})\times H.

A concrete realization of (5) is the system of PDEs

{uttΔu+ut=bvt,vttΔvϵvt=but,\begin{cases}u_{tt}-\Delta u+u_{t}=bv_{t},\\ v_{tt}-\Delta v-\epsilon v_{t}=-bu_{t},\end{cases}

where Δ\Delta is the Laplace-Dirichlet operator acting on the Hilbert space L2(Ω)L^{2}(\Omega), for some bounded domain ΩN\Omega\subset\mathbb{R}^{N} with boundary Ω\partial\Omega smooth enough.

Here the picture is exactly the same as in the ODE system considered before. The desired results can be proved by projecting the equations on the eigenvectors of AA, and then by computing the decay rate of each single mode. The only difference occurs in the case ϵ<1\epsilon<1, where b=(1+ϵ)/2b=(1+\epsilon)/2 is still the value corresponding to the best exponential decay rate, but the decay rate itself can be affected by the first eigenvalue λ1>0\lambda_{1}>0 of AA. This happens when λ1\lambda_{1} is small. Indeed, if λ1(1ϵ)2/16\lambda_{1}\geq(1-\epsilon)^{2}/{16}, then we recover the exponential decay rate (1ϵ)/4(1-\epsilon)/4, up to a polynomial correction.

Remark.

In fact, the request that AA has compact inverse is not really needed, although this assumption greatly simplifies the analysis, since in this case the spectrum of AA is made by eigenvalues only. If A1A^{-1} is not compact, a deeper use of the spectral theory and the related functional calculus is required. We refer the interested reader to the paper [10], where these techniques have been successfully exploited in the analysis of the best exponential decay rate for an abstract weakly damped wave equation.

5. Some figures

We conclude the paper with some figures illustrating our analysis. We will concentrate on the two more interesting cases ϵ=1\epsilon=1 and ϵ<1\epsilon<1.


The first set of figures concerns with the case ϵ=1\epsilon=1.

\diamond In Fig. 1 we see the behavior of the energy 𝖤(t){\mathsf{E}}(t) corresponding to the initial value 𝒛0=(1,0,0,0)\boldsymbol{z}_{0}=(1,0,0,0), for b<1b<1 (exponential blow up), b=1b=1 (polynomial blow up of rate t2t^{2}), and b>1b>1 (bounded energy).


[Uncaptioned image]

Fig. 1   Plot of 𝖤{\mathsf{E}} for ϵ=1\epsilon=1 and b=0.99b=0.99 (black), b=1b=1 (blue) and b=1.01b=1.01 (red).



\diamond In Fig. 2, again for the initial value 𝒛0=(1,0,0,0)\boldsymbol{z}_{0}=(1,0,0,0), we represent the phase portrait of the first component u(t)u(t) of the solution along with its derivative u˙(t)\dot{u}(t). If one takes (as in the figure) b=q+q11,b=\sqrt{q+q^{-1}-1}, with qq rational number, then the phase portrait becomes periodical.


[Uncaptioned image]

Fig. 2   Parametric plot of t(u(t),u˙(t))t\mapsto(u(t),\dot{u}(t)) for ϵ=1\epsilon=1 and b=2313+13231b=\sqrt{\frac{23}{13}+\frac{13}{23}-1}.


\diamond In Fig. 3 and Fig. 4 we plot the energy 𝖤(t){\mathsf{E}}(t) for three values of b>1b>1. In Fig. 3 the initial value is 𝒛0=(1,0,0,0)\boldsymbol{z}_{0}=(1,0,0,0). Here, we see that as bb increases the energy becomes sinusoidal. Instead, in Fig. 4 we take the initial value 𝒛0=(1,0.5,0,0)\boldsymbol{z}_{0}=(1,0.5,0,0). We observe that the oscillations about the sinusoid persist, and their frequency increases dramatically as bb\to\infty.


[Uncaptioned image]
[Uncaptioned image]
[Uncaptioned image]

Fig. 3   𝖤{\mathsf{E}} for ϵ=1\epsilon=1 and 𝒛0=(1,0,0,0)\boldsymbol{z}_{0}=(1,0,0,0) with different values of bb.


[Uncaptioned image]
[Uncaptioned image]
[Uncaptioned image]

Fig. 4   𝖤{\mathsf{E}} for ϵ=1\epsilon=1 and 𝒛0=(1,0.5,0,0)\boldsymbol{z}_{0}=(1,0.5,0,0) with different values of bb.


\diamond In Fig. 5 and Fig. 6 we compare for different values of bb the numerical solutions u(t)u(t) and v(t)v(t) with their asymptotic counterparts found in Section 3 part II. In both cases, we take the initial value 𝒛0=(1,0.1,0,0)\boldsymbol{z}_{0}=(1,0.1,0,0). As predicted, the two curves overlap when bb\to\infty.


[Uncaptioned image]
[Uncaptioned image]
[Uncaptioned image]

Fig. 5   Numerical uu (blue) vs asymptotic uu (red) for ϵ=1\epsilon=1 with different values of bb (and different time-scales).


[Uncaptioned image]
[Uncaptioned image]
[Uncaptioned image]

Fig. 6   Numerical vv (blue) vs asymptotic vv (red) for ϵ=1\epsilon=1 with different values of bb (and different time-scales).



Finally, we focus on the case ϵ<1\epsilon<1.

\diamond In Fig. 7 we plot the energy corresponding to the initial value 𝒛0=(1,0,0,0)\boldsymbol{z}_{0}=(1,0,0,0) for b<ϵb<\sqrt{\epsilon} (exponential blow up), b=ϵb=\sqrt{\epsilon} (bounded energy), and b>ϵb>\sqrt{\epsilon} (exponential decay).


[Uncaptioned image]

Fig. 7   Plot of 𝖤{\mathsf{E}} for ϵ=0.5\epsilon=0.5 and b=0.50.1b=\sqrt{0.5}-0.1 (black), b=0.5b=\sqrt{0.5} (blue) and b=0.5+0.1b=\sqrt{0.5}+0.1 (red).


\diamond In Fig. 8 and Fig. 9, taking ϵ=12\epsilon=\frac{1}{2} and the initial datum 𝒛0=(1,1,1,1)\boldsymbol{z}_{0}=(1,1,1,1), we represent the phase portrait of the first component u(t)u(t) of the solution along with its derivative u˙(t)\dot{u}(t) for b=1b=1 and b=2b=2, respectively.


[Uncaptioned image]

Fig. 8   Parametric plot of t(u(t),u˙(t))t\mapsto(u(t),\dot{u}(t)) for ϵ=12\epsilon=\frac{1}{2} and b=1b=1.


[Uncaptioned image]

Fig. 9   Parametric plot of t(u(t),u˙(t))t\mapsto(u(t),\dot{u}(t)) for ϵ=12\epsilon=\frac{1}{2} and b=2b=2.

Acknowledgments

We thank Professor Giulio Magli for fruitful discussion and comments.

References

  • [1] (MR3608100) F. Alabau-Boussouira, Z. Wang and L. Yu, A one-step optimal energy decay formula for indirectly nonlinearly damped hyperbolic systems coupled by velocities, ESAIM Control Optim. Calc. Var., 23 (2017), 721–749.
  • [2] (MR2996725) M.S. Alves, C. Buriol, M.V. Ferreira, J.E. Muñoz Rivera, M. Sepúlveda and O. Vera, Asymptotic behaviour for the vibrations modeled by the standard linear solid model with a thermal effect, J. Math. Anal. Appl., 399 (2013), 472–479.
  • [3] (MR2646047) K. Ammari and S. Nicaise, Stabilization of a transmission wave/plate equation, J. Differential Equations, 249 (2010), 707–727.
  • [4] (MR1602473) G. Avalos and I. Lasiecka, Exponential stability of a thermoelastic system without mechanical dissipation, Rend. Istit. Mat. Univ. Trieste, 28 (1997), 1–28.
  • [5] (MR1634723) G. Avalos and I. Lasiecka, The strong stability of a semigroup arising from a coupled hyperbolic/parabolic system, Semigroup Forum, 57 (1998), 278–292.
  • [6] (MR4159030) M. Conti, V. Pata and R. Quintanilla, Thermoelasticity of Moore-Gibson-Thompson type with history dependence in the temperature, Asymptot. Anal., 120 (2020), 1–21.
  • [7] (MR3200380) F. Dell’Oro and V. Pata, On the stability of Timoshenko systems with Gurtin-Pipkin thermal law, J. Differential Equations, 257 (2014), 523–548.
  • [8] (MR3798957) R. Denk and F. Kammerlander, Exponential stability for a coupled system of damped-undamped plate equations, IMA J. Appl. Math., 83 (2018), 302–322.
  • [9] (MR2533927) H.D. Fernández Sare and R. Racke, On the stability of damped Timoshenko systems: Cattaneo versus Fourier law, Arch. Rational Mech. Anal., 194 (2009), 221–251.
  • [10] (MR3075540) G.R. Goldstein, J.A. Goldstein and G. Perla Menzala, On the overdamping phenomenon: a general result and applications, Quart. Appl. Math., 71 (2013), 183–199.
  • [11] (MR3085907) J. Hao and Z. Liu, Stability of an abstract system of coupled hyperbolic and parabolic equations, Z. Angew. Math. Phys., 64 (2013), 1145–1159.
  • [12] (MR0486784) M. W. Hirsch and S. Smale, Differential equations, dynamical systems and linear algebra, Academic Press, New York, 1974.
  • [13] (MR1166563) J.U. Kim, On the energy decay of a linear thermoelastic bar and plate, SIAM J. Math. Anal., 23 (1992), 889–899.
  • [14] (MR1681343) [0-8493-0615-9] Z. Liu and S. Zheng, Semigroups associated with dissipative systems, Chapman & Hall/CRC, Boca Raton, 1999.
  • [15] (MR1356459) J.E. Muñoz Rivera and R. Racke, Smoothing properties, decay, and global existence of solutions to nonlinear coupled systems of thermoelastic type, SIAM J. Math. Anal., 26 (1995), 1547–1563.
  • [16] (MR0710486) [10.1007/978-1-4612-5561-1] A. Pazy, Semigroups of linear operators and applications to partial differential equations, Springer-Verlag, New York, 1983.
  • [17] (MR1083151) [10.1007/978-1-4684-0392-3] L. Perko, Differential equations and dynamical systems, Springer-Verlag, New York, 1991.
  • [18] (MR2959386) M.L. Santos, D.S. Almeida Júnior and J.E. Muñoz Rivera, The stability number of the Timoshenko system with second sound, J. Differential Equations, 253 (2012), 2715–2733.
  • [19] (MR3810191) R. Triggiani, Heat-viscoelastic plate interaction: analyticity, spectral analysis, exponential decay, Evol. Equ. Control Theory, 7 (2018), 153–182.

Received xxxx 20xx; revised xxxx 20xx.