A note on the energy transfer
in coupled differential systems
Abstract.
We study the energy transfer in the linear system
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 .
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.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 . This is a system of two second-order ODEs of the form
(1) |
where is the coupling constant. One is interested to study the longtime behavior of the associated energy given by
Although if the energy of the second equation is conserved, the effect of the coupling is able to drive to zero exponentially fast as , no matter how small is . 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 and the system
(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 , system (2) turns into the ODE in
(3) |
where the -matrix reads
System (3) generates a uniformly continuous semigroup
acting by the rule
where is the solution to (3) at time , subject to the initial condition . In particular, the energy corresponding to the initial datum reads
Moreover, the asymptotic properties of are fully described by the eigenvalues of the matrix . Indeed, recalling that the growth bound of the semigroup is defined as
for some , we have the equality
Here, denotes the operator norm of , that is,
In particular, when 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 exhibits a blow up of polynomial rate , where 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 , which are the roots of the fourth-order equation
(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 . Hence, although we assumed for simplicity , all the subsequent results hold with , just replacing every occurrence of with .
2. Description of the results
Before entering into technical details, let us anticipate what happens. When 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 overcomes a certain critical threshold, precisely, when
At this point, the picture strongly depends on the antidamping parameter .
-
When , the dissipation is stronger than the antidissipation, and the global energy undergoes an exponential decay. The best decay rate is obtained in correspondence of
-
On the contrary, when 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 .
-
The limiting situation is when , 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 , the energy 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 , the symbol will always mean the value of the complex square root of whose argument belongs to . With this choice, for any we have
I. The case
For every value of the coupling parameter , we have , meaning that the norm of the semigroup blows up exponentially fast as . 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
II. The case
Here the four eigenvalues simplify into
We shall distinguish three situations:
If , then . So , telling that .
If , then
Besides, both the eigenvalues are not regular, hence with defect 1. Accordingly, blows up at infinity with polynomial rate . In fact, in this case we can easily write the explicit solution corresponding to the generic initial datum as
If , 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 by examining the qualitative behavior of the solutions for large values of . When , we readily get
With the aid of Mathematica™, one can compute the asymptotic form of the matrix of the eigenvectors, along with its inverse. Calling the diagonal matrix of the eigenvalues, one can determine explicitly via the formula
For , this yields
Hence, splitting any initial datum into the sum
where and , we obtain the solution
having set
and
So we have the sum of the highly oscillating function and the sinusoidal function of period . Choosing an initial datum with null velocities, namely, taking , in the limiting situation we boil down to the constant solution .
III. The case
We show that the exponential decay of the energy occurs when . We shall distinguish two situations, depending on the value
If , then . In turn,
and consequently
At this point, it is convenient to further split the analysis into three subcases.
- If , then . Thus , implying that .
- If , then . Therefore,
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 , then , which immediately gives for all . The energy undergoes an exponential decay.
If , then
Therefore,
where
Accordingly,
It is then clear that , and with standard computations we readily check that as well.
IV. The best decay rate
Once we know that when and the exponential decay occurs, it is interesting to establish for which value of the coupling parameter the best decay rate is attained. From the previous discussion, it is readily seen that when then
Accordingly, the smallest possible value is exactly
which is achieved when . In this case,
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 for the semigroup norm is polynomially penalized, yielding the best possible decay estimate
for some . Observe also that when , telling that the exponential decay rate tends to zero when becomes large. Indeed, we have the asymptotic expansion as .
Remark.
The reader will have no difficulty to ascertain that the analysis made in the previous points III and IV covers the limit value as well, corresponding to problem (1). Here, , and the two (nonregular) distinct eigenvalues read
The optimal decay estimate becomes
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
(5) |
where is a strictly positive selfadjoint operator acting on a Hilbert space , with compactly embedded domain . From the classical theory of semigroups [16], system (5) is well known to generate a strongly continuous semigroup acting on the product Hilbert space
A concrete realization of (5) is the system of PDEs
where is the Laplace-Dirichlet operator acting on the Hilbert space , for some bounded domain with boundary 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 , and then by computing the decay rate of each single mode. The only difference occurs in the case , where is still the value corresponding to the best exponential decay rate, but the decay rate itself can be affected by the first eigenvalue of . This happens when is small. Indeed, if , then we recover the exponential decay rate , up to a polynomial correction.
Remark.
In fact, the request that has compact inverse is not really needed, although this assumption greatly simplifies the analysis, since in this case the spectrum of is made by eigenvalues only. If 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 and .
The first set of figures concerns with the case .
In Fig. 1 we see the behavior of the energy corresponding to the initial value , for (exponential blow up), (polynomial blow up of rate ), and (bounded energy).
![[Uncaptioned image]](https://cdn.awesomepapers.org/papers/f42ccbc0-9001-4a28-b611-5c60f331968e/x1.png)
Fig. 1 Plot of for and (black), (blue) and (red).
In Fig. 2, again for the initial value , we represent the phase portrait of the first component of the solution along with its derivative . If one takes (as in the figure) with rational number, then the phase portrait becomes periodical.
![[Uncaptioned image]](https://cdn.awesomepapers.org/papers/f42ccbc0-9001-4a28-b611-5c60f331968e/x2.png)
Fig. 2 Parametric plot of for and .
In Fig. 3 and Fig. 4 we plot the energy for three values of . In Fig. 3 the initial value is . Here, we see that as increases the energy becomes sinusoidal. Instead, in Fig. 4 we take the initial value . We observe that the oscillations about the sinusoid persist, and their frequency increases dramatically as .
![[Uncaptioned image]](https://cdn.awesomepapers.org/papers/f42ccbc0-9001-4a28-b611-5c60f331968e/x3.png)
![[Uncaptioned image]](https://cdn.awesomepapers.org/papers/f42ccbc0-9001-4a28-b611-5c60f331968e/x4.png)
![[Uncaptioned image]](https://cdn.awesomepapers.org/papers/f42ccbc0-9001-4a28-b611-5c60f331968e/x5.png)
Fig. 3 for and with different values of .
![[Uncaptioned image]](https://cdn.awesomepapers.org/papers/f42ccbc0-9001-4a28-b611-5c60f331968e/x6.png)
![[Uncaptioned image]](https://cdn.awesomepapers.org/papers/f42ccbc0-9001-4a28-b611-5c60f331968e/x7.png)
![[Uncaptioned image]](https://cdn.awesomepapers.org/papers/f42ccbc0-9001-4a28-b611-5c60f331968e/x8.png)
Fig. 4 for and with different values of .
In Fig. 5 and Fig. 6 we compare for different values of the numerical solutions and with their asymptotic counterparts found in Section 3 part II. In both cases, we take the initial value . As predicted, the two curves overlap when .
![[Uncaptioned image]](https://cdn.awesomepapers.org/papers/f42ccbc0-9001-4a28-b611-5c60f331968e/x9.png)
![[Uncaptioned image]](https://cdn.awesomepapers.org/papers/f42ccbc0-9001-4a28-b611-5c60f331968e/x10.png)
![[Uncaptioned image]](https://cdn.awesomepapers.org/papers/f42ccbc0-9001-4a28-b611-5c60f331968e/x11.png)
Fig. 5 Numerical (blue) vs asymptotic (red) for with different values of (and different time-scales).
![[Uncaptioned image]](https://cdn.awesomepapers.org/papers/f42ccbc0-9001-4a28-b611-5c60f331968e/x12.png)
![[Uncaptioned image]](https://cdn.awesomepapers.org/papers/f42ccbc0-9001-4a28-b611-5c60f331968e/x13.png)
![[Uncaptioned image]](https://cdn.awesomepapers.org/papers/f42ccbc0-9001-4a28-b611-5c60f331968e/x14.png)
Fig. 6 Numerical (blue) vs asymptotic (red) for with different values of (and different time-scales).
Finally, we focus on the case .
In Fig. 7 we plot the energy corresponding to the initial value for (exponential blow up), (bounded energy), and (exponential decay).
![[Uncaptioned image]](https://cdn.awesomepapers.org/papers/f42ccbc0-9001-4a28-b611-5c60f331968e/x15.png)
Fig. 7 Plot of for and (black), (blue) and (red).
In Fig. 8 and Fig. 9, taking and the initial datum , we represent the phase portrait of the first component of the solution along with its derivative for and , respectively.
![[Uncaptioned image]](https://cdn.awesomepapers.org/papers/f42ccbc0-9001-4a28-b611-5c60f331968e/x16.png)
Fig. 8 Parametric plot of for and .
![[Uncaptioned image]](https://cdn.awesomepapers.org/papers/f42ccbc0-9001-4a28-b611-5c60f331968e/x17.png)
Fig. 9 Parametric plot of for and .
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.