Spectral Analysis for a Wave/Plate Transmission System

Abstract

We are concerned with the transmission system of a 1D damped wave equation and a 1D undamped plate equation. Our result reads as follows: the spectrum of the infinitesimal generator of the semigroup associated with the system in question consists merely of an infinite sequence of eigenvalues which are all located in the open left half of the complex plane; the sequence of eigenvalues has the imaginary axis and another vertical line to the left of the imaginary axis as its asymptote lines; the energy of the system under consideration decreases to zero as time goes to infinity.

1. Introduction

Due to their wide applicability, spectral properties of coupled systems of partial differential equations have been extensively investigated in the literature. Guo and Yung [1] conducted spectral analysis for a 1D thermoelastic system and obtained an energy decay estimate from the spectral property; Lu and Wang [2] studied the spectral property of a wave/Schröodinger transmission system and proved that the associated energy decreases to zero as time approaches infinity, to name just a few of them. In this paper, we are concerned with the spectral property of the transmission system in which and the energy in the wave and in the plate can be transferred throughout the interference point by the relation , .

One of our motivations to conduct the spectral analysis is to understand better the asymptotic behavior of solutions to (1). Recently, the wave/plate system (or wave/plate transmission system in the case of multidimensions) has been investigated in several references for their stabilization and/or asymptotic property. Ammari and Nicaise [3] proved under a certain geometric condition that the energy of the transmission system of a damped wave equation and a damped plate equation decays exponentially by a multiplier argument. Zhang and Zhang [4] studied the stabilization of transmission coupled wave and Euler-Bernoulli equations on Riemannian manifolds by introducing nonlinear feedback. Hassine [5] proved by the Carleman estimate an energy decay estimate for the transmission system of an undamped Euler-Bernoulli plate and a wave equation with a localized Kelvin-Voigt damping. Gong, Yang and Zhao [6] studied the stabilization of a wave/plate transmission system via a Riemannian geometric approach. Inspired by the afore-mentioned results, and in view of the presence of the damping in the wave equation, we are interested in the large-time behavior of solutions to system (1). And therefore, we are tempted to study the spectral property of the infinitesimal generator of the semigroup associated with system (1). The controllability of wave/plate transmission systems was also investigated in the literature; see [7].

By introducing into (1), we are led to the systemThus, our main goal boils down to analyzing the spectral property of the infinitesimal generator of the semigroup associated with system (2). Here is defined by where is the closure of in . Endowed with the sesquilinear form where denotes the complex conjugate of ; is a Hilbert space. is the natural finite energy space for system (2).

We shall prove that by using the idea of Green’s functions, thereby proving that has compact resolvents, shall prove that is contained in the open left half of the complex plane by proving that is dissipative in and that ;, and shall obtain the spectral asymptotics for .

The rest of the paper is planned as follows. In Section 2, we analyze the spectral property of . In Section 3, we conclude the paper by some remarks.

2. Spectral Property of

In this section, we analyze in detail the spectral property of . We first note thatwhich implies that is a dissipative operator in , and that whenever .

Proposition 1. belongs to the resolvent set of , or in symbols, .

Proof. The statement is equivalent to the well-posedness of the boundary value problem (BVP)By utilizing the idea of Green’s functions, we know that and can be written aswhere the constants , , , , , , , , , , , , , , , , , and , are such that By applying Cramer’s rule, we can deducePlug this into (7) and (8), to yieldWe deduce from this expression that and for some . This means that BVP (6) is well-posed, i.e., .

Remark 2. Since the embedding is compact, has compact resolvents. And therefore, consists merely of a sequence of eigenvalues.
Next, we shall prove that is contained in the open left half complex plane.

Proposition 3. is contained in the open left half of complex plane, or in symbols, , where .

Proof. By using the observation (5), it suffices to show that . Indeed, . Otherwise, there exists, by Remark 2, a nonzero quadruple such that . We have necessarily , , and . And therefore, and assume the forms and , respectively. Recalling the boundary conditions to which and are subject, we have further It is ready to check thatThen , that is, and . This, together with the observation that and , contradicts the fact that the quadruple is nonzero. That is, .
It remains to show that for every . Let be such that for some . We have which implies . This, together with (5), implies , . Thus, the equation is reduced to the boundary value problemThe solution to BVP (15) can be written as where , and are chosen so that We deduce from the first two equations that . Substitute this into the third equation, use the fact that for , and conduct some routine calculations, to obtain . Therefore, , . To sum, . This means that for every . The proof is complete.

Proposition 4. Let . Then if and only if satisfies the equation , where

Proof. We should note that if and only if the following boundary value problem admits a nonzero solution: By the classical theory of ODEs, can be written as The coefficients are determined by the boundary conditions on and . More precisely, we haveBy the related classical theory from Linear Algebra, (21) has a nontrivial solution if and only if By recalling that , we infer that the proof is complete.

Theorem 5. is contained in the open left half complex plane and consists merely of eigenvalues of . And moreover, the eigenvalues are distributed as follows:

Proof. Recall that . We shall first consider the situation where and . For the sake of simplification, we would use for complex numbers. We next study the eigenvalues of in .
Case  1 (). By applying Taylor’s expansion, we havefor with sufficiently large modules. Besides, we haveTherefore,By analyzing the definition (18) of , we have This, together with (27), implies that cannot be a solution to the equation , or equivalently, cannot be an eigenvalue of , whenever its module is sufficiently large.
Case  2 (). We deduce from (24), (25), and (26) that for some , Divide the both hand sides of the equation by , and conduct some routine calculations, to obtain as with . Note that the equation with the restriction has the solutions with , and with . By applying Rouché’s theorem (see [1]) and Proposition 4, we obtain the spectral asymptotics for : as with , and as with .
Lastly, noting that iff , we know that there are eigenvalues of which are distributed as follows: as with , and as with . This, together with the afore-conducted analysis, implies that the proof is complete.

Theorem 6. The natural energy functional associated with system (1)decreases to as , is a solution to system (1).

Proof. Let us define the natural energy functional associated withRecalling the relation , and by applying integration by change-of-variable, we have for all . But we have also By, we have And therefore,The proof is complete.

3. Conclusion

We investigated in this paper the transmission system (1) of a 1D damped wave equation and a 1D undamped plate equation for its spectral property. We proved that the spectrum of the associated infinitesimal generator consists merely with eigenvalues which lie to the left of the imaginary axis and have two distinct vertical lines as its asymptote lines in which the one on the right hand side is the imaginary axis. We obtained also a byproduct: the energy of system (1) decreases to zero as time approaches infinity. The first natural question reads: Can one obtain the optimal decay rate for the energy functional defined by (32)? We would try to answer this question in our future work.

Another interesting question is: Can the method be carried out for wave/plate equations in higher dimensional domains to obtain the same results as in this paper? The answer is: It seems to be possible to use the idea of this paper to conduct spectral analysis for systems posed in certain special higher dimensional domains, but would need much more complicated calculations to obtain similar results as in 1D cases. We explain here this claim in certain detail. Let us consider a very special 2D transmission coupled system of wave and plate equations, that is,where , , , , , and . By introducing , we obtain the auxiliary systemThe spectral study of (37) is equivalent to that of (38). And thus we are led to the characteristic problem

Consider the auxiliary characteristic problems By recalling the classical results concerning PDE theory, we know that the former problem has the following pairs of nontrivial “normalized” solutionsand that the latter problem has the following pairs of nontrivial “normalized” solutionsLet us recall that is dense in , and that , here and hereafter, we denote by the closure of the algebraic tensor product two Hilbert spaces. Let be a solution triple to the problem (39). By using the results recalled just now, we know that Plug this into (39), and proceed by some routine calculations, to obtain By utilizing the relation , and the fact that is an orthonormal basis for , we haveBy an argument similar to the one used in this paper, we can show that for each , the eigenproblem (45) has a countably infinite many solutions, and eigenvalues are located in the open left half of the complex plane and can be divided into two subgroups; one subgroup has the imaginary axis as its asymptote line, while the other has a line parallel to the imaginary axis as its asymptote line.

The above example shows that our method used in this paper can be carried out in certain special higher order systems. But it should be stressed again that the calculations could be much more complicated.

Data Availability

No data were used to support this study.

Disclosure

This piece of work is credited to Chengqiang Wang.

Conflicts of Interest

There are no conflicts of interest in this paper.

Acknowledgments

The author is supported by NSFC (no. 11701050 and no. 11571244), by SCJYT Program (no. 18ZB0098) of Sichuan Province, China, and by XJPY Program (no. CS18ZD07) and XJJG Program (# 2017JG13) of Chengdu Normal University.