Abstract
Precise asymptotic expansions for the eigenvalues of a Toeplitz matrix \(T_n(f)\), as the matrix size n tends to infinity, have recently been obtained, under suitable assumptions on the associated generating function f. A restriction is that f has to be polynomial, monotone, and scalarvalued. In this paper we focus on the case where \(\mathbf {f}\) is an \(s\times s\) matrixvalued trigonometric polynomial with \(s\ge 1\), and \(T_n(\mathbf {f})\) is the block Toeplitz matrix generated by \(\mathbf {f}\), whose size is \(N(n,s)=sn\). The case \(s=1\) corresponds to that already treated in the literature. We numerically derive conditions which ensure the existence of an asymptotic expansion for the eigenvalues. Such conditions generalize those known for the scalarvalued setting. Furthermore, following a proposal in the scalarvalued case by the first author, Garoni, and the third author, we devise an extrapolation algorithm for computing the eigenvalues of banded symmetric block Toeplitz matrices with a high level of accuracy and a low computational cost. The resulting algorithm is an eigensolver that does not need to store the original matrix, does not need to perform matrixvector products, and for this reason is called matrixless. We use the asymptotic expansion for the efficient computation of the spectrum of special block Toeplitz structures and we provide exact formulae for the eigenvalues of the matrices coming from the \(\mathbb {Q}_p\) Lagrangian Finite Element approximation of a second order elliptic differential problem. Numerical results are presented and critically discussed.
1 Introduction
A matrix \(\mathbf A _n\) of the form
where \(A_{(n1)},\ldots ,A_{n1}\) are blocks in \(\mathbb {C}^{s\times s}\), is said to be a block Toeplitz matrix. Note that the size of \(\mathbf A _n\) is \(N(n,s)=sn\).
We say that \(\phi :[\,\pi ,\pi ]\rightarrow \mathbb C^{s\times s}\) is a complex matrixvalued Lebesgue integrable function if all its components \(\phi _{i,j}:[\,\pi ,\pi ]\rightarrow \mathbb {C}\), \(i,j=1,\dots , s\), are complexvalued Lebesgue integrable functions. The nth block Toeplitz matrix generated by \(\phi \) is defined as
where the quantities \(\hat{\phi }_k \in \mathbb {C}^{s\times s}\) are the Fourier coefficients of \(\phi \), that is,
We refer to \(\{T_n(\phi )\}_n\) as the block Toeplitz sequence generated by \(\phi \), which in turn is called the generating function or the symbol of \(\{T_n(\phi )\}_n\). Such type of matrix sequences have been studied, especially for \(s=1\), by many authors including Szegö, Avram, Böttcher, Parter, Sibermann, Tilli, and Tyrtyshnikov (see e.g. [17, 22] and references therein).
Furthermore, if \(\phi \) is Hermitian almost everywhere then, by (1.1), \(\hat{\phi }_{k}=\hat{\phi }_{k}^*\) for every \(k\in \mathbb Z\) and therefore each \(T_n(\phi )\) is Hermitian. As a consequence, the spectrum of \(T_n(\phi )\) is real. Moreover, the analytical properties of \(\phi \) decide many delicate features of the eigenvalues of \(T_n(\phi )\) such as distribution, clustering, and localization, as we briefly describe below without entering into technical details.
 Distribution. :

In [22] it was proved that \(\{T_n(\phi )\}_n\) has an asymptotic spectral distribution, in the Weyl sense, described by \(\phi (\theta )\), under the assumption that \(\phi (\theta )\) is a Lebesgue integrable matrixvalued function which is Hermitian almost everywhere. An extension to the nonHermitian case was given in [11], by adapting the tools introduced by Tilli in [23] for complexvalued generating functions.
When the symbol \(\phi \) is also continuous, i.e., each component \(\phi _{i,j}\) is continuous, the present distribution result can be described as follows: for sufficiently large n, up to a small number of possible outliers, the eigenvalues of \(T_n(\phi )\) can be grouped into s “branches” having approximate cardinality n and for each \(q=1,\ldots ,s\) the eigenvalues belonging to the qth branch are approximately given by the samples over a certain uniform grid in \([\,\pi ,\pi ]\) of the qth eigenvalue function \(\lambda ^{(q)}(\phi )\).
 Clustering. :

For any \(\epsilon >0\), take an \(\epsilon \)neighborhood of the set \({\mathcal R}_\phi \), which is defined as the union of the essential ranges of the eigenvalue functions \(\lambda ^{(q)}(\phi )\). Then the spectrum of \(\{T_n(\phi )\}_n\) is clustered at \({\mathcal R}_\phi \) in the sense that the number of the eigenvalues of \( T_n(\phi )\) that do not belong to the \(\epsilon \)neighborhood of \({\mathcal R}_\phi \) is o(n) as n tends to infinity. If \(\phi \) is a Hermitianvalued trigonometric polynomial, then the number of such outliers is O(1) and it is at most linearly depending on s and on the degree of the polynomial. Such clustering results are consequences of the distribution result. For the case of trigonometric polynomials, on which the present work is focused, see also Appendix A.
 Localization. :

Assume that \(\lambda ^{(q)}(\phi )\), \(q=1,\dots ,s\), are sorted in nondecreasing order, that is, \(\lambda ^{(1)}(\phi )\le \lambda ^{(2)}(\phi )\le \cdots \le \lambda ^{(s)}(\phi )\). Then, for all n, the eigenvalues of \(T_n(\phi )\) belong to the interval \([m_\phi ,M_\phi ]\), where \(m_\phi ={{\mathrm{ess\,inf}}}_{\theta \in [\pi ,\pi ]} \lambda ^{(1)}(\phi )\) and \(M_\phi ={{\mathrm{ess\,sup}}}_{\theta \in [\pi ,\pi ]}\lambda ^{(s)}(\phi )\). Moreover, if the function \(\lambda ^{(1)}(\phi )\) is not essentially constant, then the eigenvalues of \(T_n(\phi )\) belong to \((m_\phi ,M_\phi ]\), and, if the function \(\lambda ^{(s)}(\phi )\) is not essentially constant, then the eigenvalues of \(T_n(\phi )\) belong to \([m_\phi ,M_\phi )\). For such results refer to [19, 20].
Remark 1.1
Part 1. When the symbol \(\phi \) is continuous, then each eigenvalue function \(\lambda ^{(q)}(\phi )\), \(q=1,\dots , s\), is continuous and therefore the essential infimum becomes a minimum and the essential supremum becomes a maximum (because the interval \([\,\pi ,\pi ]\) is a compact set), while the essential range is the standard range. Part 2. Finally the interval \([\,\pi ,\pi ]\) can be replaced by the interval \([0,\pi ]\) when \(\phi (\,\theta )=\phi (\theta )^T\): this is precisely the case we consider, see (1.3).
In this paper we focus on the case where the symbol is a Hermitian matrixvalued trigonometric polynomial (HTP) \(\mathbf {f}\) with Fourier coefficients \(\hat{\mathbf {f}}_{0},\hat{\mathbf {f}}_{1},\ldots ,\hat{\mathbf {f}}_{m}\in \mathbb R^{s\times s}\), that is, a function of the form
where we set
The assumptions on \(\mathbf {f}(\theta )\) imply that \(T_n(\mathbf {f})\) is a real symmetric block banded matrix with “block bandwidth” \(2m+1\), of the form
Note that from (1.2) we have
and hence \(\mathbf {f}(\theta )\) has the same eigenvalues as \(\mathbf {f}(\,\theta )\). Thus, each eigenvalue function \(\lambda ^{(q)}(\mathbf {f})\) is even and we can therefore simply focus on its restriction \(\lambda ^{(q)}(\mathbf {f}):[0,\pi ]\rightarrow \mathbb R^{s\times s}\) (in accordance with the second part of Remark 1.1).
In view of the above distribution, clustering, and localization results, up to O(1) possible outliers, the eigenvalues of the symmetric matrix \(T_n(\mathbf {f})\) can be partitioned in s subsets (or “branches”) of approximately the same cardinality n; and the eigenvalues belonging to the qth branch are approximately equal to the samples of the qth eigenvalue function \(\lambda ^{(q)}(\mathbf f)\) over a uniform grid in \([0,\pi ]\).
In this paper we show that the different branches have a much finer structure and that, under mild restrictions, there exists a hierarchy of symbols which allow us to design extremely economical procedures for the computation of the eigenvalues of the matrices \(T_n(\mathbf { f})\). In particular, we conjecture on the basis of numerical experiments that for every integer \(\alpha \ge 0\), every \(s\ge 1\), and every \(q\in \{1,\dots ,s\}\), the following asymptotic expansion holds under the specific local condition and global condition that will be discussed below: for all \(n\in \mathbb N\) and \(j=1,\ldots ,n\),
where:

\(\gamma =\gamma (q,j)=(q1)n+j\);

\(\lambda _k(T_n(\mathbf {f}))\), \(k\in \{1,\dots ,N(n,s)\}\), are the eigenvalues of \(T_n(\mathbf { f})\), which are sorted so that, for each fixed \(\bar{q}\in \{1,\dots , s\}\), the eigenvalues \(\lambda _{(\bar{q}1)n+j}(T_n(\mathbf { f}))\), for \(j=1,\ldots ,n\), are arranged in nondecreasing or nonincreasing order, depending on whether \(\lambda ^{(\bar{q})}(\mathbf { f})\) is increasing or decreasing (this can be seen using the local or the global condition below);

\(\{c_k^{(q)}\}_{k=1,\ldots ,\alpha }\) is a sequence of functions from \([0,\pi ]\) to \(\mathbb R\) which depends only on \(\mathbf {f}\);

\(h=\frac{1}{n+1}\) and \(\theta _{j,n}=\frac{j\pi }{n+1}=j\pi h\), \(j=1,\ldots , n\);

\(E_{j,n,\alpha }^{(q)}=O(h^{\alpha +1})\) is the remainder (the error), which satisfies the inequality \(E_{j,n,\alpha }^{(q)}\le C_\alpha h^{\alpha +1}\) for some constant \(C_\alpha \) depending only on \(\alpha \) and \(\mathbf {f}\).
We note that in the scalarvalued case \(s=1\), several theoretical and computational results are available in support of the above expansion [2, 5, 6, 9, 14,15,16], including also extensions to preconditioned matrices and matrices arising in a differential context [1, 13].
Unfortunately, as already shown in [2, 15, 16], the expansion (1.5) is not always satisfied even for \(s=1\). Below we give two conditions which ensure that the expansion holds.
 Local condition. :

The eigenvalue \(\lambda _\gamma (T_n(\mathbf { f}))\) can be expanded as in (1.5) if there exists \(\bar{\epsilon }>0\) such that, for all \(\epsilon \in (0,\bar{\epsilon })\) and all \(y\in (\lambda _\gamma (T_n(\mathbf { f}))\epsilon ,\lambda _\gamma (T_n(\mathbf { f}))+\epsilon )\), there exists a unique \(q\in \{1,\ldots ,s\}\) and a unique \(\bar{\theta }\in [0,\pi ]\) for which
$$\begin{aligned} y=\lambda ^{(q)}(\mathbf { f}(\bar{\theta })). \end{aligned}$$(1.6)  Global condition. :

A trivial global condition is obtained by imposing that the local condition is satisfied for every eigenvalue which is not an outlier (if the eigenvalue \(\lambda _\gamma (T_n(\mathbf { f}))\) is an outlier, then, by definition, it does not belong to the range of \(\mathbf { f}\) and consequently relation (1.6) cannot be satisfied). A simple general assumption, which is equivalent to the trivial global condition, is that each \(\lambda ^{(q)}(\mathbf { f})\), \(q=1,\dots , s\), is monotone (nonincreasing or nondecreasing) over the interval \([0,\pi ]\) and
$$\begin{aligned} \max _{\theta \in [0,\pi ]} \lambda ^{(q)}(\mathbf { f})< \min _{\theta \in [0,\pi ]}\lambda ^{(q+1)}(\mathbf { f}) \end{aligned}$$for \(q=1,\dots ,s1\). In other words, the global condition can be summarized as follows: strict monotonicity of every eigenvalue function and the intersection of the ranges of two eigenvalue functions \(\lambda ^{(j)}(\mathbf {f})\) and \(\lambda ^{(k)}(\mathbf { f})\) is empty for every pair of indices \(j,k\in \{1,\ldots ,s\}\) such that \(j\ne k\). This version of the global condition is of course much simpler to verify. Moreover, in the case \(s=1\) it reduces to the monotonicity condition already used in the literature; see [2, 5, 6, 9, 15, 16] and references therein.
In [15], the authors employed the asymptotic expansion (1.5) with \(s=1\) for computing an accurate approximation of \(\lambda _j(T_n(\mathbf { f}))\) for very large n, if the values \(\lambda _{j_1}(T_{n_1}(\mathbf { f})), \ldots ,\lambda _{j_k}(T_{n_k}(\mathbf { f}))\) are available for moderately sized \(n_1,\ldots ,n_k\) such that \(\theta _{j_1,n_1}=\cdots =\theta _{j_k,n_k}=\theta _{j,n}\). We stress that the algorithm was developed in [15] and then improved in [1, 12, 14], while the mathematical foundations of the considered expansions and few numerical tests were already present in [5].
The purpose of this paper is to carry out this idea and to support it by numerical experiments accompanied by an appropriate error analysis in the more general case where \(s>1\). In particular, we devise an algorithm to compute \(\lambda _j(T_n(\mathbf { f}))\) with a high level of accuracy and a relatively low computational cost. The algorithm is completely analogous to the extrapolation procedure [21, Section 3.4], which is employed in the context of Romberg integration to obtain high precision approximations of an integral from a few coarse trapezoidal approximations. In this regard, the asymptotic expansion (1.5) plays here the same role as the EulerMaclaurin summation formula [21, Section 3.3].
The paper is organized as follows. In Sect. 2, assuming the asymptotic eigenvalue expansion (1.5), we present our extrapolation algorithm for computing the eigenvalues of the \(s\times s\) block matrix \(T_n(\mathbf { f})\) for \(s>1\). In Sect. 3 we provide numerical experiments in support of the asymptotic eigenvalue expansion (1.5) in different cases and we derive exact formulae for the eigenvalues in some practical examples and for matrices coming from order p Lagrangian Finite Element approximations of a second order elliptic differential problem, which are denoted as \(\mathbb {Q}_p\). In Sect. 4 we draw conclusions and we outline future lines of research. In “Appendix A” we formally prove (1.5) in the basic case \(\alpha =0\), and in “Appendix B” we report in detail the mass and stiffness \(\mathbb {Q}_p\) elements for \(p=2,3,4\).
2 Algorithm for computing the eigenvalues of \(T_n(\mathbf { f})\) for \(s>1\)
Assuming that the expansion (1.5) holds true and taking inspiration from [14], in the present section we propose an interpolation–extrapolation algorithm for computing the eigenvalues of \(T_n(\mathbf { f})\). In what follows, for each positive integer \(n\in \mathbb N=\{1,2,3,\ldots \}\) and each \(s>1\) we define \(N(n,s)=sn\). Moreover, with each positive integer n we associate the stepsize \(h=1/(n+1)\) and the grid points \(\theta _{j,n}=j\pi h\), \(j=1,\ldots ,n\). For notational convenience, unless otherwise stated, we will always denote a positive integer and the associated stepsize in a strongly related way. For example, if the positive integer is n, then the associated stepsize is h; if the positive integer is \(n_1\), then the associated stepsize is \(h_1\); if the positive integer is \(\bar{n}\), then the associated stepsize is \(\bar{h}\); etc. Throughout this section, we make the following assumptions.

\(s>1\) and \(n,n_1,\alpha \in \mathbb N\) are fixed parameters.

\(n_k=2^{k1}(n_1+1)1\) for \(k=1,\ldots ,\alpha \).

\(j_k=2^{k1}j_1\) where \(j_1=\{1,\ldots ,n_1\}\) and \(k=1,\ldots ,\alpha \); \(j_k\) are the indices such that \(\theta _{j_k,n_k}=\theta _{j_1,n_1}\).
A graphical representation of the grids \(\theta _{[n_k]}=\{\theta _{j_k,n_k}:\ j_k=1,\ldots ,n_k\}\), for \(k=1,\ldots ,\alpha \), is shown in Fig. 1 for \(n_1=5\) and \(\alpha =4\).
For each choice of fixed \(j_1=\{1,\ldots ,n_1\}\) we apply \(\alpha \) times the expansion (1.5) with \(n=n_1,n_2,\ldots ,n_\alpha \) and \(j=j_1,j_2,\ldots ,j_\alpha \). Since \(\theta _{j_1,n_1}=\theta _{j_2,n_2}=\ldots =\theta _{j_\alpha ,n_\alpha }\) (by definition of \(j_2,\ldots ,j_\alpha \)), we obtain, for \(q=1,\dots ,s\),
where
and
For \(q=1,\dots ,s\), let \(\tilde{c}_1^{(q)}(\theta _{j_1,n_1}),\ldots ,\tilde{c}_\alpha ^{(q)}(\theta _{j_1,n_1})\) be the approximations of \(c_1^{(q)}(\theta _{j_1,n_1}),\ldots ,c_\alpha ^{(q)}(\theta _{j_1,n_1})\) obtained by removing all the errors \(E_{j_1,n_1,\alpha }^{(q)},\ldots ,E_{j_\alpha ,n_\alpha ,\alpha }^{(q)}\) in (2.1) and by solving the resulting linear system:
Note that this way of computing approximations for \(c_1^{(q)}(\theta _{j_1,n_1}),\ldots ,c_\alpha ^{(q)}(\theta _{j_1,n_1})\) is completely analogous to the Richardson extrapolation procedure that is employed in the context of Romberg integration to accelerate the convergence of the trapezoidal rule [21, Section 3.4], with the asymptotic expansion (1.5) playing here the same role as the Euler–Maclaurin summation formula [21, Section 3.3]. For more advanced studies on extrapolation methods, we refer the reader to the classical book by Brezinski and RedivoZaglia [8]. The next theorem shows that, for \(q=1,\dots ,s\), the approximation error \(\left c_k^{(q)}(\theta _{j_1,n_1})\tilde{c}_k^{(q)}(\theta _{j_1,n_1})\right \) is \(O(h_1^{\alpha k+1})\).
Theorem 2.1
There exists a constant \(A_\alpha ^{(q)}\) depending only on \(\alpha \) and \(q=1,\dots , s\) such that, for \(j_1=1,\ldots ,n_1\) and \(k=1,\ldots ,\alpha \),
Proof
It is a straightforward adaptation of the proof given in [14, Theorem 1].
Take an \(n\gg n_1\) and fix an index \(j\in \{1,\ldots ,n\}\). We henceforth assume that \(q\in \{1,2,\dots ,s\}\). To compute an approximation of \(\lambda _\gamma (T_n(\mathbf { f}))\), \(\gamma =(q1)n+j\), through the expansion (1.5) we need the value \(c_k^{(q)}(\theta _{j,n})\) for each \(k=1,\ldots ,\alpha \). Of course, \(c_k^{(q)}(\theta _{j,n})\) is not available in practice, but we can approximate it by interpolating and extrapolating the values \(\tilde{c}_k^{(q)}(\theta _{j_1,n_1})\), \(j_1=1,\ldots ,n_1\). For example, we may define \(\tilde{c}_k^{(q)}(\theta )\) as the interpolation polynomial of the data \((\theta _{j_1,n_1},\tilde{c}_k^{(q)}(\theta _{j_1,n_1})),\hbox { for } j_1=1,\ldots ,n_1\),—so that \(\tilde{c}_k^{(q)}(\theta )\) is expected to be an approximation of \(c_k^{(q)}(\theta )\) over the whole interval \([0,\pi ]\)—and take \(\tilde{c}_k^{(q)}(\theta _{j,n})\) as an approximation to \(c_k^{(q)}(\theta _{j,n})\). It is known, however, that interpolating over a large number of uniform nodes is not advisable, as it may give rise to spurious oscillations (Runge’s phenomenon). It is therefore better to adopt another kind of approximation. An alternative could be the following: we approximate \(c_k^{(q)}(\theta )\) by the spline function \(\tilde{c}_k^{(q)}(\theta )\) which is linear on each interval \([\theta _{j_1,n_1},\theta _{j_1+1,n_1}]\) and takes the value \(\tilde{c}_k^{(q)}(\theta _{j_1,n_1})\) at \(\theta _{j_1,n_1}\) for all \(j_1=1,\ldots ,n_1\). This strategy removes for sure any spurious oscillation, yet it is not accurate. In particular, it does not preserve the accuracy of approximation at the nodes \(\theta _{j_1,n_1}\) established in Theorem 2.1, i.e., there is no guarantee that \(c_k^{(q)}(\theta )\tilde{c}_k^{(q)}(\theta )\le B_\alpha ^{(q)} h_1^{\alpha k+1}\) for \(\theta \in [0,\pi ]\) or \(c_k^{(q)}(\theta _{j,n})\tilde{c}_k^{(q)}(\theta _{j,n})\le B_\alpha ^{(q)} h_1^{\alpha k+1}\) for \(j=1,\ldots ,n\), with \(B_\alpha ^{(q)}\) being a constant depending only on \(\alpha \) and q. As proved in Theorem 2.2, a local approximation strategy that preserves the accuracy (2.4), at least if \(c_k^{(q)}(\theta )\) is sufficiently smooth, is the following: let \(\theta ^{(1)},\ldots ,\theta ^{(\alpha k+1)}\) be \(\alpha k+1\) points of the grid \(\{\theta _{1,n_1},\ldots ,\theta _{n_1,n_1}\}\) which are closest to the point \(\theta _{j,n}\),^{Footnote 1} and let \(\tilde{c}_{k,j}^{(q)}(\theta )\) be the interpolation polynomial of the data \((\theta ^{(1)},\tilde{c}_k^{(q)}(\theta ^{(1)})),\ldots ,(\theta ^{(\alpha k+1)},\tilde{c}_k^{(q)}(\theta ^{(\alpha k+1)}))\); then, we approximate \(c_k^{(q)}(\theta _{j,n})\) by \(\tilde{c}_{k,j}^{(q)}(\theta _{j,n})\). Note that, by selecting \(\alpha k+1\) points from \(\{\theta _{1,n_1},\ldots ,\theta _{n_1,n_1}\}\), we are implicitly assuming that \(n_1\ge \alpha k+1\).
Theorem 2.2
Let \(1\le k\le \alpha \), and suppose \(n_1\ge \alpha k+1\) and \(c_k^{(q)}\in C^{\alpha k+1}[0,\pi ]\). For \(j=1,\ldots ,n\), if \(\theta ^{(1)},\ldots ,\theta ^{(\alpha k+1)}\) are \(\alpha k+1\) points of \(\{\theta _{1,n_1},\ldots ,\theta _{n_1,n_1}\}\) which are closest to \(\theta _{j,n}\), and if \(\tilde{c}_{k,j}^{(q)}(\theta )\) is the interpolation polynomial of the data \((\theta ^{(1)},\tilde{c}_k^{(q)}(\theta ^{(1)})),\ldots ,(\theta ^{(\alpha k+1)},\tilde{c}_k^{(q)}(\theta ^{(\alpha k+1)}))\), then
for some constant \(B_\alpha ^{(q)}\) depending only on \(\alpha \) and q.
Proof
It is a straightforward adaptation of the proof of [14, Theorem 2].
We are now ready to formulate our algorithm for computing the eigenvalues of \(T_n(\mathbf { f})\).
Remark 2.1
Algorithm 1 is specifically designed for computing \(\lambda _\gamma (T_n(\mathbf { f}))\) in the case where n is quite large. When applying this algorithm, it is implicitly assumed that \(n_1\) and \(\alpha \) are small (much smaller than n), so that each \(n_k=2^{k1}(n_1+1)1\) is small as well and the computation of the eigenvalues \(\tilde{\lambda }_\gamma (T_n(\mathbf { f}))\)—which is required in the first step—can be efficiently performed by any standard eigensolver (e.g., the Matlab eig function).
The last theorem of the current section provides an estimate for the approximation error made by Algorithm 1.
Theorem 2.3
Let \(n\ge n_1\ge \alpha \) and \(c_k^{(q)}\in C^{\alpha k+1}[0,\pi ]\) for \(k=1,\ldots ,\alpha \). Let
be the approximation of \((\lambda _{(q1)n+1}(T_n(\mathbf { f})), \lambda _{(q1)n+2}(T_n(\mathbf { f})) \ldots ,\lambda _{qn}(T_n(\mathbf { f}))\) computed by Algorithm 1. Then, there exists a constant \(D_\alpha ^{(q)}\) depending only on \(\alpha \) and s such that, for \(j=1,\ldots ,n\), \(\gamma =(q1)n+j,\)
Proof
where \(D_\alpha ^{(q)}=(\alpha +1)\max (B_\alpha ^{(q)},C_\alpha ^{(q)})\).
3 Numerical experiments
In the current section we present a selection of numerical experiments to validate the algorithms based on the asymptotic expansion (1.5) in different cases where \(\mathbf {f}\) is matrixvalued, and we give exact formulae for the eigenvalues in some examples of practical interest.
3.1 Description
We test the asymptotic expansion and the interpolation–extrapolation algorithm in Sect. 2 in order to obtain an approximation of the eigenvalues \(\lambda _\gamma ({T_n(\mathbf {f})})\), for \(\gamma =1,\dots ,sn\), for large n.

Example 1.
We show that the expansion and the associated interpolation–extrapolation algorithm can be applied to the whole spectrum, since the symbol satisfies the global condition.

Example 2.
We show that the expansion and the interpolation–extrapolation algorithm can be locally applied for computing the approximation of the eigenvalues verifying the local condition. In this particular case, the global condition does not hold because the intersection of ranges of two eigenvalue functions is a nontrivial interval and in addition there exists an index \(q \in \{1,\dots , s\}\) such that \(\lambda ^{(q)}(\mathbf {f})\) is nonmonotone.

Example 3.
We show that the expansion and interpolation–extrapolation algorithm can be locally applied for the computation of the eigenvalues satisfying the local condition. For the specific example, the global condition does not hold since there exists an index \(q \in \{1,\dots , s\}\) such that \(\lambda ^{(q)}(\mathbf {f})\) is nonmonotone either globally on \([0,\pi ]\) or just on a subinterval contained in \([0,\pi ]\).

Example 4.
We show how to bypass the local condition in a few special cases: in fact, using different sampling grids, we can recover exact formulas for parts of the spectrum, where the assumption of monotonicity is violated.

Example 5.
We give a close formula for the eigenvalues of matrices arising from the rectangular Lagrange Finite Element method with polynomials of degree \(p>1\), usually denoted as \(\mathbb {Q}_p\) elements. The number of the eigenvalue functions, which verify the global condition, depends on the order of the \(\mathbb {Q}_p\) elements. In this specific setting we have \(s=p\).
3.2 Experiments
In Examples 1–3 we do not compute analytically the eigenvalue functions of \(\mathbf {f}\), but, for \(q=1,\dots s\), we are able to provide an ’exact’ evaluation of \(\lambda ^{(q)}(\mathbf {f})\) at \(\theta _{j_k,n_k}\), \(j_k=1,\dots , n_k,\) by exploiting the following procedure:

sample \(\mathbf {f}\) at \(\theta _{j_k,n_k}\), \(j_k=1,\dots , n_k\), obtaining \(n_k\) \(s\times s\) matrices, \(M_{j_k};\)

for each \(j_k=1,\dots , n_k\), compute the s eigenvalues of \(M_{j_k}\), \(\lambda _q(M_{j_k})\), \(q=1,\dots ,s\);

for a fixed \(q=1,\dots s \), the evaluation of \(\lambda ^{(q)}(\mathbf {f})\) at \(\theta _{j_k,n_k}\), \(j_k=1,\dots , n_k,\) is given by \(\lambda _q(M_{j_k})\), \(j_k=1,\dots ,n_k\).
This procedure is justified by the fact that here \(\mathbf {f}\) is a trigonometric polynomial and, denoting by \(C_{n_k}(\mathbf {f})\) the circulant matrix generated by \(\mathbf {f}\), the eigenvalues of \(C_{n_k}(\mathbf {f})\) are given by the evaluations of \(\lambda ^{(q)}(\mathbf {f})\) at the grid points \(\theta _{r,n_k}=2\pi \frac{r}{n_k}\), \(r=0,\dots ,n_k1\), since
where
and \(I_s\) the \(s \times s\) identity matrix [18]. Furthermore, by exploiting the localization results [19, 20] stated in the introduction, we know that each eigenvalue of \(T_n(\mathbf {f})\), for each n, belongs to the interval
Example 1
In this example we have block size \(s=3\), and each eigenvalue function \(\lambda ^{(q)}(\mathbf {f}), q=1,2,3\), is strictly monotone over \([0,\pi ]\). The eigenvalue functions satisfy
In top left panel of Fig. 2 the graphs of the three eigenvalue functions are shown.
The Toeplitz matrix generated by \(\mathbf {f} \) is a pentadiagonal block matrix, \(T_n(\mathbf {f})\in \mathbb {R}^{N\times N}\), where \(N=3n\), and all the blocks belong to \(\mathbb {R}^{3\times 3}\), that is
Here \(\mathbf {f}\) is such that the global condition is satisfied. Hence we can use the asymptotic expansion and Algorithm 1 to get an accurate approximation of the eigenvalues of \(T_n(\mathbf {f})\) for a large n. Solving system (2.3) with \(\alpha =4\) and \(n_1=100\), we obtain the approximation of \(c^{(q)}_k(\theta _{j_1,n_1})\), \(k=1,\ldots ,\alpha \). In Fig. 2, in the top right and bottom panels, the approximated expansion functions \(\tilde{c}^{(q)}_k(\theta _{j_1,n_1})\), \(k=1,\ldots ,\alpha \), \(q=1,\dots ,s\) are shown for each eigenvalue function. For a fixed \(q=1,\dots , s\), the values \(\tilde{c}^{(q)}_k(\theta _{j_1,n_1})\), \(k=1,\ldots ,\alpha \), \(j_1=1,\dots ,n_1\) are known, and finally we can compute \(\tilde{\lambda }_\gamma (T_n(\mathbf { f}))\) for \(n=10000\), by using (1.5). For simplicity we plot the eigenvalue functions and also the expansion errors, \(E^{(q)}_{j_1,n_1,0}\), for \(q=1,2,3\). In the right panel of Fig. 3 (in black) we show the errors, \(E_{j,n,0}^{(q)}\), \(q=1,\dots ,3\), versus \(\gamma \), from direct calculation of
for \(j=1,\dots ,n\), \(q=1,\dots ,3\). As expected, with \(\alpha =0\), the errors \(E_{j,n,0}^{(q)}\), \(q=1,\dots ,3\), are rather large. In the right panel of Fig. 3, comparing \(E_{j,n,0}^{(q)}\) with errors \(\tilde{E}_{j,n,\alpha }^{(q)}\), \(q=1,\dots ,3\), we see the errors are significantly reduced if we calculate \(\tilde{\lambda }_\gamma (T_n(\mathbf { f}))\), \(\gamma =1,\dots ,3n\), shown in the left panel of Fig. 3, using Algorithm 1, with \(\alpha =4\), \(n_1=100\), and \(n=10000\). Furthermore, a careful study of the left panel of Fig. 3 (coloured) also reveals that, for \(q=1,\dots ,s\), \(\tilde{E}_{j,n,\alpha }^{(q)}\) have local minima, attained when \(\theta _{j,n}\) is approximately equal to some of the coarse grid points \(\theta _{j_1,n_1},\ j_1=1,\ldots ,n_1\). This is no surprise, because for \(\theta _{j,n}=\theta _{j_1,n_1}\) we have \(\tilde{c}_{k,j}^{(q)}(\theta _{j,n})=\tilde{c}_k^{(q)}(\theta _{j_1,n_1})\) and \(c_k^{(q)}(\theta _{j,n})=c_k^{(q)}(\theta _{j_1,n_1})\), which means that the error of the approximation \(\tilde{c}_{k,j}^{(q)}(\theta _{j,n})\approx c_k^{(q)}(\theta _{j,n})\) reduces to the error of the approximation \(\tilde{c}_k^{(q)}(\theta _{j_1,n_1})\approx c_k^{(q)}(\theta _{j_1,n_1})\). The latter implies that we are not introducing further errors due to the interpolation process.
Example 2
In the present example we choose block size \(s=3\), with eigenvalue functions \(\lambda ^{(1)}({\mathbf {f}})\) and \(\lambda ^{(3)}({\mathbf {f}})\) being strictly monotone on \([0,\pi ]\). The second eigenvalue function, \(\lambda ^{(2)}({\mathbf {f}})\), is nonmonotone on a small subinterval of \([0,\pi ]\). Furthermore the range of \(\lambda ^{(2)}({\mathbf {f}})\) intersects that of \(\lambda ^{(3)}({\mathbf {f}})\), that is
When comparing with Example 1, the only difference in forming the matrix \(T_n({\mathbf {f}})\) consists in the first Fourier coefficient which is defined as
In this example we want to show that it is possible to give an approximation of the eigenvalues \(\lambda _\gamma (T_n({\mathbf {f}}))\), \(n=10000\), satisfying the local condition.
From the top left panel of Fig. 4, where the graphs of the three eigenvalue functions are displayed, we notice that

\(\lambda ^{(1)}(\mathbf {f})\) is monotone nondecreasing and its range does not intersect that of \(\lambda ^{(q)}(\mathbf {f})\), \(q=2,3\). Hence, using the asymptotic expansion in (1.5), we expect that it is possible to give an approximation of the first n eigenvalues \(\lambda _\gamma (T_n(\mathbf {f}))\), for \(j=1,\dots , n\);

\(\lambda ^{(3)}(\mathbf {f})\) is monotone nonincreasing and there exist \(\hat{\theta }_1\), \(\hat{\theta }_2 \in [0,\pi ]\) such that, \(\forall \) \(\theta \in [0,\hat{\theta }_1)\cup (\hat{\theta }_2,\pi ]\),
$$\begin{aligned} (\lambda ^{(3)}(\mathbf {f}))(\theta )\not \in \mathrm{Range}(\lambda ^{(2)}(\mathbf {f})). \end{aligned}$$Hence, of the remaining 2n eigenvalues, we expect that it is possible to give a fast approximation just of those eigenvalues \(\lambda _\gamma (T_n(\mathbf {f}))\) verifying local condition, that is those satisfying the relation below
$$\begin{aligned} \lambda _\gamma (T_n(\mathbf {f}))\in {\Biggl [}(\lambda ^{(3)}(\mathbf {f}))(\pi ),(\lambda ^{(3)}(\mathbf {f}))(\hat{\theta }_2){\Biggl )}\quad \bigcup \quad {\Biggl (}(\lambda ^{(3)}(\mathbf {f}))(\hat{\theta }_1),(\lambda ^{(3)}(\mathbf {f}))(0){\Biggl ]}. \end{aligned}$$(3.1)
We fix \(\alpha =4\), \(n_1=100\) and we proceed to calculate the approximation of \(c^{(q)}_k(\theta _{j_1,n_1}), k=1,\ldots ,\alpha \), as in the previous example. As expected, the graph of \(\tilde{c}^{(1)}_k(\theta _{j_1,n_1}),\, k=1,\ldots ,4\), shown in the top right panel of Fig. 4, reveals that we can compute \(\tilde{\lambda }_\gamma (T_n(\mathbf { f}))\), for \(q=1\) and \(j=1,\dots ,n\), using (1.5). In other words the first n eigenvalues of \(T_n(\mathbf { f})\) can be computed using our matrixless procedure.
For \(q=2\) no extrapolation procedure can be applied with \(\tilde{c}^{(2)}_k(\theta _{j_1,n_1}), \hbox { for } k=1,\ldots ,4\), as we can see from the oscillating and irregular graph in the bottom left panel of Fig. 4. Concerning Fig. 5 the chaotic behavior of \(\tilde{c}^{(2)}_k(\theta _{j_1,n_1}), \, k=1,\ldots ,4\) corresponds to the rather large and oscillating errors \(E_{j,n,0}^{(2)}\) and \(\tilde{E}_{j,n,\alpha }^{(2)}\). On the other hand for \(q=3\) we can use the extrapolation procedure and the underlying asymptotic expansion with \(\tilde{c}^{(3)}_k(\theta _{j_1,n_1}), k=1,\ldots ,4\) for \(\theta _{j_1,n_1}\in [0,\hat{\theta }_1)\cup (\hat{\theta }_2,\pi ],\,\) \(j_1=1,\dots ,n_1\).
As a consequence we compute the approximation of the first n eigenvalues \(\lambda _\gamma (T_n(\mathbf { f}))\), for \(\gamma =1,\dots ,n\) and that of other \(\hat{n}_1+\hat{n}_2\), that verify (3.1). For simplicity, in the right panel of Fig. 5, we visualize them by using the nondecreasing order instead of the computational one.
The good approximation of the \(\hat{n}_1+\hat{n}_2\) eigenvalues belonging to
is confirmed by the error \(\tilde{E}_{j,n,\alpha }^{(3)}\) in the left panel of Fig. 5. In fact the error is quite high for \(\gamma =2n+\hat{n}_1+1,\dots ,3n\hat{n}_2\), but it becomes sufficiently small for \(\gamma =2n+1,\dots , 2n+\hat{n}_1\) and \(\gamma =3n\hat{n}_2+1,\dots ,3n \).
Example 3
In this example we set the block size \(s=3\), and the eigenvalue functions \( \lambda ^{(q)}(\mathbf {f}), q=1,2,3\), satisfy
See the top left panel of Fig. 6 for the plot of \( \lambda ^{(q)}(\mathbf {f}), \,q=1,2,3\).
The matrix \(T_n(f)\in \mathbb {R}^{N\times N}\), \(N=3n\), shows a pentadiagonal block structure, and all the blocks belongs to \(\mathbb {R}^{3\times 3}\), that is
In analogy with Example 2, we want to give an approximation of \(\lambda _\gamma (T_n({\mathbf {f}}))\), for \( n=10000 \), in case that the global condition is not satisfied.
Although the intersection of the ranges of \(\lambda ^{(j)}(\mathbf { f})\) and \(\lambda ^{(k)}(\mathbf { f})\) is empty for every pair (j, k), \(j\ne k\), \(j,k\in \{1,2,3\}\), the assumption of monotonicity is violated either globally on \([0,\pi ]\) or on a subinterval in \([0,\pi ]\).
In detail:

\(\lambda ^{(1)}({\mathbf {f}})\), is fully nonmonotone on \([0,\pi ]\), hence we expect that no fast approximation can be given on first n eigenvalues, \(\lambda _\gamma (T_n(\mathbf {f}))\), for \(\gamma =1,\dots , n\);

\(\lambda ^{(3)}(\mathbf {f})\) is monotone nondecreasing and its range does not intersect that of \(\lambda ^{(q)}(\mathbf {f})\), \(q=1,2\). Hence we can provide an approximation, of the last n eigenvalues \(\lambda _\gamma (T_n(\mathbf {f}))\) for \(\gamma =2n+1,\dots , 3n\), (analogously with what we did for treating the first n eigenvalues in Example 2);

\(\lambda ^{(2)}({\mathbf {f}})\) is nonmonotone on a subinterval \([0,\hat{\theta }_1]\) in \([0,\pi ]\) and monotone nondecreasing on the remaining subinterval, \((\hat{\theta }_1,\pi ]\). Hence we are able to efficiently compute also the eigenvalues that verify the following relation
$$\begin{aligned} \lambda _\gamma (T_n(\mathbf {f}))\in {\Biggl (}(\lambda ^{(2)}(\mathbf {f}))(\hat{\theta }_1),(\lambda ^{(2)}(\mathbf {f}))(\pi ){\Biggr ]}. \end{aligned}$$(3.2)
We set for computation \(\alpha =4\) and \(n_1=100\) and we proceed, as in the previous examples, to calculate first the approximation of \(c^{(q)}_k(\theta _{j_1,n_1}), k=1,\ldots ,\alpha \) .
In the top right image of Fig. 6 we display the resulting chaotic graph of \(\tilde{c}^{(1)}_k(\theta _{j_1,n_1}), k=1,\ldots ,4\). The graph confirms that, for \(q=1\), the interpolation–extrapolation algorithm cannot be used and, consequently, the first n eigenvalues, \(\lambda _\gamma (T_n(\mathbf {f}))\), \(q=1\), \(j=1,\dots ,n\), cannot be efficiently computed using (1.5): the latter is confirmed by the errors \(\tilde{E}_{j,n,\alpha }^{(1)}\) and \(E_{j,n,0}^{(1)}\), in Fig. 5.
The chaotic behaviour is also present in the values \(\tilde{c}^{(2)}_k(\theta _{j_1,n_1}), k=1,\ldots ,4\), see the bottom left panel of Fig. 6, in the subinterval \([0,\hat{\theta }_1]\) of \([0,\pi ]\), that coincides with same subinterval where \(\lambda ^{(2)}({\mathbf {f}})\) is nonmonotone.
Hence, if we restrict to \([0,\hat{\theta }_1]\), the extrapolation procedure can be used again on \(\tilde{c}^{(2)}_k(\theta _{j_1,n_1}), k=1,\ldots ,4\), for \(\theta _{j_1,n_1}\in (\hat{\theta }_1,\pi ],\,\) \(j_1=1,\dots ,n_1\). Consequently we obtain a good approximation of \(\lambda _\gamma (T_n(\mathbf {f}))\), for \(q=2\), \(j=\hat{j},\dots ,n\). Notice that \(\hat{j}\) is the first index in \(\{1,\dots ,n\}\) such that \({\hat{j}\pi }/({n+1})\in (\hat{\theta }_1,\pi ]\), that is we can compute the eigenvalues belonging to the interval reported in (3.2). This is reflected, in Fig. 7, in the gradual reduction of the errors \(\tilde{E}_{j,n,\alpha }^{(2)}\) and \(E_{j,n,0}^{(2)}\), for indices larger than \(\hat{n}_1=n+\hat{j}\).
Finally, the remaining n eigenvalues can be well reconstructed with a standard matrixless procedure, using the values of \(\tilde{c}^{(3)}_k(\theta _{j_1,n_1}), k=1,\ldots ,4\), shown in the top right panel of Fig. 6. The errors related to latter approximation, \(\tilde{E}_{j,n,\alpha }^{(3)}\), are shown in Fig. 7.
In total, \(3n\hat{j}+1\) eigenvalues of \(T_n(\mathbf {f})\) can be computed and plotted (in nondecreasing order) in Fig. 7.
Example 4
In this further example we consider three trigonometric polynomials,
with the aim of approximating the eigenvalues of a block banded Toeplitz matrix, with matrixvalued generating function \({\mathbf {f}}(\theta )\), such that \(\lambda ^{(q)}({\mathbf {f}})=p^{(q)}\) for \(q=1,2,3\). We choose \(s=3\) but obviously the following procedure holds for any \(s\in \mathbb {Z}_+\) and for any chosen s trigonometric polynomials, \(p^{(1)}(\theta ),p^{(2)}(\theta ),\ldots ,p^{(s)}(\theta )\), such that
for \(q=1,\dots ,s1\). We can define
where \(Q_3\) is any orthogonal matrix in \(\mathbb {R}^{3\times 3}\). For the current example we choose
Now we define the Fourier coefficients of \(\mathbf {f}(\theta )\), that is
where \(\hat{p}_k^{(q)}\) is the kth Fourier coefficient of the eigenvalue function \(p^{(q)}(\theta )\), and \(k=m,\ldots ,m\), where \(m=\max _{q=1,\dots , s}\mathrm{deg}(p^{(q)}(\theta )\). In our example \(m=2\), for \(p^{(2)}(\theta )\) and \(p^{(3)}(\theta )\) and \(m=1\) for \(p^{(1)}(\theta )\). Each \(p^{(q)}(\theta )\) is a real cosine trigonometric polynomial (RCTP), so \({\mathbf {f}}(\theta )\) is a symmetric matrixvalued function with Fourier coefficients
where \(\hat{\mathbf {f}}_{k}=\hat{\mathbf {f}}_{k}^T=\hat{\mathbf {f}}_{k}\), \(k=0,1,2\).
The resulting block banded Toeplitz matrix is the following matrix
with symbol
We want to approximate the eigenvalues of \(T_n({\mathbf {f}})\), where \(\mathbf {f}(\theta )\) is constructed from \(p^{(q)}(\theta )\), \(q=1,2,3\). For the graph of the chosen polynomials see the top left panel of Fig. 8.
Due to the special structure of all \(\hat{\mathbf {f}}_{k}\), see (3.3), we have
Therefore \(T_n({\mathbf {f}})\) is similar to the matrix
and finally it is trivial to see that the block case, in this setting, is reduced to 3 different scalar problems, which can be treated separately.
Differently from previous examples, here the analytical expressions of the eigenvalue functions of \(\mathbf {f}(\theta )\) are known, since they coincide, by construction, with \(p^{(q)}(\theta )\), for \(q=1,2,3\). So we will describe the spectrum of \(T_n( {\mathbf {f}})\), approximating or calculating exactly the 3n eigenvalues, treating separately the 3 different scalar problems.
For the first n eigenvalues it is known that they can be calculated exactly, sampling \(p^{(1)}\) with grid \(\theta _{j,n}={j\pi }/({n+1}),\, j=1, \dots , n \). Analogously, the n eigenvalues can be found exactly by sampling \(p^{(2)}\) on a special grid defined in [16]. For the last n eigenvalues, the grid that gives exact eigenvalues is not known, but \(p^{(3)}\) is monotone nondecreasing and consequently we can use asymptotic expansion in the scalar case.
We set the parameters as previous cases: \(n_1=100\) and \(n=10000\).
In the top right panel of Fig. 8 we report the expansion errors \(E^{(q)}_{j_1,n_1,0}\), calculated using grid \(\theta _{j_1,n_1}={j_1\pi }/({n_1+1})\), \(j_1=1,\dots ,n_1\), \( q=1,2,3\). There is no surprise that in the first region of the graph (green area) the error is zero, since the first \(n_1\) eigenvalues are exactly given, sampling \(p^{(1)}\) on standard \(\theta _{j_1,n_1}\) grid.
In yellow area we see the result of direct calculation of
for \(j_1=1,\dots ,n_1\), \(q=3\), as we are using asymptotic expansion with \(\alpha =0\).
The green area, containing the errors related to \(p^{(2)}(\theta )\), is obviously chaotic since \(p^{(2)}(\theta )\) is nonmonotone.
Following the notation and the analysis in [16], since \(p^{(2)}=72\cos (2\theta )\) and \(n_1=100\), we have two changes of monotonicity which we collect in the parameter \(\omega \). As a consequence, in accordance with the study in [16], we choose
To map the two grids above to match the given symbol \(\mathbf {f}(\theta )\) we construct \(\theta _{n_1}\) by
A more general formula to match grids \(\theta _{n_\omega }^{(1)}\) and \(\theta _{n_\omega +1}^{(2)}\) to be evaluated on the standard symbol is
In the left bottom panel of Fig. 8 we report the global expansion errors \(E^{(q)}_{j_1,n_1,0}\), calculated using grid described above. In this way the region where the error is 0 is the second (red area), since the eigenvalues are calculated exactly, by sampling \(p^{(2)}(\theta )\). Furthermore, in the green and in the yellow areas we see the result of the direct calculation of
for \(j_1=1,\dots ,n_1\), \(q=1,3\), as we are using asymptotic expansion with \(\alpha =0\).
Hence, the first n eigenvalues of \(T_n( {\mathbf {f}})\) can be calculated exactly sampling \(p^{(1)}\) with grid \(\theta _{j,n}={j\pi }/({n+1}),\, j=1, \dots , n \) and n exact eigenvalues can be found sampling \(p^{(2)}\) on grid (3.4). For the computation of the last n eigenvalues, we use the matrixless procedure in the scalar setting, passing through the approximation of \(c^{(3)}_k(\theta _{j_1,n_1}), k=1,\ldots ,\alpha \), for \(\alpha =4\), see the bottom right panel of Fig. 8.
In fact, for \(\alpha =4\) we ignore the first two evaluations of \(c_4^{(3)} \) at the initial points \(\theta _{1,n} \) and \(\theta _{2,n}\), because their values behave in a erratic way. This problem has been emphasized in [2] and it is due to the fact that the first and second derivative of \(p^{(3)}(\theta )\) at \(\theta =0\) vanish simultaneously. However, we have to make two observations for clarifying the situation

The present pathology is not a counterexample to the asymptotic expansion (1.5) since we take \(\theta \) fixed and all the pairs j, n such that \(\theta _{j,n}=\theta \): in the current case and in that considered in [2] in the scalarvalued setting, we have j fixed and n grows so that the point \(\theta \) is not well defined.

There are simple ways for overcoming the problem and then for computing reliable evaluations of \(c_4^{(3)} \) at those bad points \(\theta _{1,n} \) and \(\theta _{2,n}\). One of them is described in [12] and consists in choosing a sufficiently large \(\alpha >4\) and in computing \(c_k^{(3)} \), for \(k=1,2,3,4\). Using this trick, the \(c_4^{(3)} \) at the initial points \(\theta _{1,n} \) and \(\theta _{2,n}\) have the expected behavior. In addition we stress the fact that this behavior has little impact on the numerically computed solution. Assuming double precision computations, the contribution to the error deriving from \(c_4^{(3)}(\theta _{j,n})h^4\) will be numerically negligible, even for moderate n. Further discussions on the topic are presented in [12].
Example 5
Consider the \(\mathbb {Q}_p\) Lagrangian Finite Element approximation, of the second order elliptic differential problem
in one dimension with \(\beta =\gamma =0\), and \(f\in L^2(\varOmega )\). The resulting stiffness matrix is \(A_n^{(p)}=nK_n^{(p)}\), where \(K_n^{(p)}\) is a \((pn1)\times (pn1)\) block matrix. The construction of the matrix and the symbol is given in [18]. The \(p\times p\) matrixvalued symbol of \(K_n^{(p)}\) is
We have
where the subscript − denotes that the last row and column of \(T_n({\mathbf {f}})\) are removed. This is due to the homogeneous boundary conditions. For detailed expressions of \(\hat{\mathbf {f}}_0\) and \(\hat{\mathbf {f}}_1 \) in the particular case \(p=2,3,4\), see “Appendix B”.
In Table 1, we list seven examples of uniform grids, with varying n. The general notation for a grid, where the type is defined by context, is \(\theta _{j,n}\), where n is the number of grid points, and j is the indices \(j=1,\ldots ,n\). The grid fineness parameter h, for the respective grids, is also presented in Table 1. The names of the different grids are chosen in view of their relations with the \(\tau \)algebras [7] [see specifically equations (19), (22), and (23) therein].
In Example 1 of [18] the case \(p=2\) is considered, and explicit formulas for the two eigenvalue functions are given, with their notation,
Here we present the two grids used to sample the two eigenvalue functions in order to attain exact eigenvalues,
With the notation in Table 1, we use the grid \(\tau _{n1}\) for the first eigenvalue function, and grid \(\tau _{n1}^\pi \) for the second. Since for \(p>2\) the analytical expression of the the eigenvalue functions can not be computed easily, the following four steps algorithm can be used to obtain the exact eigenvalues for any p.
The mass matrix, of the system (3.5) (that is, \(\gamma =1\)), is \(B_n^{(p)}=n^{1}M_n^{(p)}\), where \(M_n^{(p)}=T_n(\mathbf {g})_\) is the scaled mass matrix.
The \(p\times p\) matrixvalued symbol of \(M_n^{(p)}\) is given by
For detailed expressions of \(\hat{\mathbf {g}}_0\) and \(\hat{\mathbf {g}}_1 \) in the particular case \(p=2,3,4\), see Appendix B. The algorithm for writing the exact eigenvalues of \(M_n^{(p)}\) for p even is the same as the one described for \(K_n^{(p)}\) above, just replacing \(\mathbf {f}(\theta )\) with \(\mathbf {g}(\theta )\). However, for \(p>1\) odd, we have a slight modification:
If \((p+1)/2\) is odd, that is \(p=5,9,13,\ldots \), define \(\hat{p}=p\). If \((p+1)/2\) is even, that is \(p=3,7,11,\ldots \), define \(\hat{p}=p2\). In summary, to obtaining the exact eigenvalues of \(M_n^{(p)}\), the algorithm becomes:
In Fig. 9 we present the appropriate grids, defined in Table 1, for the exact eigenvalues of \(K_n^{(p)}\) and \(M_n^{(p)}\) with \(n=6\) and \(p=5\).
4 Conclusions and future work
In this paper we considered the case of \(\mathbf {f}\) being a \(s\times s\) matrixvalued trigonometric polynomial, \(s\ge 1\), and \(\{T_n(\mathbf {f})\}_n\) a sequence of block Toeplitz matrix generated by \(\mathbf {f}\), with \(T_n(\mathbf {f})\) of size \(N(n,s)=sn\). We numerically observed conditions insuring the existence of an asymptotic expansion generalizing the assumptions known for the scalarvalued setting. Furthermore, following a proposal in the scalarvalued case by the first author, by Garoni, and by the third author, we devised an extrapolation algorithm for computing the eigenvalues in the present setting regarding banded symmetric block Toeplitz matrices, with a high level of accuracy and with a low computational cost. The resulting algorithm is an eigensolver that does not need to store the original matrix and does not need to perform matrixvector products: for this reason we call it matrixless
We have used the asymptotic expansion for the efficient computation of the spectrum of special block Toeplitz structures and we have shown exact formulae for the eigenvalues of the matrices coming from the \(\mathbb {Q}_p\) Lagrangian Finite Element approximation of a second order elliptic differential problem.
A lot of open issues remain, including a formal proof of the asymptotic expansion clearly indicated by the numerical experiments at least under the global assumption of monotonicity and pairwise separation of the eigenvalue functions.
Notes
These \(\alpha k+1\) points are uniquely determined by \(\theta _{j,n}\) except in the following two cases: (a) \(\theta _{j,n}\) coincides with a grid point \(\theta _{j_1,n_1}\) and \(\alpha k+1\) is even; (b) \(\theta _{j,n}\) coincides with the midpoint between two consecutive grid points \(\theta _{j_1,n_1},\theta _{j_1+1,n_1}\) and \(\alpha k+1\) is odd.
References
Ahmad, F., AlAidarous, E.S., Abdullah Alrehaili, D., Ekström, S.E., Furci, I., SerraCapizzano, S.: Are the eigenvalues of preconditioned banded symmetric Toeplitz matrices known in almost closed form? Numer. Algorithms 78(3), 867–893 (2018)
Barrera, M., Böttcher, A., Grudsky, S.M., Maximenko, E.A.: Eigenvalues of even very nice Toeplitz matrices can be unexpectedly erratic. Operator Theory Adv. Appl. 268, 51–77 (2018)
Bhatia, R.: Matrix Analysis. Springer, New York (1997)
Bini, D., Capovani, M.: Spectral and computational properties of band symmetric Toeplitz matrices. Linear Algebra Appl. 52–53, 99–126 (1983)
Bogoya, J.M., Böttcher, A., Grudsky, S.M., Maximenko, E.A.: Eigenvalues of Hermitian Toeplitz matrices with smooth simpleloop symbols. J. Math. Anal. Appl. 422, 1308–1334 (2015)
Bogoya, J.M., Grudsky, S.M., Maximenko, E.A.: Eigenvalues of Hermitian Toeplitz matrices generated by simpleloop symbols with relaxed smoothness. Oper. Theory Adv. Appl. 259, 179–212 (2017)
Bozzo, E., Di Fiore, C.: On the use of certain matrix algebras associated with discrete trigonometric transforms in matrix displacement decomposition SIAM. J. Matrix Anal. Appl. 16, 312–326 (1995)
Brezinski, C., Redivo, Zaglia M.: Extrapolation Methods: Theory and Practice. Elsevier Science Publishers B.V, Amsterdam (1991)
Böttcher, A., Grudsky, S.M., Maximenko, E.A.: Inside the eigenvalues of certain Hermitian Toeplitz band matrices. J. Comput. Appl. Math. 233, 2245–2264 (2010)
Di Benedetto, F., Fiorentino, G., Serra, S.: C.G. Preconditioning for Toeplitz matrices. Comput. Math. Appl. 25, 33–45 (1993)
Donatelli, M., Neytcheva, M., SerraCapizzano, S.: Canonical eigenvalue distribution of multilevel block Toeplitz sequences with nonHermitian symbols. Oper. Theory Adv. Appl. 221, 269–291 (2012)
Ekström S.E.: Matrixless Methods for Computing Eigenvalues of Large Structured Matrices. Ph.D. Thesis, Uppsala University, (2018)
Ekström, S.E., Furci, I., Garoni, C., Manni, C., SerraCapizzano, S., Speleers, H.: Are the eigenvalues of the Bspline IgA approximation of \(\varDelta {u}= \lambda u\) known in almost closed form? Numer. Linear. Algebra Appl. https://doi.org/10.1002/nla.2198. Early version by Ekström S.E., Furci I., SerraCapizzano S. with the same title in Technical report, 2017016, Department of Information Technology, Uppsala University (2017)
Ekström, S.E., Garoni, C.: A matrixless and parallel interpolation–extrapolation algorithm for computing the eigenvalues of preconditioned banded symmetric Toeplitz matrices. Numer. Algorithms. https://doi.org/10.1007/s1107501805080.
Ekström, S.E., Garoni, C., SerraCapizzano, S.: Are the eigenvalues of banded symmetric Toeplitz matrices known in almost closed form? Exp. Math. (in press). https://doi.org/10.1080/10586458.2017.1320241
Ekström, S.E., SerraCapizzano, S.: Eigenvalues and eigenvectors of banded Toeplitz matrices and the related symbols. Numer. Linear. Algebra Appl. (in press). https://doi.org/10.1002/nla.2137
Garoni, C., SerraCapizzano, S.: The Theory of Generalized Locally Toeplitz Sequences: Theory and Applications, Vol. I. Springer—Springer Monographs in Mathematics, Berlin (2017)
Garoni, C., SerraCapizzano, S., Sesana, D.: Spectral analysis and spectral symbol of \(d\)variate \(\mathbb{Q}_{\varvec {p}}\) Lagrangian FEM stiffness matrices. SIAM J. Matrix Anal. Appl. 36, 1100–1128 (2015)
SerraCapizzano, S.: Asymptotic results on the spectra of block Toeplitz preconditioned matrices. SIAM J. Matrix Anal. Appl. 20–1, 31–44 (1999)
SerraCapizzano, S.: Spectral and computational analysis of block Toeplitz matrices having nonnegative definite matrixvalued generating functions. BIT 39–1, 152–175 (1999)
Stoer, J., Bulirsch, R.: Introduction to Numerical Analysis, 3rd edn. Springer, New York (2002)
Tilli, P.: A note on the spectral distribution of Toeplitz matrices. Linear Multilinear Algebra 45, 147–159 (1998)
Tilli, P.: Some results on complex Toeplitz eigenvalues. J. Math. Anal. Appl. 239, 390–401 (1999)
Acknowledgements
The research of SvenErik Ekström is cofinanced by the Graduate School in Mathematics and Computing (FMB) and Uppsala University. Isabella Furci and Stefano SerraCapizzano belong to the INdAM Research group GNCS and the work of Isabella Furci is (partially) financed by the GNCS2018 Project “Tecniche innovative per problemi di algebra lineare”.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Lothar Reichel.
Isabella Furci and Stefano SerraCapizzano belong to the INdAM Research group GNCS and the work of Isabella Furci is (partially) financed by the GNCS2018 Project “Tecniche innovative per problemi di algebra lineare”.
Appendices
Appendix
Appendix A
Theorem 5.1
Let \(s>1\), \(N=N(n,s)=sn\) and \(\mathbf {f}\) be an Hermitian matrixvalued trigonometric polynomial (HTP) with Fourier coefficients \({\hat{\mathbf {f}}}_0,{\hat{\mathbf {f}}}_1,\ldots ,{\hat{\mathbf {f}}}_m\in \mathbb R^{s\times s}\). Suppose that \(\mathbf {f}\) is of the form
such that
Suppose that the eigenvalue functions of \(\mathbf { f}\), \(\lambda ^{(q)}(\mathbf { f}):[0,\pi ]\rightarrow \mathbb R^{s\times s}\), \(q=1,\dots , s\), are monotone on \([0,\pi ]\) and such that
\(q=1,\dots ,s1\), then, fixed \(q\in \{1,\dots ,s\}\),
\( \forall \, n\), for \( j=1,\dots ,n\), and \( \gamma =\gamma (q,j)=(q1)n+j\), where

\(\lambda _\gamma (T_n(\mathbf { f}))\), \(\gamma \in \{1,\dots ,N\}\), are the eigenvalues of \(T_n(\mathbf { f})\), such that, for a fixed \(\bar{q}\in \{1,\dots , s\}\), \(\lambda _{(\bar{q}1)n+j}(T_n(\mathbf { f}))\) are arranged in nondecreasing or nonincreasing order, depending on whether \(\lambda ^{(\bar{q})}(\mathbf { f})\) is increasing or decreasing.

\(h=\frac{1}{n+1}\) and \(\theta _{j,n}=\frac{j\pi }{n+1}=j\pi h\), \(j=1,\ldots , n\);
Proof
For the sake of simplicity, we assume that for \(q=1,\dots , s\), \(\lambda ^{(q)}(\mathbf { f})\) is monotone nondecreasing (the other cases have a similar proof).
Notice that the conditions on \(\mathbf {f}\) imply that the \(N \times N\) block Toeplitz matrix generated by \(\mathbf { f}\), \(T_n(\mathbf { f})\), is Hermitian positive definite so we can order its eigenvalues in nondecreasing order of as follows
We remark that
where, for \(\psi \) (HTP) of degree m and \(Q=\left( \sqrt{\frac{2}{n+1}} \sin \left( \frac{ij\pi }{n+1}\right) \right) _{i,j=1}^n\), \(\tau _N(\psi )\) is the following \(\tau \) matrix [4] of size N generated by \(\psi \)
where \(I_s\) is the \(s\times s\) identity matrix, and \(H_N(\psi )\) is the Hankel matrix
with \(\nu :=\nu (s,m)=\mathrm {rank}(H_N(\psi ))\le 2s(m1)\).
For \(q=1,\dots , s\), \(j=1,\dots , n\), setting \(\gamma =(q1)n+j\), we find
Note that \(T_n(\mathbf { f})\) is similar to the matrix
with \(\mathrm {rank}(\tilde{H_{\nu }})=\nu \), so \(T_n(\mathbf { f})\) and \(\tilde{T}_n(\mathbf { f})\) have the same eigenvalues.
Using the MinMax spectral characterization for Hermitian matrices [3], we obtain, for \(\gamma =(q1)n+j\in \{\nu +1,\dots ,N\nu \}\),
The eigenvalue functions \(\lambda ^{(q)}(\mathbf { f})\) are monotone nondecreasing function so we have, \(\forall \, n\) and for \(\gamma =(q1)n+j\in \{\nu +1,\dots ,N\nu \}\),
with \(\bar{\theta }\in \left( \frac{j\pi }{n+1},\frac{(j+\nu )\pi }{n+1}\right) \) and
By setting \(C=\left\ \left( \lambda ^{(q)}(\mathbf { f})\right) '\right\ _{\infty } \nu \pi \), for \(\gamma =(q1)n+j\in \{\nu +1,\dots ,N\nu \}\), we obtain
Furthermore, from [10] \(\forall \, \gamma =1, \dots , N\), we know that
where
with strict inequalities that is \(m_{\mathbf { f}}< \lambda _\gamma (T_n(\mathbf { f}) ) < M_{\mathbf { f}}\) since, by the assumptions, the extreme eigenvalue functions are not constant. Hence for \(N\nu < \gamma \le N\)
where \(\bar{\theta }\in \left( \frac{j\pi }{n+1},\frac{n\pi }{n+1}\right) \). If \(N\nu < \gamma \le N\) then \(N\nu <(s1)n+j\rightarrow nj<\nu \), so that
For \(1\le \gamma <\nu +1\)
where \(\bar{\theta }\in \left( \frac{\pi }{n+1},\frac{j\pi }{n+1}\right) \). If \(1\le \gamma <\nu +1\) then \(\left j\right >\left \nu +1\right \Rightarrow \left j1\right <\nu \), so
Hence for \(q=1,\dots ,s\), \(j=1,\dots ,n\), \(\gamma =(q1)n+j\in \{1,\dots ,N\}\),
Remark 5.1
With regard to Theorem 5.1, for \(q=1,\dots ,s\), the case where \(\lambda ^{(q)}(\mathbf { f})\) are bounded and nonmonotone is even easier. If we consider \(\hat{\lambda }^{(q)}(\mathbf { f})\), the monotone nondecreasing rearrangement of \(\lambda ^{(q)}(\mathbf { f})\) on \([0,\pi ]\), taking into account that the derivative of \(\lambda ^{(q)}(\mathbf { f})\) has at most a finite number S of sign changes, we deduce that \(\hat{\lambda }^{(q)}(\mathbf { f})\) is Lipschitz continuous and its Lipschitz constant is bounded by \(\Vert \left( \lambda ^{(q)}(\mathbf { f})\right) '\Vert _\infty \) (notice that \(\hat{\lambda }^{(q)}(\mathbf { f})\) is not necessarily continuously differentiable but the derivative of \(\hat{\lambda }^{(q)}(\mathbf { f})\) has at most S points of discontinuity). Furthermore the eigenvalues \(\lambda _\gamma ( \tau _N(\mathbf { f}))\), \(g=(q1)n\) are exactly given by
so that, by ordering these values nondecreasingly, we deduce that they coincide with \(\hat{\lambda }^{(q)}\left( \mathbf { f}\left( x_{j,n}\right) \right) \), with \(x_{j,n}\) of the form \( \frac{j\pi }{n+1}(1+o(1))\). With these premises, the proof follows exactly the same steps as in Theorem 5.1, using the MinMax characterization and the interlacing theorem for Hermitian matrices.
Appendix B
Recall that the \(p\times p\) matrixvalued symbols of \(K_n^{(p)}\) and \(M_n^{(p)}\) are
and
respectively. The detailed expressions of \(\hat{\mathbf {f}}_0\), \(\hat{\mathbf {f}}_1 \) and \(\hat{\mathbf {g}}_0\), \(\hat{\mathbf {g}}_1\) for the particular degrees \(p=2,3,4\) are given below.
For \(p=2\),
For \(p=3\),
For \(p=4\),
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Ekström, SE., Furci, I. & SerraCapizzano, S. Exact formulae and matrixless eigensolvers for block banded symmetric Toeplitz matrices. Bit Numer Math 58, 937–968 (2018). https://doi.org/10.1007/s105430180715z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s105430180715z