Jump to ContentJump to Main Navigation
Show Summary Details
More options …

Journal of Applied Analysis

Editor-in-Chief: Fechner, Włodzimierz / Ciesielski, Krzysztof

Managing Editor: Gajek, Leslaw


CiteScore 2018: 0.45

SCImago Journal Rank (SJR) 2018: 0.181
Source Normalized Impact per Paper (SNIP) 2018: 0.845

Mathematical Citation Quotient (MCQ) 2018: 0.20

Online
ISSN
1869-6082
See all formats and pricing
More options …
Volume 25, Issue 1

Issues

Riesz basis of exponential family for a hyperbolic system

Abdelkader Intissar / Aref Jeribi
  • Department of Mathematics, Faculty of Sciences of Sfax, University of Sfax, Route Soukra, BP1171, 3000 Sfax, Tunisia
  • Email
  • Other articles by this author:
  • De Gruyter OnlineGoogle Scholar
/ Ines Walha
  • Corresponding author
  • Department of Mathematics, Faculty of Sciences of Sfax, University of Sfax, Route Soukra, BP1171, 3000 Sfax, Tunisia
  • Email
  • Other articles by this author:
  • De Gruyter OnlineGoogle Scholar
Published Online: 2019-05-29 | DOI: https://doi.org/10.1515/jaa-2019-0002

Abstract

This paper studies a linear hyperbolic system with boundary conditions that was first studied under some weaker conditions in [8, 11]. Problems on the expansion of a semigroup and a criterion for being a Riesz basis are discussed in the present paper. It is shown that the associated linear system is the infinitesimal generator of a C0-semigroup; its spectrum consists of zeros of a sine-type function, and its exponential system {eλnt}n1 constitutes a Riesz basis in L2[0,T]. Furthermore, by the spectral analysis method, it is also shown that the linear system has a sequence of eigenvectors, which form a Riesz basis in Hilbert space, and hence the spectrum-determined growth condition is deduced.

Keywords: Hyperbolic system; eigenvalues; eigenvectors; sine-type function; Riesz basis

MSC 2010: 15A42; 65F15; 65H17; 46A35; 46B15; 47A55

1 Introduction

In a separable Hilbert space, the most important bases are orthonormal bases. Second in importance are those bases that are bases equivalent to some orthonormal basis. They will be called Riesz bases, and they constitute the largest and most tractable class of bases known. For a linear system, the property that the eigenvectors of the linear system forms a Riesz basis for the state Hilbert space is one of the most important features from both theoretical and practical points of view.

Mathematically, the general Riesz basis property is developed in the context of nonharmonic Fourier series, which originated from the works of Paley and Winer and was developed later by many former Soviet mathematicians; we can quote most of them [16, 8, 15, 9].

In this paper, we consider on a Hilbert space the linear system

{ddtϕ(t)=𝒜ϕ(t),t>0,ϕ(0)=ϕ0,(1.1)

where 𝒜 is an unbounded linear operator on and ϕ0.

If the operator 𝒜 generates a C0-semigroup T(t) on , then the solution of (1.1) can be written in L2([0,T],) as ϕ(t):=T(t)ϕ0.

In this case, we will also claim that this property be essential in our paper. In many applications, the differential operator 𝒜 arises from a partial differential equation, for which it is know that (1.1) has a solution. Hence the assumption that 𝒜 generates a C0-semigroup is not strong. However, for our result, the semigroup property does not suffice; we need that 𝒜 generates a group, i.e., (1.1) possesses a unique solution forward and backward in time. Since we also assume that the eigenvalues lie in a strip parallel to the imaginary axis, the group condition is not very restrictive. In order to apply the Pavlov theorem [13] to get a Riesz basis of expansion of eigenvalues of the general linear system in Hilbert space, we need to relate eigenvectors of the system operator with the exponential system through its spectrum.

In spectral theory, to show that system (1.1) satisfies the spectrum-determined growth condition is an interesting but difficult problem. The spectrum-determined growth holds for the C0-semigroup generated by 𝒜. However, verifying this condition is difficult because the semigroup usually may not have a workable expansion. So using the Riesz basis of the eigenvectors of the studied system becomes an attractive alternative.

In this model that we study in this paper, we need to discuss properties of the C0-semigroup. Since, very frequently, we merely have information about the infinitesimal generator 𝒜, it is important to know how to deduce these properties from those of 𝒜. It is long this line of thoughts that we try to use spectral information of 𝒜 to investigate the spectrum-determined growth. The approach that we take to prove our result is different to the one taken in [4, 6, 8, 10, 11].

Since this Riesz basis property is so important, there is extensive literature on this problem; we refer to the works [4, 6, 9, 10] where the same problem is treated for a specific perturbation of a closed linear operator. The basic approach is to estimate eigenvalues, the exponential family of eigenvalues, and then find some transformation to transform the set of the family of a perturbed operator to an orthonormal basis of eigenvectors.

We concentrate our attention in the second part of this paper to give a unified treatment for the following general class of linear hyperbolic systems:

{ddt(u(x,t)w(x,t))+𝒞(u(x,t)w(x,t))=(h(x,t)k(x,t)),u(0,t)=α1w(0,t),u(L,t)=β1w(L,t),α1,β1{-1,0,1},(1.2)

where

𝒞:=(0-c(x)ddx-c(x)ddx0)(1.3)

with a strictly positive function c(x), which was first studied by Intissar [8] in the case where the function c(x) is considered constant, equal to one, with a unique restrictive termination. A nice summary of the later development can be found in [11] under some transformation on the operator 𝒞. Among them, a powerful concept of a Riesz basis was introduced to prove that the eigenvectors of 𝒞 form a Riesz basis in Hilbert space. However, it appears that a mathematical treatment of this problem has not yet been undertaken in the case where the operator 𝒞 is given in the above form (1.3). The exact question is to know whether the eigenvectors of this operator (1.3) form a Riesz basis in Hilbert space. Answering this equation is important in this model. It is the topic that we shall study in this paper.

The main concerns of this paper are

  • (a)

    Riesz basis property of exponential family,

  • (b)

    expansion of the solution in terms of the eigenvectors under nonharmonic Fourier series,

  • (c)

    spectrum-determined growth condition.

We show that the spectrum of system (1.1) consists of zeros of a sine-type function where the expansion family {eλnt}n1 and its eigenvectors form a Riesz basis.

Now let us outline the content of this paper. In Section 2, we recall some preliminary results and definitions that we will be using. In Section 3, we introduce our basic result. Section 4 is devoted to applying the main result for the linear hyperbolic system. In other words, we show that the Riesz basis property as well as the spectrum-determined growth condition hold for the studied system.

2 Preliminary results

For the sake of completeness, we first recall the following notions and preliminary results which will be used in the sequel.

Let be a Hilbert space, and let T be a closed operator with dense domain 𝒟(𝒜). Let σ(T) (resp. ρ(T)) denote the spectrum (resp. the resolvent set) of T. For any λρ(T), R(λ,T):=(λ-T)-1 is called the resolvent of T.

In the remaining part of this section, we will give the characterization of the Riesz basis of an exponential family developed by Pavlov [13]. Before stating this result, we shall first recall some basic facts about functions of sine type due to Avdonin and Ivanov [3] formulated as follows:

Definition 2.1.

An entire function f(z) is said to be of exponential type if the inequality |f(z)|AeB|z| holds for some positive constants A and B and all complex values of z. The smallest of constants B is said to be the exponential type of f(z).

Definition 2.2.

An entire function f of exponential type is said to be of sine type if

  • (i)

    the zeros of f lie in a strip {z:|Imz|H} for some H>0,

  • (ii)

    there exist h, and positive constants c1,c2 such that c1|f(x+ih)|c2 for all x.

We want to mention Pavlov’s characterization of exponential Riesz bases [13].

Theorem 2.1 ([13]).

Let Λ:={λn}1 be a countable set of complex numbers. The family {eiλnt}1 forms a Riesz basis in L2[0,T] if and only if the following conditions are satisfied:

  • (i)

    the sequence {λn}1 lies in a strip parallel to the real axis, supn1|Imλn|< ;

  • (ii)

    {λn}1 is separated in the sense that δ(Λ):=infmn|λn-λm|>0 ;

  • (iii)

    the generating function of the family {eiλnt}1 on the interval [0,T] satisfies the Muckenhoupt condition

    supI𝒥{1|I|2I|f(x+ih)|2dxI|f(x+ih)|-2dx}<for someh,

    where 𝒥 is the set of all intervals of the real axis.

Remark 1.

It is seen that if the generation function f of {eiλnt}1 is of sine type, then conditions (i) and (iii) of Theorem 2.1 are always satisfied.

Before recalling the results of the next theorem that are used subsequently, we begin by recalling the useful definition due to M. V. Keldys.

Definition 2.3.

Let K be a compact operator in a Hilbert space . Then K is said to belong to the Carleman class Cp, p>0, with order p if the series n=1snp(K) converges, where the sn(K) are the eigenvalues of the operator K*K.

In the particular case p=2, C2 is exactly the space of Hilbert–Schmidt operators, and for p=1, C1 is called the space of nuclear operators or the space of trace class operators on .

Now let T be a closed operator with dense domain 𝒟(T) in a Hilbert space . We suppose that 0ρ(T), and we put K=T-1. If K belongs to the Carleman class Cp for some p>0, then Lidskii [12] obtained estimates for the growth of the entire functions Dλ and d(λ) as λ+. For the operators of this class, Lidskii [12] proved the following result.

Theorem 2.2.

If K belongs to the Carleman class Cp for some p>0, then (I-λK)-1 can be represented as the ratio of two entire functions (I-λK)-1=Dλd(λ) for which the inequalities |d(λ)|ec1|λ|p and Dλec2|λ|p are valid for all λC (c1 and c2 being positive constants).

In this work, we are interested to proof the Riesz basis property of the eigenvectors associated to unbounded linear operator involving the concept of the exponential Riesz basis family. For this purpose, we need to review the following theorem due to Aimar, Intissar and Paoli [1, 2].

Theorem 2.3.

Let T be a closed linear operator with dense domain D(T) on a Hilbert space H. Suppose that

  • (H1)

    there exists λρ(T) such that K=(T-λ)-1 is a compact operator,

  • (H2)

    there exists p>0 such that sn(K)=O(n-1p) as n,

  • (H3)

    for |λ| sufficiently large, the resolvent R(λ,T):=(T-λ)-1 is bounded on each m rays γ1,γ2,,γm centered at the origin, divided on the all complex plane such that

    Argγ1=π2<Argγ2<<Argγm=3π2𝑤𝑖𝑡ℎArgγj+1-Argγj<πp,0jm-1

    ( m[2p]+1 , where [2p] designates the entire part of 2p ),

  • (H4)

    R(λ,T)=O(e|λ|p) as |λ|.

Then the system of generalized eigenvectors of T is complete in H.

3 Main results

In this section, we show that the eigenvectors of system (1.1) form a Riesz basis in Hilbert space , which makes us conclude its spectrum-determined growth.

Theorem 3.1.

Let A be a linear unbounded densely defined operator on a separable Hilbert space H satisfying that

  • (i)

    𝒜 generates a C0 -semigroup,

  • (ii)

    the resolvent of 𝒜 is compact,

  • (iii)

    the eigenvalues {λn}n1 are simple,

  • (iv)

    the family {eλnt}n1 is a Riesz basis for L2(0,T), T>0,

  • (v)

    the system of eigenvectors of 𝒜 is complete in .

Then the eigenvectors associated to the operator A form a Riesz basis in H.

Proof.

For the convenience of the reader, we give here a short proof of this theorem which follows as a corollary of the results given by Xu and Yung [16].

We define the {T(t)}-invariant spectral subspace of by sp(𝒜), where we define the set sp(𝒜) as

sp(𝒜):={k=1mE(λk,𝒜)ϕfor allϕand allm*},

where E(λn,𝒜) denotes the Riesz projection on associated to λnσ(𝒜).

Since the system of the generalized eigenvectors of 𝒜 is complete in , then, for any f and ϕsp(𝒜), the function T(t)ϕ,f is in the subspace E¯1:=L2[0,T], where we define E1 by the span generated by the family {eλnt}n1 as

E1:=span{k=1Nαkeλktfor allN1}.

Hence, for any ϕ, T(t)ϕ,fL2[0,T], and we can write them as

T(t)ϕ,f=n=1E(λn,𝒜)ϕ,feλnt.

Moreover, we infer from the Riesz property of the exponential family {eλnt}n1 in L2[0,T] that there exist two positive constants K1 and K2 such that

K1n=1|E(λn,𝒜)ϕ,f|20T|T(t)ϕ,f|2dtK2n=1|E(λn,𝒜)ϕ,f|2.

According to assumption (i) with the property of the semigroup that T(t)Mewt for M1 and w0 (see [14, Theorem 2.2, p. 4]), we get

K1n=1|E(λn,𝒜)ϕ,f|2M2[e2wT-12w]ϕ2f2.

Consequently,

K1n=1E(λn,𝒜)ϕ2M2[e2wT-12w]ϕ2.

Since T(t) is the generator of a C0-semigroup 𝒜 in a Hilbert space , then the adjoint 𝒜* of 𝒜 has the same property [7, p. 2354]; in other terms, T*(t) is the generator of a C0 semigroup 𝒜* with the same conjugate eigenvalues λn¯ as 𝒜, and each λn¯ is an isolated eigenvalue of 𝒜* with

E*(λn,𝒜)=E(λn¯,𝒜*).

For any f,ϕ, T*(t)ϕ,f=ϕ,T(t)fL2[0,T] and

T*(t)ϕ,f=n=1E(λn¯,𝒜*)ϕ,feλn¯t.

Reasoning in a similar way as above, we can easily check that

K1n=1E*(λn,𝒜)ϕ2M2[e2wT-1]2wϕ2.

For any fsp(𝒜), we can write them as

f=k=1mE(λk,𝒜)f.

So a short computation reveals that

f2k=1mE(λk,𝒜)f2M2[e2wT-1]2wK1.

Taking the limit, we get

f2M2[e2wT-1]2wK1n=1E(λn,𝒜)f2for allf.

Hence we deduce that

2wK1M2[e2wT-1]n=1E(λn,𝒜)f2f2M2[e2wT-1]2wK1n=1E(λn,𝒜)f2for allf.

This makes us conclude that the series n=1E(λn,𝒜)f converges in with the sum equal to f and yields that {E(λn,𝒜)f}n1 forms a Riesz basis in . ∎

As a consequence of the foregoing result from the Riesz basis property of eigenvectors, we have the following result.

Corollary 3.1.

System (1.1) satisfies the spectrum-determined growth assumption, i.e., S(A)=w(A), where

S(𝒜):=supλσ(𝒜)Reλ𝑎𝑛𝑑w(𝒜):=inf{w,there existsC1,e𝒜tCewtfor allt0}.

To illustrate the applicability of our main result, we concerns our attention in the next section to present an application of Theorem 3.1 to prove the Riesz basis property of the linear hyperbolic system.

4 Application to a linear hyperbolic system

In this section, we shall show that system (1.2) has a set of eigenvectors which form a Riesz basis in Hilbert space . The key idea is to apply some basic result of Pavlov [13], which provides a useful way to verify the Riesz basis property for the eigenvectors of a linear operator in Hilbert space.

Since the matrix (0-c(x)-c(x)0) is symmetric with distinct eigenvalues λi=(-1)i+1c(x), i=1,2, introducing the change of variables

(pv)=-12(1-1-1-1)(uw),(fg)=-12(1-1-1-1)(hk),α:=1-α11+α1andβ:=1-β11+β1,

our system becomes

{ddt(p(x,t)v(x,t))+(c(x)00-c(x))ddx(p(x,t)v(x,t))=(f(x,t)g(x,t))p(0,t)=αv(0,t),p(L,t)=βv(L,t).(4.1)

To turn system (1.2) into a framework of semigroups, we introduce the underlying state Hilbert space :=L2[0,L]×L2[0,L]. System (4.1) is then written as an evolutionary equation in ,

ddtW(t)=𝒜W(t),t>0,

with W(t)=(p(,t)v(,t)) and 𝒜:𝒟(𝒜) defined by

𝒜:=C(x)ddx:=(c(x)00-c(x))ddx(4.2)

with domain

𝒟(𝒜)={(p(x)v(x))H1[0,L]×H1[0,L]:p(0)=αv(0),p(L)=βv(L)}.(4.3)

In this part, our goal is to give some important properties about a linear hyperbolic system to verify the assumptions of Theorem 3.1 in several steps. We shall assume without loss of generality that p(x):=p(x,t), v(x):=v(x,t), f(x):=f(x,t) and g(x):=g(x,t). In the following, we establish some preliminary results about the operator 𝒜.

Proposition 4.1.

Let A be the operator given in (4.2) and (4.3). Then the following assertions are true:

  • (i)

    𝒟(𝒜) is dense on .

  • (ii)

    The canonical injection i from 𝒟(𝒜) into is compact.

Proof.

(i) It is seen that 𝒟(𝒜) is a closed subset of the Sobolev space H1[0,L]×H1[0,L] which is dense in . Then assertion (i) follows immediately.

(ii) On the other hand, we infer from the Sobolev theorem [5, Theorem VIII.7, p. 129] that the injection from H1[0,L] into L2[0,L] is compact. So the injection from 𝒟(𝒜) into is too. ∎

Theorem 4.1.

The following statements hold:

  • (i)

    The operator 𝒜 generates a C0 -semigroup on .

  • (ii)

    The resolvent expression R(λ,𝒜) of 𝒜 can be represented as

    R(λ,𝒜)(fg)(x)=M(x,0,λ)(αv(0)v(0))-0xM(x,s,λ)C-1(s)(f(s)g(s))dsfor all(fg)H,

    where

    M(x,s,λ)=(e1(x,s,λ)00e2(x,s,λ)),ei(x,s,λ)=e(-1)i+1λsxc-1(r)dr,i=1,2,

    and

    {v(0)=-1Δ(λ)[0LM(L,s,λ)(-c-1(s)00c-1(s))(f(s)g(s)),(1-β)ds],Δ(λ)=αe1(L,0,λ)-βe2(L,0,λ).

Proof.

(i) Since the entries of the matrix C(x) are real-valued C1-functions in x, 𝒜 generates an evolution operator.

(ii) First, to get the resolvent expression of the operator 𝒜, we consider the inhomogeneous equation expressed as

(λ-𝒜)U=F,(4.4)

where λ, U:=(p(x)v(x))𝒟(𝒜) and F:=(f(x)g(x)) is arbitrary in .

An elementary calculation by the variation of constants reveals that the general solution of equation (4.4) is given by

R(λ,𝒜)(f(x)g(x))=M(x,0,λ)(αv(0)v(0))-0xM(x,s,λ)C-1(s)(f(s)g(s))ds,

where we designate by M(x,s,λ) the matrix

M(x,s,λ)=(e1(x,s,λ)00e2(x,s,λ)),ei(x,s,λ)=e(-1)i+1λsxc-1(r)dr,i=1,2.

As a preparation for attacking the expression of v(0), it is sufficient to solve p(L)=βv(L) by recalling the resolvent of 𝒜. So we get

[αe1(L,0,λ)-βe2(L,0,λ)]v(0)=-[0L-e1(L,s,λ)c-1(s)f(s)-βe2(L,s,λ)c-1(s)g(s)ds].

Denote by Δ(λ) the expression

Δ(λ)=αe1(L,0,λ)-βe2(L,0,λ),

which is an entire function on λ. Using the above equality with this notation, we get

Δ(λ)v(0)=-0LM(L,s,λ)(-c-1(s)00c-1(s))(f(s)g(s)),(1-β)ds.

A short computation shows that a complex number λ belongs to the resolvent set of 𝒜 if and only if Δ(λ)0; in this case,

v(0)=-1Δ(λ)[0LM(L,s,λ)(-c-1(s)00c-1(s))(f(s)g(s)),(1-β)ds],

which completes the proof. ∎

Theorem 4.2.

𝒜 is a discrete operator in H; in other words, for any λρ(A), R(λ,A) is compact on H. Therefore, the spectrum σ(A) consists only of isolated eigenvalues.

Proof.

It follows from Proposition 4.1 together with the fact ρ(𝒜), that 𝒜 has a compact resolvent on . Thus its spectrum consists only of isolated eigenvalues, which are exactly the zeros set of Δ(λ). ∎

For each λσ(𝒜), all eigenvectors associated with λ can be represented as

(p(x,λ)v(x,λ))=(αe1(x,0,λ)v(0)e2(x,0,λ)v(0))for all non-zerov(0)satisfyingΔ(λ)v(0)=0.

The next theorem gives information about the distribution of the eigenvalues of the operator 𝒜.

Theorem 4.3.

Each eigenvalue of A is simple and given by

λn=12cLlog|(1-β1)(1+α1)(1-α1)(1+β1)|+inπcL,n.

Proof.

An elementary calculation reveals that the zeros set of Δ(λ) consists of an infinite number of complex eigenvalues of the operator 𝒜, which are formulated by the form

λn=12cLlog|βα|+inπcL,n,

where α,β are defined as above and cL is defined by

cL:=0Lc-1(r)dr.

Obviously, we observe from the above formula that each eigenvalue λn is simple. ∎

The corresponding eigenvectors associated to λn are

(p(x,λn)v(x,λn))=(αe1(x,0,λn)v(0)e2(x,0,λn)v(0))=(αecx[12cLlog|βα|+inπcL]v(0)e-cx[12cLlog|βα|+inπcL]v(0)),

where cx:=0xc-1(r)dr.

Therefore, the eigenvectors associated to λn have the asymptotic form

(p(x,λn)v(x,λn))=(αecx2cLlog|βα|v(0)00e-cx2cLlog|βα|v(0))(eicxcLnπe-icxcLnπ).

It is easily seen that

H(x):=(αecx2cLlog|βα|v(0)00e-cx2cLlog|βα|v(0))

is invertible in x and |H(x)|0.

The motivation for our studies is based on proving the Riesz basis property of {eλnt} in L2[0,2cL]. To obtain such property, explicit estimates for sine-type functions turn out to be good.

Lemma 4.1.

{eλnt} forms a Riesz basis for L2[0,2cL].

Proof.

It should be noted that our results are aimed to provide a description for the Riesz basis property of {eiImλnt} since the real part of the eigenvalues {λn} is independent of n.

To claim this, let g(μ) be defined by g(μ):=sin(cLμ). The zeros set {μn} of g(μ) is related by

μn=nπcL.

Obviously, g(μ) is uniformly bounded on the real axis, and hence g belongs to the Cartwright class. Thus its indicator diagram is an interval. Furthermore, it is easy to show that g(μ) is of exponential type with type cL=T2. In fact, let z:=x+iy. Then

|g(z)|=sin2(cLx)cosh2(cLy)+cos2(cLx)sinh2(cLy)|cosh(cLy)|ecL|y|ecL|z|.

Moreover, from the last expression, we have

C1ecL|y||g(x+iy)|C2ecL|y|,

where 0<C1<12, C21 and all y whenever y is sufficiently large. In what follows, item (ii) of Definition 2.2 is satisfied.

Moreover, it is seen that the zeros {μn} are separated. Indeed, let n. Then we have

|μn+1-μn|=|(n+1)πcL-nπcL|=πcL.

As a consequence of the above sentences, we get the Riesz basis property by Theorem 2.1 for {einπcLt} in L2[0,2cL] and hence for {eλnt} in L2[0,2cL]. ∎

Proposition 4.2.

Let A be the generator of a C0-semigroup in a Hilbert space H. Then the spectrum of its adjoint is given by σ(A*)={λ¯:λσ(A)}.

Proof.

Since is a Hilbert space and T(t) is the generator of a C0-semigroup 𝒜, then T*(t) is also a C0-semigroup, and its generator is 𝒜*. Moreover, its spectrum consists of an isolated eigenvalue λ¯, where λσ(𝒜). ∎

Theorem 4.4.

The resolvent of the operator A belongs to the Carleman class C1+ε for every ε>0.

Proof.

A short computation from the expression of the eigenvalues λn of the operator 𝒜, which is given in Theorem 4.3, shows that

|λn|=nπ|cL|1+14n2π2log2|βα|.

Therefore,

|λn|+nπ|cL|.

Obviously, 0ρ(𝒜), so let K:=𝒜-1, and let sn(𝒜-1) be the eigenvalue of the operator (𝒜-1)*𝒜-1. It is clear that

n1|λn|1+ε<for everyε>0.

Then 𝒜-1 belongs to the Carleman class C1+ε for every ε>0. ∎

As a consequence of Theorem 2.2, we have the following corollary.

Corollary 4.1.

The resolvent of A can be represented as two entire functions

R(λ,𝒜)=F(λ,𝒜)Δ(λ).

Proof.

Let λρ(𝒜). Then we have

R(λ,𝒜)=(λ-𝒜)-1=([λ𝒜-1-I]-1𝒜)-1=𝒜-1(λ𝒜-1-I)-1.

Denoting K=𝒜-1, then

R(λ,𝒜)=K(λK-I)-1=KRλ(K).(4.5)

Since the resolvent of 𝒜 belongs to the class C1+ε for ε>0, then we infer from Theorem 2.2 with equation (4.5) that the resolvent of 𝒜 can be represented under the form F(λ,𝒜)Δ(λ), where F(λ,𝒜) and Δ(λ) are two entire functions. ∎

Now we are in the position to provide the denseness of the eigenvectors of the operator 𝒜.

Theorem 4.5.

The system of the eigenvectors of the operator A is dense in H.

Proof.

From Theorem 4.4, the resolvent of 𝒜 belongs to the Carleman class C1+ε for ε>0 since R(λ,𝒜) is an entire function of λ and the orders of both entire functions of F(λ,𝒜) and Δ(λ) are less than or equal to 1. That is, there is a ε>0 such that

R(λ,𝒜)=O(e|λ|1+ε)as|λ|.

As 𝒜 generates an analytic semigroup, it follows that R(λ,𝒜) is uniformly bounded in both real and imaginary axis. We may assume without loss of generality that R(λ,𝒜) is uniformly bounded in the right complex plane, particularly on the imaginary axis.

Set

Sj={λ:ArgγjArgλArgγj+1},j=1,2.

By assumption, R(λ,𝒜) is bounded on the boundary Sj, and R(λ,𝒜)=O(e|λ|1+ε) for all λSj, where ε>0 is chosen so that 1+ε<2. Applying the Phragmen–Lindelof theorem to R(λ,𝒜) in each Sj (see [17, Theorem 10, p. 80]), we known that R(λ,𝒜) is uniformly bounded in Sj and so in the whole complex plane. Therefore, all conditions of Theorem 2.3 are satisfied with p=1+ε for ε>0, m=3 and γ2={λ:Argλ=π}. This result in the completeness of the generalized eigenvectors of 𝒜 on . ∎

We summarize all the results proved in this section by mentioning the following result.

Theorem 4.6.

The eigenvectors associated to the operator A form a Riesz basis in H.

Proof.

From the previous results presented in this part, we infer that all the hypotheses of Theorem 3.1 are fulfilled, which makes us conclude that the system of eigenvectors associated to 𝒜 forms a Riesz basis in the state Hilbert space . ∎

As a consequence of the spectral mapping theorem for the C0-semigroup generated by 𝒜, we have the following result.

Corollary 4.2.

Our system satisfies the spectrum-determined growth assumption, i.e., S(A)=w(A).

Remark.

All the results in this paper cover the main results of [8, 11] as a special case and remove some additional conditions imposed there. The exponential family of the eigenvalues is then readily established from an expression of the eigenvalues, which is also obtained in the process of verification of the Riesz basis property.

Conclusion

Our work represents a specific case of the results given in [8, 11]. Our new contribution in this paper is considering a perturbed operator matrix 𝒜 in terms of the variable x. New results and techniques are given to reach the Riesz basis property of the eigenvectors associated to an unbounded operator matrix 𝒜. However, this kind of study makes us conclude its spectrum-determined growth. More precisely, the study involves an elegant use of the notion of Pavlov’s characterization of the exponential Riesz basis properties in order to deduce the Riesz basis property for the eigenvectors associated to the operator 𝒜. The abstract result is illustrated by an example of a linear hyperbolic system.

Acknowledgements

The authors would like to thank the referees for their valuable suggestions for the revision of the paper and for attracting the authors’ attention to [16].

References

  • [1]

    M.-T. Aimar, A. Intissar and J.-M. Paoli, Densité des vecteurs propres généralisés d’une classe d’opérateurs non auto-adjoints à résolvante compacte, C. R. Acad. Sci. Paris Sér. I Math. 315 (1992), no. 4, 393–396.  Google Scholar

  • [2]

    M.-T. Aimar, A. Intissar and J.-M. Paoli, Densité des vecteurs propres généralisés d’une classe d’opérateurs compacts non auto-adjoints et applications, Comm. Math. Phys. 156 (1993), no. 1, 169–177.  CrossrefGoogle Scholar

  • [3]

    S. A. Avdonin and S. A. Ivanov, Families of Exponentials: The Method of Moments in Controllability Problems for Distributed Parameter Systems, Cambridge University, Cambridge, 1995.  Google Scholar

  • [4]

    N. Ben Ali and A. Jeribi, On the Riesz basis of a family of analytic operators in the sense of Kato and application to the problem of radiation of a vibrating structure in a light fluid, J. Math. Anal. Appl. 320 (2006), no. 1, 78–94.  CrossrefGoogle Scholar

  • [5]

    H. Brézis, Analysis Functional Theory and Applications, Masson, Paris, 1999.  Google Scholar

  • [6]

    S. Charfi, A. Jeribi and I. Walha, Riesz basis property of families of nonharmonic exponentials and application to a problem of a radiation of a vibrating structure in a light fluid, Numer. Funct. Anal. Optim. 32 (2011), no. 4, 370–382.  Web of ScienceCrossrefGoogle Scholar

  • [7]

    N. Dunford and J. T. Schwartz, Linear Operators. Part III: Spectral Operators, John Wiley & Sons, New York, 1971.  Google Scholar

  • [8]

    A. Intissar, Analyse functionnelle et theorie spectrale pour les operateurs compacts non auto-adjoints et exercices avec solutions, Cépaduâs, Toulouse, 1997.  Google Scholar

  • [9]

    A. Jeribi, Denseness, Bases and Frames in Banach Spaces and Applications, De Gruyter, Berlin, 2018.  Google Scholar

  • [10]

    A. Jeribi and A. Intissar, On an Riesz basis of generalized eigenvectors of the nonselfadjoint problem deduced from a perturbation method for sound radiation by a vibrating plate in a light fluid, J. Math. Anal. Appl. 292 (2004), no. 1, 1–16.  CrossrefGoogle Scholar

  • [11]

    J. Kergomard and V. Debut, Resonance modes in a one-dimensional medium with two purely resistive boundaries: Calulation methods, orthogonality, and completeness, Acoust. Soc. Amer. 119 (2006), no. 3, 1356–1367.  CrossrefGoogle Scholar

  • [12]

    V. B. Lidskii, Summability of series in the principal vectors of non-selfadjoint operators, Amer. Math. Soc. Transl. Ser. 2 40 (1964), 193–228.  Google Scholar

  • [13]

    B. S. Pavlov, Basicity of an exponential systems and Muckenhoupt’s condition, Soviet Math. Dokl. 20 (1979), no. 4, 655–659.  Google Scholar

  • [14]

    A. Pazy, Semigroups of Linear Operators and Applications to Partial Differential Equations, Appl. Math. Sci. 44, Springer, New York, 1983.  Google Scholar

  • [15]

    J.-M. Wang, G.-Q. Xu and S.-P. Yung, Exponential stability of variable coefficients Rayleigh beams under boundary feedback controls: A Riesz basis approach, Systems Control Lett. 51 (2004), no. 1, 33–50.  CrossrefGoogle Scholar

  • [16]

    G. Q. Xu and S. P. Yung, The expansion of a semigroup and a Riesz basis criterion, J. Differential Equations 210 (2005), no. 1, 1–24.  CrossrefGoogle Scholar

  • [17]

    R. M. Young, An Introduction to Nonharmonic Fourier Series, Pure Appl. Math. 93, Academic Press, New York, 1980.  Google Scholar

About the article

Received: 2017-02-14

Revised: 2018-05-29

Accepted: 2018-07-03

Published Online: 2019-05-29

Published in Print: 2019-06-01


Citation Information: Journal of Applied Analysis, Volume 25, Issue 1, Pages 13–23, ISSN (Online) 1869-6082, ISSN (Print) 1425-6908, DOI: https://doi.org/10.1515/jaa-2019-0002.

Export Citation

© 2019 Walter de Gruyter GmbH, Berlin/Boston.Get Permission

Comments (0)

Please log in or register to comment.
Log in