CC BY
12
Quasi-semidefinite eigenvalue problem and applications
L. Grubisic and J. Tambaca
Department of Mathematics, Faculty of Science, University of Zagreb, BijeniCka 30, 10000 Zagreb, Croatia
luka.grubisic@math.hr, josip.tambaca@math.hr PACS 02.30.Tb,02.70.-c, 02.10.Ud DOI 10.17586/2220-8054-2017-8-2-180-187
In this note, we study the eigenvalue problem for a class of block operator matrix pairs. Our study is motivated by an analysis of abstract differential algebraic equations. Such problems frequently appear in the study of complex systems, e.g. differential equations posed on metric graphs, in mixed variational formulation.
Keywords: block operator matrices, metric graphs, spectral theory and eigenvalue problems. Received: 15 January 2017 Revised: 2 February 2017
1. Introduction
In this note, we will consider mixed variational formulations of evolution problems as abstract differential algebraic equations. More generally, abstract differential algebraic equations can be seen as a good tool to study the evolution of any system with constraints. Their theory and numerical analysis is fairly well known in the finite dimensional case, see eg. [1], but the corresponding results for infinite dimensional abstract differential algebraic equations are at an early stage of development, see [2,3].
Let us note that simulations of complex systems, where one considers several physical regimes simultaneously can be described by a state vector in an appropriate product space called the state space. Experience indicates that mixed variational formulations are easier to combine in a state space formulation. In the mixed approach, the "agreement" between models/regimes is enforced a constraint in the state space.
Our approach to mixed variational problems is through the theory of 2 x 2 block operator matrices [4] and the representation theorems for quasi-definite quadratic forms by such operators from [5,6].
Formally, we start from the problem of finding u G L2(0, T, X) and p G L2(0, T, Y), T > 0 so that:
(1)
holds in the state space X ( Y. As in [2,3,7], the time derivative is to be interpreted in the distributional sense and X and Y are assumed to be Hilbert spaces. We will call X ( Y the state space. It is a Hilbert space with usual product space structure and we will write:
M 0 d u + K B u fi
- =
0 0 dt P D* C P A
0 = X © y =
XY
for its elements, the state vectors.
An important class of model problems which can formally be posed in the form (1) originates from problems in fluid mechanics modeled by Stokes, Oseen or Navier-Stokes equations linearized about nonzero velocity, see [3] for some details. In this note, we will be interested in the homogeneous problem associated to the problem (1):
M 0 d u K B u
— +
0 0 dt P D* C P
0
(2)
and its fundamental solutions 0(t) = exp(At)0o. From the Floquet theorem, we know that A G C and 0o € X ( Y must satisfy the algebraic problem:
A
M 0
00 +
K D*
B
C
00 = 0 .
(3)
Note that eigenvalue problem (3) also covers the case of some special second order systems. For instance, in the absence of damping we have:
M 0 d2 u K B u
0 0 dt2 p + D* C p
0
(4)
Equation (4) leads to the consideration of a quadratic eigenvalue problem. It is a special type of the quadratic eigenvalue problem which can be transformed into a linear eigenvalue problem by a simple change of spectral variable.
We will restrict our analysis to considering equations (4) where operator M is a bounded positive semi-definite operator and the block operator matrix is quasi-semidefinite. For the purposes of this note, a block operator matrix is called positive quasi semi-definite if it defines a boundedly invertible self-adjoint operator and has the structure:
K,
K B B* 0
where B is the closed range operator and K is positive semidefinite operator in the sense of Kato, [8]. To tackle both problems in a unified manner, we will analyze the generalized resolvents:
R : z ^
K - zM B*
R2 : z ^
K - z2M B*
(5)
as 2 x 2 block operator matrices. The only assumption which we will make is that there are complex num-
bers zi, z2 € C such that R-i(zi) and R2(z2) are bounded and that in addition, K is compact. The terminology for quasi-definite block operator matrices comes from [9] and the references therein.
l
l
2. Matrix analysis of the generalized resolvent
In this section, we will present matrix analysis of the generalized resolvents (5) under the additional assumption that X and Y are finite dimensional. The computations are motivated by the considerations from [10,11]. We will restrict our analysis to the following setting. Without reducing the level of generality, we consider a general Hermitian (self-adjoint) block 2 x 2 matrix of the form:
K. =
K B*
where matrix B is such that ||(B*B) 1y < to. Such block matrices were called quasi-semidefinite in [9]. In this case, there exists a unitary matrix Q = [Q1 Q2] and a lower triangular matrix R which is invertible and:
B
Qi Q2
R* 0
This directly implies the following for the range space of the operator B and the null space (kernel) of the operator B*:
Im(B) = Im(Q1), Null(B*) = Im(Q2) .
We define the unitary block matrix:
Q =
Q 0 0 1
= Q 0 I.
In the state space formulation, we will henceforth use the notation A © B to denote the block diagonal matrix with diagonal blocks A and B. With these definitions, we compute:
Q*KQ :
Qi Q2
01 K
Qi Q2
0 1
Kii K12 R*
K21 K22 0
R 0 0
(6)
*
*
The analysis of [12] implies the following technical lemma.
Lemma 1. Assume that B is such that ||(B*B) || < to and Q1; Q2 and R are as in (6). Then,
K.
K B B* 0
is invertible if and only if Q2KQ2 = K22 is invertible. In that case u and p which satisfy:
K B u /
B* 0 p g
are given by:
\ QiR-1g u ^Q2K2-21(Q2/ - K2iR-1g)_
p = Q*/ - KiiR-1g - K12K-1 (Q*/ - K2iR-1^ .
Proof. According to [9], we have:
Null(K) = (Null(K) n Null(B*)) <g> Null(B)
for the null space of K. The assumptions on the matrix B imply that Null(B) = {0} and Null(B*) = Im(Q2), and so, if K22 = Q2KQ2 is invertible, so is (Null(K) n Null(B*)) trivial. This proves the first claim. To finish the proof of the theorem, note that (6) implies:
K11 K12 R Q1u Qi /
K21 K22 0 Q2u = Q2 /
R* 0 0 p g
and the claim follows by equating the matrix identity block element by block element.
□
Lemma 1 directly allows for the block matrix analysis of the resolvents and was used in [12] to analyze the eigenvalue problem associated to the resolvent R1. In particular it holds:
7i" R-1g
Q*Ri(z)Q /2 = R22,i(z)(/2 - (K21 - ziM2i)R-1g)
-(K12 - ziMi2)R22,i(z)(/2 - (K21 - ziM2i)R-1g) + /1 - (K11 - ziMii)R-1g
where
R22,i(z) := (K22 - z^)-1 . Here, we see that the singularities of the functions z ^ R-j(z) and z ^ R22,i(z) coincide. Let Pi(K22,M22) = {z G C : ||(K22 - ziM22)-1|| < to} be the resolvent set of R22,i. Its complement Speci(K22, M22) = C \ pi(K22, M22) is called the spectrum of Ri. In particular, when K22 is a positive definite Hermitian (self-adjoint) matrix, then for each A g Speci (K22, M22) there is a vicinity U c pi(K22, M22) such that the expansion:
Ri(z) = —1—- Pi + Hi(z), z GU, z - A
holds. Here, Hi is a holomorphic operator valued function and Im(P) = Null(K22 - AiM22). This result follows from the celebrated Keldysh' theorem, see [13,14]. Let us note that in the case in which we assume that K22 is positive definite, as will be prototypical for the applications which we have in mind, then we will study the resolvents associated with the operator K-21M22 and so obtain the results for the resolvents Ri, i = 1,2, see [15] and the references therein. Note that [15] is obtained in the Hilbert space setting and this will allow a direct generalization in the next section.
3. The main results
In this section, we concentrate on the operator equivalent of the matrix results. Let us assume that X and Y are Hilbert spaces. Then, we assume we have operators K : X ^ X and B : Y ^ X such that: (A1): K is self-adjoint and positive semi-definite; (A2): B is closed; (A3): ||B*(1 + K)-1/2|| < to; (A4): Y = Im(B*(I + K)1/2);
(A5): The restriction of the operator K on the space Im(B*) is positive definite (in the sense of quadratic forms, see below).
The restriction of the operator K on the space Null(B*) c X, denoted by K22, is defined as the operator representation, in the sense of Kato [8], of the quadratic form:
k22(u,v) := (K 1/2u,K 1/2v), u,v € Null(B*) n Dom(K1/2).
Here,
K1/2
is a self-adjoint operator defined by spectral calculus and satisfies the requirements of the Kato's second representation theorem and V := Dom(K1/2) c X denotes the operator domain of K1/2. The operator K22 is now a self adjoint and positive definite operator from Null(B*) to Null(B*) such that:
(K^2«, K2/2v) = k22(u,v), u,v € Null(B*) n Dom((1 + K)1/2)
and Dom(K21/2) = Null(B*) n Dom((1 + K)1/2.
The null space of the closed operator is closed and the assumptions (A1) and (A2) together with the closed range theorem imply:
X = Im(B) © Null(B*).
Based on this decomposition, which is an abstract version of the Hodge-Helmholtz decomposition for the Stokes operator, we will seek a block 3 x 3 representation of the resolvents R1 and R2 in the state space:
X ( Y = (Im(B) © Null(B*)) ( Y = Im(B) ( Null(B*) ( Y,
where we have tacitly identified ismorphic Hilbert spaces. Let us now consider the following forms:
k11(u, v) = (K 1/2u, K 1/2v), u, v € Im(B) n (Dom(1 + K)1/2),
k21(u, v) = (K 1/2u, K 1/2v), u € Im(B) n (Dom(1 + K)1/2), v € Null(B*) n (Dom(1 + K)1/2), (7)
b(u, v) = (u, B*v), u € Y, v € V c X.
Further, let K11 be the operator representation of k11 in the sense of Kato, and let R be the maximal operator such that:
(u, Rv) = b(u, v), u € Y, v € Im(B) n Dom((1 + K)1/2). (8)
Then, by the assumptions (A3) and (A4), the operator R : Im(B) ^ Y is closed and has a bounded inverse.
Note that the forms k12 and k21 need not have operator representations. Also, they are conjugate to each other as forms since K is self-adjoint. However, the operator KR defined by:
(KR u, v) = k21(R-1u, K2-21/2v), u € Y, v € Null(B*), (9)
is a bounded operator. Assumptions (A1) and (A3) also imply that R-*K11R is a bounded self-adjoint operator. We now present the main theorem on the block operator representation of the resolvents Rj, i = 1,2.
Theorem 1. Let M be a bounded and self-adjoint semi-definite operator on Im(B) (g> Null(B*) and let K and B be operators which satisfy (A1)-(A5). Let further K11 and K22 be the operators as defined in (7)-(9) and let K-1 be compact. Then for z € C the operator R (z) is bounded if and only if R22,j(z) = (K22 — zjM22)-1 is bounded. Here we assumed the obvious notation for the block 2 x 2 representation of a bounded operator M on Im(B) ( Null(B*).
Proof. Recall from [5,6,9] that the operator:
K. =
K B*
B 0
is semibounded from below and so due to its quasi semi-definitnes we can justify the following computation in the product space (Im(B) x Null(B*)) ( Y:
Rj(z) =
R-* © K221/2 © I
R-
K11R-1 - ziR-*M11R-— 1 22
K** - z
K—1/2M21R—1
Kr - ziR—*M12K—21/2 I I - ziK—1/2M22K—1/2 0
I
0
0
R—1 © K221/2 © I
The 3 x 3 block operator matrix in the middle has only bounded entries and it is, using the same technique as in Lemma 1, boundedly invertible if and only if:
y (I - Z4K2—21/2M22K2—21/2) —1|
< 00
Since K22 has a compact inverse and M22 is bounded this is equivalent, see [15], to ||(K22 — zjM22) which was the claim of the theorem.
< TO □
1
1
Recall that under the assumption that K- is compact and K22 is positive definite and self-adjoint operator we can again apply Keldysch's theorem on the operator function z ^ (K22 - zjM22)-1. For any i = 1,2 and Aj g pj(K22,M22) there exists a vicinity U c p»(K22,M22) and an operator Pj and a holomorphic operator valued function such that:
R22,i(z) = (K22 - ziM22)-
1
- A,
■Pi + Hj(z), z GWi
Let us assume (A1)-(A5) and in addition let K 1 be compact then
K, =
K B B* 0
is invertible. Based on the analysis in the state space Im(B) ( Null(B*) ( Y and following the steps from [11,12], we can construct 2 x 2 block matrix representation of K-1M in the product space Null(B*) ( (lm(B) ( Y) which has the form:
K-1M
Li
A
N
L
1
(10)
1
where A is a self-adjoint compact operator and N is a nilpotent operator such that N2 = 0 and L1 and L- 1 are bounded operators. We see that the eigenvalues of the operator K-1M are directly mapped by to the eigenvalues of Rj by either inverting them or by inverting their squares. Note that A might have a zero as an eigenvalue. In this case, we say that this zero corresponds to the eigenvalue at infinity of the original eigenvalue problem associated with Rj, i = 1, 2. The whole invariant space of K-1M associated with the operator N corresponds to the eigenvalue at infinity of Rj, i = 1, 2. On the other hand, the eigenvalues of K-1M in the invariant subspace associated with the operator A are all semisimple.
1
z
4. A model problem
As a model problem, we consider the curved rod model from [16,17]. A discussion of the model is beyond the scope of this article. In the weak formulation model is given for the unknowns y and 6 being the displacement of the middle curve and the infinitesimal rotation of the cross-section. Having in mind the mixed formulation of the model, see [18] for more details, we set:
V := #0(0,1;R3) x #"¿(0,/;R3) C L2(0,/;R3) x L2(0,/;R3) =: X, Y := L2(0,/;R3), and define the bilinear forms:
i
k : V x V ^ R, k((y, 6), (y, £)) = J QHQ*<9s6 • ds0ds,
o
i
b : Y x V ^ R, b(n, (y, 6)) = J n • (dsy + t x 6)ds,
o
where H g R3x3 is a symmetric positive definite matrix describing the elastic properties of the material the rod is made of and the geometry of the cross-sections, Q = [t n b] g R3x3 is the orthogonal matrix whose columns are the tangent, the normal and the binormal of the of the middle line of the curved rod, see Fig. 1. The elastic energy of the rod is given in the form k, while the form b defines the inextensibility and unshearability conditions of the rod (dsy +1 x 6 = 0). Thus the elements of the state space X ( Y are given by (y, 6) © n and also include the Lagrange multiplier (being the contact force) related to the inextensibility and unshearability conditions.
Since V is dense in X and the form k, defined on the domain V, is closed and positive semidefinite in X and so it defines the self-adjoint positive semi-definite operator K in X in the sense of Kato. Furthermore, this choice of V allows us to conclude that the operator B* : X ^ Y such that:
(n,B(y,6))Y = b(n, (y,6))
is a closed operator and ||B*(/ + K)-1/2|| < to. Here it is central that Im(1 + K)-1/2 = V. To prove the assertion (A4) we use the inf — sup estimates for B. The details can be found in [18]. The form m, which defines
Fig. 1. A 3D elastic strut modeled by the curved rod model on the middle line of length l which is parametrized by P : [0, l] ^ R3
the M , is given by the bounded form:
m : X x X ^ R, m((y,0), (y,0))=y pAy • yds, (11)
0
and p and A are the density and the area of the cross section of the rod. 4.1. Endovascular stents
Following the approach from [17] it is possible to consider the curved rod equations on the metric graph N = (V, E), where V are vertices and E are edges which are assumed to be parametrized by Pj : [0, ¿¿] ^ R3, i = 1,..., #E. Here #E < ^ is the number of edges in N. As before deformation of the ith edge is described by uj = (y\£j), the displacement of the ith middle curve and the infinitesimal rotation of its cross-section. We further impose the restriction that between edges the displacements and the rotations of the cross-sections have to be continuous. Thus, for the domain of the form of the elastic energy, we have:
V = {u = (u1, •
,#E) é n H 1(0, li; R3) X H 1(0,1i; R3) :
i=1
uj((Pj)-1(v)) = uj((Pj)-1(v)), Vv € V, v € ej n ej, i,j = 1,..., #E}. For the spaces X and Y , we choose:
X = n L2(0,1j; R3) x L2(0,1j; R3), j=1
Y = n L2(0,1j;R3) x R3 x R3. j=1
The forms that define the problem are now given by:
k : V x V ^ R,
b : Y x V ^ R, Here, we used the notation:
k(u, U) = ^ J QiHiQi * dgO1 • d^ds,
i=1 o
b(n, U) = ^ / • (0syi + ti X 0i)ds + a • ^ / yMs + ß • ^ / ^ds.
n = (n\...,n#cE,a,ß) G Y
for the Lagrange multipliers in the mixed formulations; n7 is the contact force associated to the ith edge while a and ß are multipliers associated to fixing the overall center of mass and overall infinitesimal rotation. With this, we again obtain the resolvent:
K - =
K - z2M B B* 0
where the operator K is the "stiffness" operator, the operator B implements the inextensibility of the middle curve of all edges and ushearability of cross-sections of all edges of the stent and fixing the overall center of mass and rotation of the whole stent and the "mass" operator M is defined by the bounded form:
m : X x X ^ R, m(u, u) = ^ / pjAjyj • yjds. (12)
j=1 0
Since the boundary conditions for the stent problem are homogeneous Neumann type nonuniqueness of the solution of the problem is associated. Thus, by fixing the overall translation and rotation, we obtain uniqueness of the problem, i.e. the operator K is invertible on Null B*. More details on the model and its properties can be found in [18].
This construction of the operator B and the space Y illustrates a use of the freedom in formulating the mixed problem so that (A1)-(A5) hold. The inf — sup analysis of B can be performed in the metric graph setting following a similar argument as in the single rod case to show that (A4) holds. For details see [18]. Also, as is known from the Stokes problem, the freedom in the choice of Y, which is there the pressure space, is directly used to satisfy condition (A4) possibly by restricting the size of Y. A description of the code which was used to generate Fig. 2, as well as discretization details, is based on [19].
Fig. 2. A metric graph model of an endovascular stent. Six lowermost eigenmodes of the Palmaz stent computed with the MATLAB based on [19]
Acknowledgements
This research has been supported by the grant HRZZ-9345 of the Croatian Science Foundation. We gratefully acknowledge the support. We use the MATLAB [19].
References
[1] Kunkel P., Mehrmann V. Differential-algebraic equations. EMS Textbooks in Mathematics. European Mathematical Society (EMS), Zurich, 2006.
[2] Altmann R., Levajkovic T., Mena H. Operator differential-algebraic equations with noise arising in fluid dynamics. Monatshefte fUr Mathematik, 2016, P. 1-40.
[3] Emmrich E., Mehrmann V. Operator differential-algebraic equations arising in fluid dynamics. Comput. Methods Appl. Math., 2013, 13 (4), P. 443-470.
[4] Tretter C. Spectral theory of block operator matrices and applications. Imperial College Press, London, 2008.
[5] Grubisic L., Kostrykin V., Makarov K.A., Veselic K. Representation theorems for indefinite quadratic forms revisited. Mathematika, 2013, 59 (1), P. 169-189.
[6] Grubisic L., Kostrykin V., Makarov K.A., Veselic K. The Tan 2© theorem for indefinite quadratic forms. J. Spectr. Theory, 2013, 3 (1), P. 83-100.
[7] Tartar L. An introduction to Navier-Stokes equation and oceanography, 1 of Lecture Notes of the Unione Matematica Italiana. SpringerVerlag, Berlin; UMI, Bologna, 2006.
[8] Kato T. Perturbation Theory for Linear Operators. Springer-Verlag, Berlin, 1980.
[9] Veselic I., Veselic K. Spectral gap estimates for some block matrices. Oper. Matrices, 2015, 9 (2), P. 241-275.
[10] Cliffe K.A., Garratt T.J., Spence A. Eigenvalues of the discretized Navier-Stokes equation with application to the detection of Hopf bifurcations. Adv. Comput. Math., 1993, 1 (3-4), P. 337-356.
[11] Stykel T. Low-rank iterative methods for projected generalized Lyapunov equations. Electron. Trans. Numer. Anal., 2008, 30, P. 187-202.
[12] Cliffe K.A., Garratt T.J., Spence A. Eigenvalues of block matrices arising from problems in fluid mechanics. SIAM J. Matrix Anal. Appl., 1994, 15 (4), P. 1310-1318.
[13] Markus A.S., Macaev V.I. On the spectral theory of holomorphic operator-valued functions in Hilbert space. Funkcional. Anal. i Prilozen., 1975, 9 (1), P. 76-77.
[14] Mennicken R., Moller M. Non-self-adjoint boundary eigenvalue problems. In North-Holland Mathematics Studies, 192, North-Holland Publishing Co., Amsterdam, 2003.
[15] Nakic I. On the correspondence between spectra of the operator pencil A — Ab and of the operator B-1A. Glas. Mat. Ser. III, 2016, 51 (71), P. 197-221.
[16] Jurak M., Tambaca J. Linear curved rod model. General curve. Math. Models Methods Appl. Sci., 2001, 11 (7), P. 1237-1252.
[17] Canic S., Tambaca J. Cardiovascular stents as PDE nets: 1D vs. 3D. IMA J. Appl. Math., 2012, 77 (6), P. 748-770.
[18] Grubisic L., Ivekovic J., Tambaca J., Zugec B. Mixed formulation of the equilibrium problem for elastic stents. Submitted to Rad HAZU, 2017, URL: http://arxiv.org/abs/1703.05074.
[19] Ivekovic J. Numerical method for the model of linearized stents. Diploma thesis, Department of Mathematics, Faculty of Science, University of Zagreb, 2015.
