An introduction to the spectral asymptotics of a damped wave equation on metric graphs Текст научной статьи по специальности «Математика»

An introduction to the spectral asymptotics of a damped wave equation on metric graphs

J. Lipovsky

1 Department of Physics, Faculty of Science, University of Hradec Kralove, Rokitanskeho 62, 500 03 Hradec Kralove, Czechia

jiri.lipovsky@uhk.cz

PACS 03.65.Db, 03.65.Ge DOI 10.17586/2220-8054-2015-6-2-182-191

This paper summarizes the main results of [1] for the spectral asymptotics of the damped wave equation. We define the notion of a high frequency abscissa, a sequence of eigenvalues with imaginary parts going to plus or minus infinity and real parts going to some real number. We give theorems on the number of such high frequency abscissas for particular conditions on the graph. We illustrate this behavior in two particular examples.

Keywords: damped wave equation, spectrum, metric graphs. Received: 2 February 2015

1. Introduction

The current text is a brief introduction to the spectral asymptotics of the damped wave equation on metric graphs. Our paper summarizes the main results of the paper [1] and gives ideas of their proofs. If the reader wants a detailed study of this problem or proofs of certain theorems, we refer to this paper. Its main results were obtained in collaboration with prof. Pedro Freitas during my stay in Lisbon.

Our aim is to study the damped wave equation

dttu(t, x) + 2a(x)dtu(t, x) = dxxu(t, x) + b(x)u(t, x) (1)

on a metric graph. The problem of damped wave equation was studied in detail for a segment with Dirichlet conditions on both ends [2]. Paper [1], to the author's knowledge, is the first attempt to treat the problem for the graph. In the case of a segment, there exists a sequence of eigenvalues with imaginary parts going to plus and minus infinity and real part approaching the negative average of the damping function on the segment. In paper [2], an asymptotic expansion of the eigenvalues was obtained.

We show that in the case of a metric graph, there are several sequences of eigenvalues which we call high frequency abscissas. Our main results are three theorems on the number of these high frequency abscissas. This paper is structured as follows: in the second section we describe the model, next we give theorems on the asymptotics of eigenvalues and eigen-functions and locations of eigenvalues and high frequency abscissas; next, we introduce the method of pseudo orbit expansion; in section 5, we give three main theorems on the number of high frequency abscissas; and finally, we show two particular examples to illustrate their behavior.

2. Description of the model

F M ^ ™ finifo orlrrno fe3fj=l of lengths \ljfj

Let us consider a metric graph r with N < finite edges {ej}f=l of lengths {lj}N=l.

On each edge we consider a damped wave equation:

dttWj (t, x) + 2aj (x)dtWj (t, x) = dxxWj (t, x) + b(x)wj (t, x), (2)

with damping functions aj (x) and potentials bj (x) real and bounded. The functions at the j-th vertex are connected by coupling conditions similar to the case of quantum graphs

(Uj —1)tfj + i(Uj +1)tfj = 0 ,

where Uj is a unitary square matrix, I is a unit matrix, ^j is the vector of limits of functional values in the vertex from all neighboring edges and, similarly, ^j is the vector of outgoing derivatives. The coupling on the whole graph can be described by a large 2N x 2N unitary matrix U (for more details see [3,4]), which describes not only the coupling, but also the topology of the graph. Then, the coupling conditions are:

(U - I+ i(U + I= 0 . (3)

The ansatz Wj (t,x) = extUj (x) leads to the differential equation:

dxxUj(x) — (A2 + 2\aj(x) — bj(x))uj(x) = 0 . (4)

Our aim is to solve this equation and find complex numbers A. Its real parts give the time decay for the solutions to the damped wave equation.

There exists a second approach to the problem, which is equivalent to the previous approach. One finds the eigenvalues of a non-self-adjoint operator:

0I

die2

H~lI& + B -2A.

where A and B are N x N diagonal matrices with aj (x) and bj (x) on the diagonal. The domain of this operator consists of functions (x),ip2(x))T with components of both and ^2 in W2'2(ej) for the corresponding edge and satisfying coupling conditions (3) at the vertices.

In the following text, we will sometimes use the term standard conditions. These conditions (sometimes referred to in the literature as Kirchhoff, Neumann or free coupling) imply that the function is continuous at the vertex and the sum of outgoing derivatives is equal to zero. The corresponding vertex coupling matrix is U = 2/dJ — I, where d is the degree of a given vertex and J has all entries equal to one.

3. Eigenfunction and eigenvalue asymptotic properties and the locations of high frequency abscissas

First, we present a theorem from [2] on the asymptotic behavior of eigenfunctions on a segment.

Theorem 3.1. Let a E Cm+l [0,1] and b E Cm[0,1]. Then there exist two linearly independent solutions u±(x,A) of equation (4) satisfying the initial condition u±(0,A) = 1 having the asymptotics:

u±(x, A) = e±Ax±^°x (t'x)dt, (5)

in the C2[0,1] norm as Im A with:

i=0

A1

(6)

and

<f>^\x) = a(x) , (¡^{x) = —-(±a'(x) + a2(x) + b(x))

i-1

s=0

Now, we can formulate the theorem on the asymptotics of eigenvalues for a graph with all the edges of lengths equal to one.

Theorem 3.2. Let us assume a graph with N finite edges of lengths 1 with the coupling between vertices given by matrix U. Let on each edge be damping aj E Cw+1([0,1]) and potential bj E CN ([0,1]). Then, there exists such a K0 E R+ that for K > K0, if A = r + iK is an eigenvalue, then A + 2ni + O(1/K) is also an eigenvalue. Similarly, if A = r — iK is an eigenvalue, then A — 2ni + O(1/K) is also an eigenvalue. This means that there exist sequences of eigenvalues with the asymptotics Ans = 2nin + c0 + O(1/n).

Idea of the proof: Since two linearly independent solutions exist, according to the previous theorem, one can write the general solution as their linear combination. Substituting for the coupling conditions, one finds the secular equation in the form:

poeA+(ai>+A+(a2>+-+A+(aw )+O(1/X) + Pne-X-(al >+A+(a2>+-+A+(aw >+O(1/A) +

pi2eA+(ai >-A-(a2 >+-+A+<aw >+O(1/A) + ... + p —-{ai >-A-(a2 )+-+A+(aw >+O(1/A) +

____+ pN 1e-A-(ai>-A-(a2>-----A-(aN>+O(1/A) = 0 ,

where Pmn is a polynomial in A of degree 2N with m minuses before A; n only distinguishes different polynomials. Since 1/A = O(1/K), one finds that the first term of the asymptotics is equal to zero for A0 + 2ni if A0 is an eigenvalue. Hence, such A = A0 + 2ni + O(1/A0) exists for which the secular equation is equal to zero. □

Now, we define the notion of a high frequency abscissa, which will be very important in subsequent sections.

Definition 3.3. We say that c0 is a high frequency abscissa of the operator H if there exists a sequence of eigenvalues of H, say {An}^c=1, such that:

lim Im An = and lim Re An = c0.

The next theorem says that only the average of the damping function on each edge is important for the location of high frequency abscissas.

Theorem 3.4. Let r be a graph with N commensurate edges of lengths lj = mjl0,

m,j E N,

j = 1,...,N, with the coupling conditions (3). be bounded and continuous on each edge. Let An

Let the damping functions aj (x) and bj (x) be eigenvalues of the corresponding problem

(4) and fin eigenvalues for aj and bj replaced by their averages. Then, the constant terms

c0 in the asymptotic expansion of An asymptotic expansion of ¡in.

coincide with the corresponding constant terms in the

Now, we write a theorem on the location of nonreal eigenvalues, which has a nice corollary. It shows that the high frequency abscissas are located between the negative maximum of the averages of the damping functions on each edge and the negative minimum of these damping functions.

Theorem 3.5. Let us consider a damped wave equation on a graph with N edges of lengths lj, bounded damping coefficients aj (x) and potentials bj (x), and the coupling conditions given by (3). If A is an eigenvalue of H with nontrivial imaginary part S(A) = 0, then its real part satisfies:

^ = Iq a3(x)\ui(x)\2 dx T,j=l\\Uj{x)\\l

where Uj (x) denotes the corresponding vjavefunction components.

Idea of the proof: The main idea of the proof is to take the equation (4), multiply it on the left by U,j (x), integrate over each edge and sum over all the edges. The imaginary part of the result is:

N r

0 = 2i 3(A) ^ / (aj(x) + &(A)) Uj(x)|2 dx,

j=1 e

from which the conclusion follows. □

Corollary 3.6. Let us consider a damped wave equation on (graph r vnth damping functions on the edges aj (x) and potentials bj (x). We denote the average of the damping function on each edge by aj. Then, the real part of nonreal eigenvalues of H (and therefore also all high frequency abscissas) lie in the interval [— maxj aj, — minj aj].

4. Pseudo orbit expansion

There is a different approach to the secular equation than the one shown in the previous sections. The secular equation can be constructed by the method of pseudo orbit expansion, which has been developed for quantum graphs [5-7]. This theory was adapted for the damped wave equation in [1], and now, we summarize its main ideas.

First, the metric graph r is replaced by a directed graph r2, each edge is replaced by two edges ej and ej in both directions. The functional values on both corresponding directed edges must be the same, hence if we use the ansatz:

fe] (x) = aeXjx + e jx ,

fê, (x) = a! eAjx + <e-Xjx , we have from fej (x) = fêj (lj — x) the relation between the coefficients of this ansatz:

„out „A,- j' in „out „A,- j' in (i-7\

a j. =e ae. , ae. =e aê. , (7)

where A j = + 2 A aj — bj. Furthermore, we will now define several variables. The vertex scattering matrix maps the vector a™ into a0ut by the relation a0ut = av(A)«™. Here, «Vn'out = (aen'iOUV-->a™'°ut)T and v denotes the vertex. The matrix E(A) is block-diagonalizable and it is written in the basis corresponding to:

a (ae1 > •••> aeN > ae1 > ■■■> ai§N ) •

This is block diagonal with blocks av (A) if written in the following basis:

(ain ain ain ain )T

\uievii i ■ ■ ■ i evid1> LxeV2i) • • • > LxeV2d2 )■■■)) •

Furthermore, we define

J = |0 0 and L = exp ^diag (—X1l1,..., — XN lN, —X1l1,...,—XN lN

0 I

1 0

which then allows us to write:

- =LJ L?) =LJ E<A>( %

e

where we have used the definition of the matrix L and relations (7), then the definition of the matrix J and finally the definition of the matrix E. Since the vectors on the left and the right side are the same, we obtain the secular equation:

det (LJE(A) — I2Nx2N) = 0 . (8)

Next, following the terminology of [7], we define the following notions.

Definition 4.1. A periodic orbit is a closed trajectory on the graph r2. An irreducible pseudo orbit 7 is a collection of periodic orbits where none of the directed bonds is contained more than once. Let m, denote the number of periodic orbits in 7, L, = ee_ Xele where the

sum is over all directed bonds in 7 and Xe = \/X2 + 2aeX — be. The coefficients A^ = II with AYj given as multiplication of entries of S(A) = JE(A) along the trajectory 7j.

We give without the proof a theorem which gives the secular equation (8) in the terms of pseudo orbit expansion.

Theorem 4.2. The secular equation for the damped wave equation on a metric graph is given by:

£(—1)m A,(A)exp(—L,(A)) = 0

7

with L, being the sum of the lengths of all directed edges along a particular irreducible pseudo orbit 7.

5. Number of distinct high frequency abscissas

In this section, we state the three main theorems of this paper. These theorems give upper and lower bounds on the number of distinct high frequency abscissas for a graph which has all edges of lengths 1. The first theorem gives an upper bound for a graph with general coupling conditions.

Theorem 5.1. Let r be an equilateral graph vnth N edges of the length 1. Let us assume a damped wave equation on r with damping and constant potential functions constant on each edge aj (x) = aj, bj (x) = bj and with general coupling given by (3) for a given unitary matrix U. Then there are at most 2N high frequency abscissas.

Idea of the proof: We perform an expansion according to the theorem 3.2. In the first term of the n-asymptotics of the secular equation (written by the pseudo orbit expansion) is a polynomial equation in y = eC0 of order 2N. This polynomial equation has 2N complex solutions, therefore, there are at most 2N different numbers c0 and 2N distinct high frequency abscissas. □

For a special type of graphs, the bound can be improved. In the second theorem, we consider a bipartite graph, the graph which can be colored by only two colors, with the neighboring vertices having different colors. Another definition is that there is not a loop of edges of odd length. In this case, there are at most N distinct high frequency abscissas.

a e

Theorem 5.2. Let r be a graph with N edges all of which have lengths equal to 1, (general) Robin coupling at the boundary and standard coupling otherwise. Let us suppose that the graph is bipartite. Then, for any damping functions bounded and C2 at each edge, there are at most N high frequency abscissas.

Idea of the proof: Similarly to the previous theorem, we can construct the leading term of the n asymptotics of the secular equation. In the pseudo orbit expansion, we obtain only pseudo orbits, which have even length. Due to this fact there are only terms with e2c° in the secular equation. The first term of the n-expansion is a polynomial equation in e2c° of order N. Hence, there are at most N high frequency abscissas. □

The third theorem gives a lower bound on the number of high frequency abscissas. A tree graph with vertices of odd degree is considered.

Theorem 5.3. Let r be a tree graph with N edges all with unit length, Robin coupling at the boundary and standard coupling otherwise. Let us suppose that all vertices have odd degree. Then, there always exists such a damping, for which the number of high frequency abscissas is greater than or equal to N.

Idea of the proof: The main idea is that the contribution of the pseudo orbits to the coefficient in the secular equation cancels if and only if there is a vertex of r with a degree 2v and the pseudo orbit contains exactly v edges which emanate from this vertex. This can be proven using rather technical lemma 6.3 from the paper [1]. Hence, if a tree graph has all vertices of odd degree, then there is no cancellation and all the coefficients in the secular equation are nonzero. Now, we construct the damping function. We choose constant damping on each edge with 0 ^ aN ^ aN-1 • •• ^ a1. Now we can rewrite the first term of the secular equation as:

cne2ai+2a2 +-----+2anyn + ^«i +2«2 +-----+2an_i ^ + q ^-2(«n-i-«nyn-1 +

+ ••• + C2e2ai+2a2 [1 + Q (e-2(a2-a3))] y2 + Cie2ai [1 + Q (e-2(ai-a2))] y + Co = 0 >

with y = e2c°. We recall that none of the coefficients Ci are equal to zero. Now, if y is close to e-2ai, the last two terms are dominant, for y close to e-2«2 the terms with C2 and C1 are dominant, etc. Hence we have

y3 = [l + O .

We obtain N distinct numbers yj and hence N distinct numbers c0 and N distinct high frequency abscissas. □

6. Examples

Now, we present two particular examples, which illustrate the behavior of the eigenvalues.

6.1. Two loops with different damping coefficients

The first example of a graph consists of two loops, each loop having three edges of lengths 1 (see figure 1). Let us assume that there is constant damping a1 on the first loop and a2 on the second loop. Therefore, one can use the ansatz fj(x) = aj sinh (Aj(A)x) +

Fig. 1. Graph with two loops

[j cosh (Xj(A)x), where j distinguishes the loop. We choose x = 0 at the middle of each loop. From the continuity at the central vertex, we have:

3

3-

3-

3

ai sinh ( g Ai(A) J + Pi cosh (j Ai(A) J = ~aj Sinh ^2^7 + ^ °OSh

Therefore, we either have oti = a2 = 0 or sinh = 0 or sinh ^§A2(A)j = 0.

First, we will assume a1 = a2 = 0. From the standard conditions at the central vertex we have:

/3lCOsh!^ = /j2COsh.^w

2

2

PMA) sinh + /32A2(A) sinh = o.

2

2

where

Xj = Xj(X) = ^JX2 + 2ajX - bj This set of equations is solvable under the condition:

A . n 3A2 , 3A 1 A • 1 3Al , 3A 2 _

A2 smh-cosh--h Ai sinh-cosh-= 0 .

2 2 2 2

or, equivalently by:

(Ai + À2) sinh 3(Ai + A2) + (Ai - À2) sinh 3(Al~A2) = 0 . Using the asymptotic expansion Xn = 2nin + c0 + O one obtains

Alt in ^e67rira+f (al+a2+2c0) _ e-67rm-f (ai+a2+2c0)^ = Q

and therefore:

3(a1 + a2 + 2c0) + 2nin = 0

4.) = s € {0,..., r>}

Now, let us return to the condition sinh = 0. This leads to:

( ) / 1 \ 2nis

3ai + 3c(ns) + O ( - = 2ms => cs0 = -a, +-, s £ {0,1, 2}

0 n 0 3

(9)

Im A

40 i-

20 -

_i-,-,-,-1-,-,-,-1-,-,-,-1-,-,-,-1-,-, Re A

-1.8 -1.6 -1.4 -1.2 -1.0

-20 -

-40 L

Fig. 2. Spectrum of a graph in figure 1, a1 = 2, a2 = 1, b1 = 0, b2 = 0

Hence, we have three high frequency abscissas at — ci\, —a2 and — a,1+a'2. The eigen-functions for the first two abscissas are supported on the first loop or the second loop, respectively. The third one has eigenfunction supported on both loops. Eigenvalues for particular choice a1 = 2 and a2 = 1 are shown in figure 2.

6.2. Star graph with different lengths of the edges

The second example illustrates eigenvalue behavior in the case when the lengths of the edges are not equal to one. Let us consider a star graph consisting of three edges of lengths l1, l2 and l3. We assume Dirichlet coupling at the free ends and standard coupling in the central vertex.

If we use the ansatz fj (x) = aj sinh Xjx on each edge with x = 0 at the free end, we obtain the secular equation:

3 3

Xj cosh Aj lj JJ^ sinh Al = 0 .

j=1 i=1 i=j

In figure 3, we show the eigenvalues for particular choice of the damping a1 = 3, a2 = 4, a3 = 5 and the lengths of the edges l1 = 1, l2 = 1, l3 = 1.03. If we wanted to apply the theorems from the previous sections, we would have 303 edges of lengths 0.01, which means that the bound on the number of the high frequency abscissas would be 606. In figures 4 and 5, the behavior is shown for other combinations of edge lengths.

7. Conclusion

We have summarized the main results of a paper [1]. The main results are three theorems in section 5 on graphs with edges of unit lengths. If we have a graph with general coupling, the number of high frequency abscissas is bounded from above by 2N. For a bipartite graph with standard coupling, the bound can be improved to N. And finally, for a tree graph with vertices of odd degree, one can find such a damping for which there is at least N high frequency abscissas.

Im A

1050

1000

950

900

-5.0

Re A

-4.5

-4.0

-3.5

-3.0

Fig. 3. Spectrum of a star graph with different edges lengths, l1 = 1, l2 = 1, l3 = 1.03

Im A

1100

1050

1000

950

900

-5.0

-4.5

-4.0

-3.5

Re A

-3.0

Fig. 4. Spectrum of a star graph with different edges lengths, l1 = 1, l2 = 1, l3 = 1.41

Im A 1070 r

1065

1060

1055

1050

1045

1040

-5.0

-4.5

-4.0

-3.5

Re A

-3.0

Fig. 5. Spectrum of a star graph with different edges lengths, l1 = 1.5, l2 = 2.1, l3 = 3.1

Acknowledgements

The research was supported by the project Development of postdoc activities at the University of Hradec Kralove, CZ.1.07/2.3.00/30.0015.

References

[1] Freitas P., Lipovsky J. Eigenvalue asymptotics for the damped wave equation on metric graphs (2013). arXiv : http://arxiv.org/abs/1307.6377.

[2] Borisov D., Freitas P. Eigenvalue asymptotics, inverse problems and a trace formula for the linear damped wave equation. J. Duff. Eq., 247, P. 3028-3039 (2009).

[3] Kuchment P. Quantum graphs: an introduction and a brief survey. Analysis on Graphs and Its Applications. Proc. Symp. Pure. Math. (Providence, RI: American Mathematical Society), P. 291-314 (2008).

[4] Exner P., Lipovsky J. Resonances from perturbations of quantum graphs with rationally related edges. J. Phys. A.: Math. Theor., 43, P. 105301 (2010).

[5] Kottos T., Smilansky U. Quantum chaos on graphs. Phys. Rev. Lett., 79, P. 4794-4797 (1997).

[6] Akkermans E., Comtet A., Desbois J., Montambaux G., Texier C. Spectral determinant on quantum graphs. Annals of Physics, 284, P. 10-51 (2000).

[7] Band R., Harrison J. M., Joyner C. H. Finite pseudo orbit expansion for spectral quantities of quantum graphs. J. Phys. A: Math.. Theor., 45, P. 325204 (2012).