Abstract
Given a linear self-adjoint differential operator \(\mathscr {L}\) along with a discretization scheme (like Finite Differences, Finite Elements, Galerkin Isogeometric Analysis, etc.), in many numerical applications it is crucial to understand how good the (relative) approximation of the whole spectrum of the discretized operator \(\mathscr {L}\,^{(n)}\) is, compared to the spectrum of the continuous operator \(\mathscr {L}\). The theory of Generalized Locally Toeplitz sequences allows to compute the spectral symbol function \(\omega \) associated to the discrete matrix \(\mathscr {L}\,^{(n)}\). Inspired by a recent work by T. J. R. Hughes and coauthors, we prove that the symbol \(\omega \) can measure, asymptotically, the maximum spectral relative error \(\mathscr {E}\ge 0\). It measures how the scheme is far from a good relative approximation of the whole spectrum of \(\mathscr {L}\), and it suggests a suitable (possibly non-uniform) grid such that, if coupled to an increasing refinement of the order of accuracy of the scheme, guarantees \(\mathscr {E}=0\).
Similar content being viewed by others
1 Introduction
If \(\mathscr {L}\,^{(n)}\) is a matrix that discretizes a linear self-adjoint differential operator \(\mathscr {L}\), obtained by a discretization scheme like Finite Differences (FD), Finite Elements (FE), Isogeometric Galerkin Analysis (IgA), etc., several problems require that the spectrum of \(\mathscr {L}\,^{(n)}\) converges uniformly to the (point) spectrum of the operator \(\mathscr {L}\). More precisely, let us set the notation: for any fixed \(k,j \in {\mathbb {N}}\setminus \{0\}\), indicate with \(\lambda _{k}\) and \(\lambda _{-j}\) the k-th nonnegative and the j-th negative real eigenvalue of a given operator, respectively. Given a \(d_n\times d_n\) matrix \(\mathscr {L}\,^{(n)}\) with \(d_n\) real eigenvalues, denote with \(d^+_n\) the sum of the null and positive indices of inertia and with \(d^-_n\) the negative index of inertia, i.e.,
Clearly, \(d_n = d^-_n + d^+_n\). Finally, sort the eigenvalues in nondecreasing order, that is,
With this notation, the property of uniform spectral convergence we mentioned above translates into asking that
where n is the mesh fineness parameter, and \(\lambda _k^{(n)}\) and \(\lambda _{k}\) are the k-th eigenvalues of the discretized and the continuous operator, respectively. Typically, \(\mathscr {E}>0\): the relative error estimates for the eigenvalues and eigenfunctions are good only in the lowest modes, that is, for \(|k|=1,\ldots , K_n\), where \(K_n/d_n\rightarrow \sigma \) as \(n\rightarrow \infty \) and such that \(\sigma \ll 1\). In general, a large portion of the eigenvalues, the so-called higher modes, are not approximations of their continuous counterparts in any meaningful sense. This may negatively affect the solutions obtained by discrete approximations of elliptic boundary-value problems, or parabolic and hyperbolic initial value problems. In these cases, all modes may contribute in the solution to some extent and inaccuracies in the approximation of higher modes can not always be ignored. Regarding this, see for example the spectral-gap problem of the one dimensional wave equation for the uniform observability of the control waves [8, 20, 28, 35] or structural engineering problems [27, Sects. 3–6].
In this setting, the theory of Generalized Locally Toeplitz (GLT) sequences provides the necessary tools to understand whether the methods used to discretize the operator \(\mathscr {L}\) are effective in approximating the whole spectrum. The GLT theory originated from the seminal work of P. Tilli on Locally Toeplitz sequences [48] and was later developed by S. Serra-Capizzano in [41, 42]. It was devised to compute and analyze the spectral distribution of matrices arising from the numerical discretization of integral equations and differential equations. Let \(\hat{\mathscr {L}}\,^{(n)}\) be the discrete operator normalized by an appropriate power of \(d_n\), which depends on the dimension of the underlying space and on the maximum order of derivatives involved. It usually happens that the sequence of matrices \(\left\{ \hat{\mathscr {L}\,}^{(n)} \right\} _{n}\) enjoys an asymptotic spectral distribution as \(n\rightarrow \infty \), i.e., as the mesh goes to zero. More precisely, for any test function \(F(t) \in C_c({\mathbb {C}})\) it holds that
where \(\lambda _k\left( \hat{\mathscr {L}\,}^{(n)}\right) , k=-d^-_n,\ldots ,-1,1,\ldots ,d^+_n\) are the eigenvalues of the normalized operator \(\hat{\mathscr {L}\,}^{(n)}\) and \(\omega : D\subset {\mathbb {R}}^d \rightarrow {\mathbb {C}}\) is referred to as the spectral symbol of the sequence \(\left\{ \hat{\mathscr {L}\,}^{(n)} \right\} _{n}\), see [49, Eq. (3.2)] in relation to Toeplitz matrices. The GLT theory allows to compute the spectral symbol \(\omega \) related to \(\mathscr {L}\,^{(n)}\), especially if the numerical method employed to produce \(\mathscr {L}\,^{(n)}\) belongs to the family of the so-called local methods, such as FD methods, FE methods and collocation methods with locally supported basis functions.
In several recent papers the sampling of the spectral symbol was suggested to be used to approximate the spectrum of the discrete matrix operators \(\hat{\mathscr {L}\,}^{(n)}\) and \(\mathscr {L}\,^{(n)}\). Unfortunately, this approach is not always successful in general, as we will show with an example. The main reference is the paper by T. J. R. Hughes and coauthors [24], which reviews the state-of-the-art of the symbol-based analysis for the eigenvalues distribution carried on in the framework of the isogeometric Galerkin approximation (IgA). Inspired by the latter work [24], we show that the symbol \(\omega \) can measure the maximum spectral relative error \(\mathscr {E}\) defined in (1.1) and it suggests a suitable (non-uniform) grid such that, if coupled to an increasing refinement of the order of accuracy of the scheme, guarantees \(\mathscr {E}=0\).
The paper is organized as follows.
-
In Sect. 2, the spectral symbol \(\omega \) and the monotone rearrangement \(\omega ^*\) are introduced.
-
In Sect. 3 we present an asymptotic result, Theorem 3.1, which connects the eigenvalue distribution of a matrix sequence and the monotone rearrangement of its spectral symbol. It is the main tool for the results in Sect. 4. In particular, under suitable regularity assumptions on \(\omega \), thanks to Theorem 3.2 and Theorem 3.3 we prove that
$$\begin{aligned} \mathscr {E}=\sup _{\begin{array}{c} x\in (0,1)\\ x:\zeta ^{*}(x)\ne 0 \end{array}}\left| \frac{\omega ^{*}(x)}{\zeta ^{*}(x)} -1\right| , \end{aligned}$$(1.2)where \(\zeta \) is the (normalized) Weyl distribution function of the eigenvalues of \(\mathscr {L}\,\) and \(\omega \) is the spectral symbol associated to the numerical scheme applied to discretize \(\mathscr {L}\,\).
-
Section 4 is devoted entirely to numerical experiments and applications. The validity of (1.2) is shown in Table 2 and Fig. 2. Moreover, in Sect. 4.1.1 we provide an example about the unfeasibility to obtain an accurate approximation of the eigenvalues of a differential operator by just uniformly sampling the spectral symbol \(\omega \). In Sects. 4.1.2 and 4.1.3 we generalize the aforementioned results to the case of central FD and IgA methods of higher order. By means of a suitable non-uniform grid, suggested by the spectral symbol and combined by an increasing order of the approximation, we obtain (1.1), namely \(\mathscr {E}=0\). Finally, in Sect. 4.2, we describe a simple application to the general d-dimensional Laplacian.
-
Section 5 is devoted to draw conclusions and set the lines for future research.
Due to the technicalities that involve the results presented in Sects. 3 and 4, all the proofs are moved to the appendix to improving the fluency of the reading. The appendix is therefore organized as follows.
-
Section A collects the proofs of the results presented in Sect. 3.
-
Section B provides rigorous proofs for some numerical evidences observed in Sect. 4.
-
In Sect. C is provided the FD numerical scheme used in Sect. 4.1.1 and Sect. 4.1.2.
-
In Sect. D are listed some known results about the IgA numerical scheme used in Sect. 4.1.3.
2 Spectral symbol and monotone rearrangement
In this section we provide the definitions of spectral symbol of a sequence of matrices and its monotone rearrangement, which are the main tools we will use throughout this paper to study the asymptotic spectral distribution of sequences of discretization matrices. We will use the notation \(X^{(n)},Y^{(n)}\) to denote general \(d_n\times d_n\) square matrices, while \(T^{(n)}\) will be used for Toeplitz matrices, i.e., matrices with constant elements along their diagonals: \(\left( T^{(n)}\right) _{i,j}= t_{i-j}\) for all \(i,j=1,\ldots ,d_n\), and with
If \(t_k\) is the k-th Fourier coefficient of a complex integrable function f defined over the interval \([-\pi , \pi ]\), then \(T^{(n)}= T^{(n)}(f)\) is referred to be the Toeplitz matrix generated by f.
With the symbol \(\left\{ X^{(n)}\right\} _n\) we will denote a sequence of square matrices with increasing dimensions \(d_n\times d_n\), i.e., such that \(d_n \rightarrow \infty \) as \(n \rightarrow \infty \). When we will confront the spectrum of two sequences of matrices, we will assume that they have the same dimension. The eigenvalues will be sorted in nondecreasing order, that is,
where \(d_n^-\) is the negative index of inertia and \(d_n^+\) is the sum of the null and positive indices of inertia. Clearly, \(d_n= d_n^- + d_n^+\). If the eigenvalues do not depend on the parameter n, then we will omit the superscript (n).
We will consider all the Euclidean spaces equipped with the usual Lebesgue measure \(m(\cdot )\). We will not specify the dimension of \(m(\cdot )\) by a subscript since it will be clear from the context.
2.1 Spectral symbol
The following definition of spectral symbol has been slightly modified in accordance to our notation and purposes.
Definition 2.1
(Spectral symbol) Let \(\left\{ X^{(n)}\right\} _n\) be a sequence of matrices and let \(\omega :D\subseteq {\mathbb {R}}^d\rightarrow {\mathbb {K}}\) (\({\mathbb {K}}={\mathbb {R}}\) or \({\mathbb {C}}\)) be a measurable function and D a measurable set with \(0<m(D)<\infty \), such that the Lebesgue integral
exists, finite or infinite. We say that \(\{X^{(n)}\}_n\) is distributed like \(\omega \) in the sense of the eigenvalues, in symbols \(\{X^{(n)}\}_n \sim _\lambda \omega \), if
We will call \(\omega \) the (spectral) symbol of \(\{X^{(n)}\}_n\).
Relation (2.1) is satisfied for example by Hermitian Toeplitz matrices generated by real-valued functions \(\omega \in \text {L}^1([-\pi ,\pi ])\), i.e., \(\left\{ T^{(n)}(\omega ) \right\} _n\sim _\lambda \omega \), see [26, 49, 50]. For a general overview on Toeplitz operators and spectral symbol, see [10, 11]. What is interesting to highlight is that matrices with a Toeplitz-like structure naturally arise when discretizing over a uniform grid problems which have a translation invariance property, such as linear differential operators with constant coefficients.
Remark 1
If D is compact, \(\omega \) continuous, and \(\lambda _k \in R_\omega = \left[ \min \omega , \max \omega \right] \) for every \(k\in {\mathbb {N}}\), then taking \(F(t)=t\chi _{R_\omega }(t)\), with \(\chi _{R_\omega }\) a \(C^\infty \) cut-off such that \(\chi _{R_\omega }(t)\equiv 1\) on \(R_\omega \), gives
Because the Riemannian sum over equispaced points converges to the integral of the right hand side of the above formula, (2.2) could suggest that the eigenvalues \(\lambda _k\left( X^{(n)}\right) \) can be approximated by a pointwise evaluation of the symbol \(\omega ({{\varvec{y}}})\) over an equispaced grid of D, for \(n\rightarrow \infty \), except for at most an \(o(d_n)\) of outliers, see Definition 2.3. This is mostly the content of [22, Remark 3.2] and [24, Sect. 2.2].
We remark that in the special case of Toeplitz matrices generated by regular enough functions \(\omega \),
see [51] and [9]. In some sense, this justifies the informal meaning given above to the spectral symbol.
That said, unfortunately the discretization of a linear differential operator does not always own a Toeplitz-like structure. Nevertheless, the GLT theory provides tools to prove the validity of (2.1) for more general matrix sequences. For a review of the GLT theory and its applications we mainly refer to [22, 23], and to [5, 6]. We conclude this subsection with two definitions.
Definition 2.2
(Essential range) Let \(\omega \) be a real valued measurable function and define the set \(R_\omega \subset {\mathbb {R}}\) as
We call \(R_\omega \) the essential range of \(\omega \). Notice that \(R_\omega \) is closed.
Definition 2.3
(Outliers) Given a matrix sequence \(\{X^{(n)}\}\) such that \(\left\{ X^{(n)}\right\} _{n} \sim _{\lambda } \omega \), if \(\lambda _k\left( X^{(n)}\right) \notin R_\omega \) we call it an outlier.
2.2 Monotone rearrangement
Dealing with a univariate and monotone spectral symbol \(\omega ({{\varvec{y}}}) = \omega (\theta )\) has several advantages. Unfortunately, in general \(\omega \) is multivariate or not monotone. Nevertheless, it is possible to consider a rearrangement \(\omega ^*: (0,1) \rightarrow (\inf R_\omega , \sup R_\omega )\) such that \(\omega ^*\) is univariate, monotone nondecreasing and still satisfies the limit relation (2.1). This can be achieved in the following way.
Definition 2.4
Let \(\omega : D \subset {\mathbb {R}}^d \rightarrow {\mathbb {R}}\) be measurable. Define
where
and where, in case of bounded \(R_\omega \), we consider the extension \(\omega ^*: [0,1] \rightarrow R_\omega \).
In analysis, \(\omega ^*\) is called monotone rearrangement (see [44, pg. 189]) while in probability theory it is called (generalized) inverse distribution function (see [47, pg. 260]). For “historical” reasons we will use the analysts’ name; see [18, Definition 3.1 and Theorem 3.3] and [39], where the monotone rearrangement was first introduced in the context of spectral symbol functions. Clearly, \(\omega ^*\) is a.e. unique, univariate, and monotone increasing, which make it a good choice for an equispaced sampling. On the other hand, \(\omega ^*\) could not have an analytical expression or it could be not feasible to compute, therefore it is often needed an approximation \(\omega ^*_r\). In Algorithm 1 we summarize the steps presented in [22, Example 10.2] and [24, Sect. 3] in order to approximate the eigenvalues \(\lambda _k\left( X^{(n)}\right) \) by means of an equispaced sampling of the rearranged symbol \(\omega ^*\) (or its approximated version \(\omega ^*_r\)). For the sake of clarity and without loss of generality, we suppose \(D=[0,1]\times [-\pi ,\pi ]\) and \(\omega \) continuous. As standard result in approximations of monotone rearrangements, it holds that \(\Vert \omega ^*_{r(n)} - \omega ^* \Vert _\infty \rightarrow 0\) as \(n\rightarrow \infty \), see [13, 45]. For a detailed survey about monotone rearrangements we refer to the recent work by G. Talenti [46].
3 Asymptotic spectral distribution
In this section we present the main results about the asymptotic spectral distribution of the eigenvalues of a matrix sequence with given spectral symbol. Since the proofs are rather technical, they can be found in Sect. A to not break the flow of the reading.
Theorem 3.1 connects the monotone rearrangement of the symbol function to the asymptotic eigenvalues distribution of a matrix sequence. Theorem 3.2 provides an analytic way to measure the maximum spectral relative error between two sequences of matrices, see Definition 3.1. Finally, Theorem 3.3 exploits the previous results to give an effective measure for the maximum spectral relative error that characterizes a discretization scheme, when approximating a linear self-adjoint differential operator.
3.1 Monotone rearrangement and spectral distribution
Let \(\{X^{(n)}\}_n\) be a matrix sequence such that \(\{X^{(n)}\}_n \sim _\lambda \omega \) and define the (discrete) eigenvalues counting function \(N(X^{(n)},\cdot ) : {\mathbb {R}}\rightarrow \{0,1,\ldots ,d_n\}\),
Since the monotone rearrangement takes as argument values in [0, 1], it is helpful to define a new indexing \({\hat{k}}\) associated to \(X^{(n)}\) such that \({\hat{k}}/d_n \in [0,1]\). Let us set
We have the following asymptotic relations.
Theorem 3.1
(Discrete Weyl’s law) Let \(\{X^{(n)}\}_n\) be a matrix sequence such that \(\{X^{(n)}\}_n \sim _\lambda \omega \). Then
and
Suppose now that \(\phi _{\omega }\) is continuous or, equivalently, that
Let \({\hat{k}}={\hat{k}}(n)\) as in (3.1) be such that the sequence \(\{{\hat{k}}(n)/d_n\}_n\) converges from the left to \(x_0 \in (0,1)\), as \(n\rightarrow \infty \). Then, there exists the limit for the sequence \(\left\{ \lambda _{{\hat{k}}(n)}\left( X^{(n)}\right) \right\} _n\) and it holds that
In particular, if \(\omega ^*\) is continuous at \(x_0\),
Finally, if \(\lambda _{{\hat{k}}(n)}\left( X^{(n)}\right) \ge \inf \left( R_\omega \right) \) (\(\le \sup (R_\omega )\)) eventually, then (3.5) holds for \(x_0=0\) (\(x_0=1\)) as well.
Proof
See Sect. A. \(\square \)
In some sense, the limit relation (2.2) can be viewed as the strong law for large numbers for specially chosen sequences of dependent complex/real-valued random variables \(\left\{ \lambda _{k(n)}\left( X^{(n)}\right) \right\} _n\). See [26] for the link between the spectrum of Hermitian matrices and equally distributed sequences (in the sense of Weyl) as defined in [31, Definition 7.1], and [34] as a recent survey about equidistributions from a probabilistic point of view.
Corollary 3.1
With the same notations of Theorem 3.1and assuming \(\phi _{\omega }\) continuous, it holds that
that is, the number of possible outliers is \(o(d_n)\). Moreover,
Proof
See Sect. A. \(\square \)
Corollary 3.2
With the same notations of Theorem 3.1, assume that \(\phi _{\omega }\) is continuous and \(\omega ^*\) is absolutely continuous. Let \(\omega _n^*\) be the (pseudo) inverse function of \(\frac{N\left( X^{(n)}, \cdot \right) }{d_n}\), then \(\left\| \omega _n^* - \omega ^*\right\| _\infty \rightarrow 0\) as \(n\rightarrow \infty \). Let \(h : {\mathbb {N}}\rightarrow \infty \) be such that
Let \(g: (\inf R_\omega ,\sup R_\omega ) \rightarrow {\mathbb {R}}\) be a differentiable real function and let \(\{\hat{k}(n)\}_n\) be a sequence of integers such that
-
(i)
\(\frac{\hat{k}(n)}{d_n} \rightarrow x_0 \in [0,1]\);
-
(ii)
\(\lambda _{\hat{k}(n)+1}\left( X^{(n)}\right) > \lambda _{\hat{k}(n)}\left( X^{(n)}\right) \in (\inf R_\omega ,\sup R_\omega )\) eventually for \(n \rightarrow \infty \).
Then
almost everywhere.
Proof
See Sect. A. \(\square \)
Corollary 3.3
Let \(\phi _{\omega }\) and \(\omega ^*\) be continuous, and suppose that \(R_\omega \) is bounded. Then, in presence of no outliers (eventually), the absolute error between a uniform sampling of \(\omega ^*\) and the eigenvalues of \(X^{(n)}\) converges to zero, namely
Proof
See Sect. A. \(\square \)
3.2 Local and maximum spectral relative errors
Exploiting the results obtained in the preceding subsection, we can now prescribe a way to measure the maximum relative error between two sequences of eigenvalues. Given two sequences of matrices \(\{X^{(n)}\}_n, \{Y^{(n)}\}_n\) of the same dimension \(d_n\), we will use the notation \({\hat{k}}\) as in (3.1) to have an index with a common set, \({\hat{k}}\in \left\{ 1,\ldots , d_n \right\} \), for both the eigenvalues associated to \(X^{(n)}\) and \(Y^{(n)}\). Moreover, we define
where \(\vartheta _{(\cdot )}\) was introduced in (3.1) as well. Let us observe that, if \(\lambda _j\left( Y^{(n)}\right) \) is the j-th eigenvalue associated to \(Y^{(n)}\) and \(\lambda _i\left( X^{(n)}\right) \) is the i-th eigenvalue associated to \(X^{(n)}\), then \(\vartheta (j)=i\) if and only if \({\hat{j}}={\hat{i}}\). See Fig. 1.
Definition 3.1
(Local and maximum spectral relative errors) Given two sequences of matrices \(\{X^{(n)}\}_n, \{Y^{(n)}\}_n\) of the same dimension \(d_n\), define the sequence
where
We call \(\delta _{{\hat{k}}}^{(n)}\) the local spectral relative error, and we call
the maximum spectral relative error (MSRE). When both the matrix sequences \(\{X^{(n)}\}_n\), \(\{Y^{(n)}\}_n\) are well understood from the context, with abuse of notation we will just write \(\mathscr {E}\), and this applies in particular when we will compare the eigenvalues of a discretized operator \(\mathscr {L}\,^{(n)}\) with the eigenvalues of the continuous operator \(\mathscr {L}\,\), whose first \(d_n\) eigenvalues can be arranged as the diagonal entries of a diagonal matrix.
For brevity, let us set \(\kappa ^-:= \inf _{n}\left\{ d_n^-\left( Y^{(n)}\right) \right\} , \kappa ^+:= \sup _{n}\left\{ d_n^+\left( Y^{(n)}\right) \right\} \). Moreover, for any fixed \(x_0 \in [0,1]\) let us define
Theorem 3.2
Fix two sequences of matrices such that \(\{X^{(n)}\}_n \sim _\lambda \omega _1\) and \(\{Y^{(n)}\}_n \sim _{\lambda } \omega _2\). If
then
where
If \(\omega _2^*(x_0)=0\) and
then
Moreover, if \(\omega ^*_1, \omega ^*_2\) are continuous, \(R_{\omega _1}\) and \(R_{\omega _2}\) are bounded and both the sequences do not have outliers, then equality holds in (3.7).
Proof
See Sect. A. \(\square \)
3.3 Linear self-adjoint differential operators and eigenvalue distribution
The asymptotic distribution of the eigenvalues for partial differential operators on general manifolds has been widely studied and developed, see for example [32, 38] and all the references therein. The topic is too vast to cover it properly, therefore we will concentrate our examples only on a couple of cases: Sturm-Liouville operators for the one dimensional case and elliptic self-adjoint operators for the multi-dimensional case, see Sect. 4.1. Nevertheless, the tools presented in this section can be applied to study the quality of a discretization scheme to preserve the discrete spectrum of many classes of self-adjoint operators. The approach is the following: given an operator \(\mathscr {L}\,\) and its discretized version \(\mathscr {L}\,^{(n)}\), if \(\{h(d_n)\mathscr {L}\,^{(n)}\}_n \sim _{\lambda } \omega \) for a function \(h : {\mathbb {N}}\rightarrow {\mathbb {R}}\) (which depends on the dimension of the underlying space and the higher order of derivatives involved), then study the limit of
We have the following result.
Theorem 3.3
Let \(\mathscr {L}\) be a self-adjoint linear operator and let \(\mathscr {L}\,^{(n)}\) be a \(d_n\times d_n\) matrix obtained from \(\mathscr {L}\) by a discretization scheme. Let \(d^-_n, d^+_n\) be the negative and nonnegative indices of inertia of \(\mathscr {L}\,^{(n)}\). Define
Suppose that:
-
(i)
\(\left| \frac{\lambda _{\vartheta (k)}\left( \mathscr {L}^{(n)}\right) }{\lambda _{k}\left( \mathscr {L}\right) } -1\right| \rightarrow 0\) as \(n \rightarrow \infty \) for every \(k=k(n)\) such that \(\frac{k(n)}{d_n}\rightarrow 0\), where \(\vartheta \) is defined in (3.6);
-
(ii)
\(\{h(d_n)\mathscr {L}\,^{(n)}\}_n \sim _{\lambda } \omega \) for some fixed \(h : {\mathbb {N}}\rightarrow {\mathbb {R}}\);
-
(iii)
\(m\left( \left\{ {{\varvec{y}}}\, : \, \omega ({{\varvec{y}}})=t \right\} \right) =0\) for every \(t \in {\mathbb {R}}\), and \(R_\omega \) bounded;
-
(iv)
\(\lim _{n \rightarrow \infty } \zeta _n(t) = \zeta (t)\), where \(\zeta _n\) is defined in (3.8) and \(\zeta : {\mathbb {R}}\rightarrow [0,1]\) is continuous and surjective.
Then
Moreover, if \(\omega ^*\),\(\zeta ^*\) are continuous and \(h(d_n)\lambda _k\left( \mathscr {L}\,^{(n)} \right) \in R_\omega \) eventually, then equality holds.
Proof
See Sect. A. \(\square \)
The (normalized) Weyl function \(\zeta \) is known for many kind of differential operators. See the next section for a couple of examples.
4 Numerical experiments
We will write \(\mathscr {L}\,^{(n,\eta )}\) to denote a \(d_n\times d_n\) square matrix which is the discretization of a linear differential operator \(\mathscr {L}\) by means of a numerical scheme of order of approximation \(\eta \). In the case where the approximation order \(\eta \) is clear by the context, then we will omit it. If the discretized operator \(\mathscr {L}\,^{(n)}\) is normalized by a constant depending on the fineness mesh parameter n, then we will denote it with \(\hat{\mathscr {L}\,}^{(n)}\). We will use the subscripts dir and BCs to denote a (discretized) linear differential operator characterized with Dirichlet or generic boundary conditions, respectively. When it will be necessary to highlight the dependency of the differential operator on a variable coefficient \(p({{\varvec{x}}})\), we will write it as subscript. So, for example, the normalized discretization of a diffusion operator with Dirichlet BCs by means of the IgA scheme of order \(\eta \) will be denoted by
All the computations are performed on MATLAB R2018b running on a desktop-pc with an Intel i5-4460H @3.20 GHz CPU and 8GB of RAM.
4.1 Application to Euler-Cauchy differential operator
We begin our analysis with respect to a toy-model example. In this subsection, the main objectives are:
-
to show numerical evidences of Theorem 3.3, i.e., that the monotone rearrangement \(\omega ^*(x)\) of the spectral symbol \(\omega ({{\varvec{y}}})\) measures the maximum spectral relative error \(\mathscr {E}\). See Sects. 4.1.1, 4.1.2 and 4.1.3;
-
to disprove that, in general, a uniform sampling of the spectral symbol \(\omega ({{\varvec{y}}})\) can provide an accurate approximation of the eigenvalues of the normalized and unnormalized discrete operators \(\hat{\mathscr {L}\,}^{(n)}\) and \(\mathscr {L}\,^{(n)}\), respectively. See Sect. 4.1.1;
-
to show that a discretization scheme can lead to \(\mathscr {E}=0\) if coupled with a suitable (possibly non-uniform) grid and an increasing order of approximation. See Sects. 4.1.2 and 4.1.3.
Let us fix \(\alpha >0\) and let us consider the following self-adjoint operator with Dirichlet BCs,
The formal equation is an Euler-Cauchy differential equation and by means of the Liouville transformation
the operator (4.1) has the same spectrum of
which is a self-adjoint operator in Schroedinger form with constant potential \(V(y)\equiv \alpha /4\). For a general review, see for example [17, 21, 52]. It is clear that
where
For later reference, notice that
namely, the diffusion coefficient \(p(x)=\alpha x^2\) produces a constant shift of \(\alpha /4\) to the eigenvalues of the unperturbed Laplacian operator with Dirichlet BCs, i.e., \(\varDelta _{\text {dir}}\).
We introduce the following definition.
Definition 4.1
(Numerical and analytic spectral relative errors) Let \(\mathscr {L}_{\text {dir},\alpha x^2}^{(n)}\) be the discrete differential operator obtained from (4.1) by means of a generic numerical discretization method. If
then fix \(n,n',r \in {\mathbb {N}}\), with \(n'\gg n\) and \(r=r(n)\ge n\) and compute the following quantities
for \(k=1,\cdots , d_n\). Specifically, \(\omega ^{*,(n)}_{\alpha ,r,k}= \omega ^*_{\alpha ,r}\left( \frac{k}{d_n+1}\right) \), where \(\omega ^*_{\alpha ,r}\) is the (approximated) monotone rearrangement of the spectral symbol \(\omega _\alpha \) obtained by the procedure described in Algorithm 1. We call \(\mathbf{err }_{\alpha ,k}^{(n)}\) the numerical spectral relative error and \(\mathbf{err }_{\alpha ,r,k}^{*,(n)}\) the analytic spectral relative error. The difference between these definitions and Definition 3.1 is that in this case we are using as a comparing sequence the eigenvalues of the same discrete operator on a finer mesh, since supposedly we do not know the exact eigenvalues of the continuous operator but we do know that \(\lambda _k\left( \mathscr {L}_{\text {dir},\alpha x^2}^{(n')}\right) \) converges to the exact eigenvalue \(\lambda _k\left( \mathscr {L}_{\text {dir},\alpha x^2}\right) \) as \(n'\rightarrow \infty \). We say that \(\omega _\alpha \) spectrally approximates the discrete differential operator \(\mathscr {L}_{\text {dir},\alpha x^2}^{(n)}\) if
4.1.1 Approximation by 3-points central FD method on uniform grid
In our example, if we apply the standard central 3-points FD scheme, see [43], then the sequence of the normalized discretization matrices \(\hat{\mathscr {L}}_{\text {dir},\alpha x^2}^{(n)}= (n+1)^{-2}\mathscr {L}_{\text {dir},\alpha x^2}^{(n)}\) of the operator (4.1) has spectral symbol
see [22, Theorem 10.5]. Working with this toy-model problem using the 3-points central FD scheme provides us a further advantage, since we can analytically compute the monotone rearrangement \(\omega _\alpha ^*\), or at least a finer approximation than \(\omega ^*_{\alpha ,r}\) which does not depend on the extra parameter r and is less computationally expensive. Indeed, from Eq. (2.4) we have that
where
After some analytical manipulation, \(\phi _{\omega _\alpha }\) can be expressed explicitly
where
Since we have an analytical expression for \(\phi _{\omega _\alpha }(t)\), it is then possible to compute a numerical approximation of its generalized inverse \(\omega _\alpha ^*\)over the uniform grid \(\left\{ \frac{k}{n+1} \right\} _{k=1}^n\), for example by means of a Newton method. This approximation of the monotone rearrangement does not depend on the extra parameter r: therefore, when we will compute the analytical spectral relative error with respect to \(\omega _\alpha ^*\) we will write \(\mathbf{err }_{\alpha ,k}^{*,(n)}\) without the subscript r.
In Fig. 2 it is possible to check that an equispaced sampling of \((n+1)^2\omega ^*_{\alpha ,r}\) asymptotically distributes exactly as the eigenvalues of the unnormalized discrete operator \(\mathscr {L}_{\text {dir},\alpha x^2}^{(n)}\). Indeed, \(\phi _{\omega _\alpha }\) is continuous and strictly monotone increasing which implies that \(\omega _\alpha ^*\) is continuous: then relation (3.5) applies. Moreover, according to Eq. (4.3), we observe that
which means that the monotone rearrangement \(\omega _\alpha ^*\) converges to the spectral symbol \(\omega \) as \(\alpha \rightarrow 0\), that is, to the spectral symbol which characterizes the differential operator \(\varDelta _{\text {dir}}\) discretized by means of a 3-points FD scheme. The eigenvalues of \((n+1)^{-2}\left( \varDelta _{\text {dir}}^{(n)}\right) \) are the exact sampling of \(\omega (\theta )=4\sin ^2\left( \theta /2\right) \) over the uniform grid \(\left\{ \frac{k\pi }{n+1} \right\} _{k=1}^n\), see [43, p. 154]. This asymptotic behaviour reflects what we already observed in (4.3).
All these remarks would suggest that \(\omega _\alpha ^*\), or equivalently \(\omega ^*_{\alpha ,r}\), spectrally approximates the normalized discrete operator \(\hat{\mathscr {L}}_{\text {dir},\alpha x^2}^{(n)}\). Unfortunately, this conjecture looks to be partially proven wrong by Fig. 3: it shows the comparison between the graphs of the numerical spectral relative error \(\mathbf{err }_{\alpha ,k}^{(n)}\) and the analytic spectral relative error \(\mathbf{err }_{\alpha ,r,k}^{*,(n)}\), for several different increasing values of the parameter r. We observe a discrepancy in the analytical prediction of the eigenvalue error \(\mathbf{err }_{\alpha ,r,k}^{*,(n)}\), for small \(k\ll n\), with respect to the numerical relative error \(\mathbf{err }_{\alpha ,k}^{(n)}\).
In particular, the maximum discrepancy is achieved at \(k=1\), for every r. The discrepancy apparently decreases as the number of grid points r increases, as well observed in [24, Figure 48] for some test-problems in the setting of Galerkin discretization by linear \(C^0\) B-splines. In that same paper, some plausible hypotheses and suggestions were advanced:
-
The discrepancy could depend on the fact that it was used \(\omega ^*_{\alpha ,r}\) instead of \(\omega _{\alpha }^*\), and then that discrepancy should tend to zero in the limit \(r\rightarrow \infty \), since \(\omega ^*_{\alpha ,r} \rightarrow \omega _{\alpha }^*\).
-
Numerical instability of the analytic relative error \(\mathbf{err }_{\alpha ,r,k}^{*,(n)}\) for small eigenvalues, [24, Remark 3.1].
-
Change the sampling grid into an “almost uniform” grid: see [24, Remark 3.2] for details.
The problem is that these hypotheses, which stem from numerical observations, cannot be validated: the descent to zero of the observed discrepancy as r increases is only apparent. Indeed, what happens is that, for every fixed k it holds
with \(c_{\alpha ,k}\) independent of n and \(n'\). This is the content of Proposition B.1 and Remark 2 in Sect. B, with \(p(x)=\alpha x^2,w(x)\equiv 1, q(x)\equiv 0\). We then have a lower bound for the analytic spectral relative error which can not be avoided by refining the grid points. Of course, as \(n\rightarrow \infty \), then \(c_{\alpha ,k} \rightarrow 0\) as k increases. Those remarks are summarized in Table 1.
The problem lies on the wrong informal interpretation given to the limit relation in Definition 2.1, and suggested by Remark 1. Indeed, the asymptotic equality (2.1) tells us that
for every k(n) such that \(k(n)/n\rightarrow x \in [0,1]\), see Theorem 3.1. Therefore, since \(\omega ^*_\alpha \) is continuous and \(R_\omega \) is bounded, it follows that
by Corollary 3.3 and as observed for example in [22, Example 10.2 p. 198]. On the contrary, a uniform sampling of the symbol \(\omega \) does not necessarily provide an accurate approximation of the eigenvalues of the operator \(\hat{\mathscr {L}}\,_{\text {dir},\alpha x^2}^{(n)}\), in the sense of the relative error. The uniform sampling of the symbol works perfectly only for specific subclasses of discretization schemes and operators, but it fails in general.
As a last remark, there does not exist an “almost” uniform grid as well, nor in an asymptotic sense as described in [24, Remark 3.2]. Knowing the exact sampling grid which guarantees \(\omega ^*_\alpha \) to spectrally approximate the discrete differential operator is equivalent to know the eigenvalue distribution of the original differential operator.
What we can do instead is to apply Theorem 3.3. With reference to (3.8), it is easy to prove that
that is,
For every fixed k it holds that \(\lambda _{k}\left( \hat{\mathscr {L}\,}^{(n)}_{\text {dir},\alpha x^2}\right) \) converges to \(\lambda _{k}\left( \hat{\mathscr {L}}_{\text {dir},\alpha x^2}\right) \), see [43], and by the continuity of \(\phi _{\omega _\alpha }\) and by Eq. (4.6), then items (i)–(iv) of Theorem 3.3 are satisfied. Finally, since it holds that \(\hat{\mathscr {L}}_{\text {dir},\alpha \tau (x)^2}^{(n)}\) does not have outliers by [40, Theorem 2.2], we conclude that
In Fig. 4 and Table 2 it is numerically checked the validity of (4.7).
4.1.2 Discretization by \((2\eta +1)\)-points central FD method on non-uniform grid
Clearly, everything said in the preceding Sect. 4.1.1 remains valid even if we increase the order of accuracy of the FD method. Within this subsection we will make use of the FD scheme presented in Appendix C. The theoretical analysis of the scheme requires a proper standalone treatment, therefore we leave it to an upcoming future work and some of its properties are listed as conjectures in Conjecture C.1. Nevertheless, we introduce it now since it is helpful to the flow of our discussion and to provide (numerical) evidence to our conclusions.
First of all, we can say that the spectral symbol \(\omega _{\alpha ,\eta }\) in (C.2) does not spectrally approximate the discrete differential operator \(\mathscr {L}_{\text {dir},\alpha x^2}^{(n,\eta )}\), in the sense of the relative error, for any \(\eta \ge 1\), as we have already seen in the previous subsection for \(\eta =1\).
What is interesting instead is to change the sampling grid and to increase the order of accuracy \(\eta \) of the FD discretization method. Indeed, as it was observed in (4.7), it is not possible to achieve \(\mathscr {E}=0\) if \(\omega _{\alpha ,\eta }^*(x) \ne x^2\pi ^2\). From (C.2), for every \(\eta \ge 1\) it is easy to check that \(\max _{(x,\theta )\in [a,b]\times [0,\pi ]}\omega _{\alpha ,\eta }(x,\theta )= \omega _{\alpha ,\eta }^*(1)\ne \pi ^2\), and so we do not have any improvement by just increasing the order of accuracy \(\eta \). On the other hand, observe that if we fix a new sampling grid \(\left\{ {\bar{x}}_j\right\} _{j=1}^n = \left\{ \tau (x_j)\right\} _{j=1}^n\), with \(\tau : [1,\text {e}^{\sqrt{\alpha }}]\rightarrow [1,\text {e}^{\sqrt{\alpha }}]\) a diffeomorphism, then
-
$$\begin{aligned} \lim _{\eta \rightarrow \infty }\omega _{\alpha ,\eta }(x,\theta ) = \frac{\alpha \tau (x)^2}{\left( \tau '(x)\right) ^2\left( \text {e}^{\sqrt{\alpha }}-1\right) ^2} \theta ^2 \qquad \text{ for } \text{ every } (x,\theta ) \in [1,\text {e}^{\sqrt{\alpha }}]\times [0,\pi ]; \end{aligned}$$
-
defining \(\tau _2(y) = \text {e}^{\sqrt{\alpha }y}\), then \(\frac{\alpha \tau _2(y)^2}{\left( \tau _2'(y)\right) ^2}\equiv 1\).
In some sense, the spectral symbol \(\omega _{\alpha ,\eta }\) suggests us to change the uniform grid \(\left\{ x_j\right\} _{j=1}^n \subset [1,\text {e}^{\sqrt{\alpha }}]\) by means of the diffeomorphism induced by the Liouville transformation. Indeed, from (4.2) we have that
and therefore we can compose a \(C^\infty \)-diffeomorphism \(\tau : [1,\text {e}^{\sqrt{\alpha }}]\rightarrow [1,\text {e}^{\sqrt{\alpha }}]\) such that
The new non-uniform grid is then given by
and it holds that
that is exactly (4.6). Since the discretization scheme is convergent, for every fixed k the local spectral relative error \(\delta _k^{(n)}\) (see Definition 3.1) converges to zero as \(n \rightarrow \infty \), and by [40, Theorem 2.2] it would hold that \(\lambda _k \left( \mathscr {L}_{\text {dir},\alpha \tau (x)^2}^{(n,\eta )}\right) \in R_{\omega _{\alpha ,\eta }}\) for every \(k,\ldots , n\), and for every fixed \(\eta \ge 1\). From these remarks, if the validity of Conjecture C.1 would be proved right, then we would be able to apply Theorem 3.3 and it would follow that
4.1.3 IgA discretization by B-spline of degree \(\eta \) and smoothness \(C^{\eta -1}\)
In this subsection we continue our analysis in the IgA framework, see Appendix D where we present some known results that are useful for our analysis. Here we just collect all the numerical results of the tests, which confirm again what observed in Sects. 4.1.1 and 4.1.2. The only difference relies on the fact that we took out the largest eigenvalues of the discrete operator \(\mathscr {L}_{\text {dir},\alpha \tau (x)^2}^{(n,\eta )} \). This is due to the fact that the IgA discretization suffers of a fixed number of outliers which depends on the degree \(\eta \) and it is independent of n, see [15, Chapter 5.1.2 p. 153]. So, we consider only the eigenvalues \(\lambda _k\left( \mathscr {L}_{\text {dir},\alpha \tau (x)^2}^{(n,\eta )}\right) \) which belong to \(R_{\omega _{\alpha ,\eta }}\).
In Fig. 6 we compare the graphs of the eigenvalue distributions between the discrete eigenvalues \(\lambda _k\left( \mathscr {L}_{\text {dir},\alpha \tau (x)^2}^{(n,\eta )}\right) \) and the exact eigenvalues \(\lambda _k\left( \mathscr {L}_{\text {dir},\alpha x^2}\right) \), for different values of \(\eta \) on uniform (\(\tau (x)=x\)) and non-uniform grids (\(\tau \) as in (4.8)). They line up with the numerics of Table 4: if the sampling grid is given by (4.9), the maximum spectral relative error \(\mathscr {E}\) decreases as the order of approximation increases.
4.2 d-dimensional Dirichlet Laplacian
The results of Sect. 3 can be generalized to study the maximum spectral relative error between more general linear self-adjoint differential operators and the numerical scheme implemented for their discretization. Let us sketch the ideas with a plain example.
Let \(\varDelta : W_0^{1,2}\left( [0,1]^d\right) \rightarrow \text {L}^2\left( [0,1]^d\right) \) be the second order elliptic operator defined by the formal equation
It is well-known that it has empty essential spectrum and that
where \(c_d\) is the volume of the unit ball in \({\mathbb {R}}^d\), see [32]. Define
Then it holds that \(\left\{ Y^{(n)}\right\} _n \sim _{\lambda } \zeta ^*(x) = 4\pi ^2\left( \frac{x}{c_d}\right) ^{2/d}\), \(x\in [0,1]\).
On the other hand, a discretization of the operator \(\varDelta \) by means of separation of variables and the classic equispaced \((2d+1)\)-points FD scheme, leads to
for \(\theta _k \in [0,\pi ]\), where \(I^{(n)}\) is the identity matrix and \(\otimes \) is the Kronecker product, and all the matrices are of dimension \(d_n = n^d\). It holds that
where
see [23, Chapter 7.3]. Since the discretization scheme is convergent, for every fixed k the local spectral relative error \(\delta _k^{(n)}\) (see Definition 3.1) converges to zero as \(n \rightarrow \infty \), and by [40, Theorem 2.2] it holds that \(\lambda _k \left( \varDelta ^{(n)}\right) \in R_{\omega }\) for every k, n. Moreover, it is immediate to check that both \(\omega ^*,\zeta ^*\) are continuous, therefore we can apply Theorem 3.3 to get the maximum spectral relative error:
5 Conclusions
Given a differential operator \(\mathscr {L}\) discretized by means of a numerical scheme, the knowledge of the spectral symbol \(\omega \) provides a way to measure how far the spectrum of the discretized operator is from a uniform approximation of all the spectrum of the original differential operator \(\mathscr {L}\). Moreover, the symbol itself gives insights about how to build a discretization scheme such that the discrete operator could benefit of a spectrum that converges uniformly to the spectrum of the continuous operator, i.e., such that \(\mathscr {E}=0\), see (1.1). This is crucial in some engineering applications and our results improve those in the recent review paper by T. J. R. Hughes and coauthors.
In light of the proposed analysis, it becomes a priority to devise new specific discretization schemes with mesh-dependent order of approximation which guarantee a good balance between convergence to zero of the maximum spectral relative error and computational costs.
Finally, other applications of the spectral symbol related to the computation of the maximum spectral relative error have been recently addressed in the graphs setting, for PDEs approximation, see [1].
References
Adriani, A., Bianchi, D., Serra-Capizzano, S.: Asymptotic spectra of large (Grid) graphs with a uniform local structure (Part I). Milan J. Math. 88, 409–454 (2020)
Amodio, P., Sgura, I.: High-order finite difference schemes for the solution of second-order BVPs. J. Comput. Appl. Math. 176(1), 59–76 (2005)
Amodio, P., Settani, G.: A matrix method for the solution of Sturm-Liouville problems. JNAIAM 6(1–2), 1–13 (2011)
Askey, R., Steinig, J.: Some positive trigonometric sums. Trans. Amer. Math. Soc. 187, 295–307 (1974)
Barbarino, G.: Equivalence between GLT sequences and measurable functions. Linear Algebra Appl. 529, 397–412 (2017)
Barbarino, G.: Spectral measures. In: Bini, D., Di Benedetto, F., Tyrtyshnikov, E., Van Barel, M. (eds.) Structured Matrices in Numerical Linear Algebra. Springer INdAM Series, Springer, Cham (2019)
Bazilevs, Y., Beirao da Veiga, L., Cottrell, J.A., Hughes, T.J.R., Sangalli, G.: Isogeometric analysis: approximation, stability and error estimates for h-refined meshes. Math. Models Methods Appl. Sci. 16(07), 1031–1090 (2006)
Bianchi, D., Serra-Capizzano, S.: Spectral analysis of finite-dimensional approximations of 1d waves in non-uniform grids. Calcolo 55(47), 1–28 (2018)
Bogoya, J.M., Böttcher, A., Grudsky, S.M., Maximenko, E.A.: Eigenvalues of Hermitian Toeplitz matrices with smooth simple-loop symbols. J. Math. Anal. Appl. 442(2), 1308–1334 (2015)
Böttcher, A., Grudsky, S.M.: Toeplitz Matrices, Asymptotic Linear Algebra and Functional Analysis, vol. 67. Springer, Berlin (2000)
Böttcher, A., Silbermann, B.: Analysis of Toeplitz Operators. Springer, Berlin (2006)
Carasso, A.: Finite-difference methods and the eigenvalue problem for nonselfadjoint Sturm-Liouville operators. Math. Comp. 23(108), 717–729 (1969)
Chiti, G., Pucci, C.: Rearrangements of functions and convergence in Orlicz spaces. Appl. Anal. 9(1), 23–27 (1979)
Chung, K.L.: A Course in Probability Theory. Academic Press, Cambridge (2001)
Cottrell, J.A., Hughes, T.J.R., Bazilevs, Y.: Isogeometric Analysis: Toward Integration of CAD and FEA. John Wiley, Hoboken (2009)
Courant, R., Friedrichs, K., Lewy, H.: Über die partiellen Differenzengleichungen der mathematischen Physik. Math. Ann. 100(1), 32–74 (1928)
Davies, E.B.: Spectral Theory and Differential Operators. Cambridge University Press, Cambridge (1996)
Di Benedetto, F., Fiorentino, G., Serra-Capizzano, S.: CG preconditioning for Toeplitz matrices. Comput. Math. Appl. 25(6), 35–45 (1993)
Ekström, S.-E., Furci, I., Garoni, C., Manni, C., Serra-Capizzano, S., Speleers, H.: Are the eigenvalues of the B-spline isogeometric analysis approximation of \(-\Delta u = \lambda u\) known in almost closed form? Numer. Linear Algebra Appl. 25(5), e2198 (2018)
Ervedoza, S., Marica, A., Zuazua, E.: Numerical meshes ensuring uniform observability of onedimensional waves: construction and analysis. IMA J. Numer. Anal. 36, 503–542 (2016)
Everitt, W.N., Markus, L.: Boundary Value Problems and Symplectic Algebra for Ordinary Differential and Quasi-differential Operators. American Mathematical Society, Providence (1999)
Garoni, C., Serra-Capizzano, S.: Generalized Locally Toeplitz Sequences: Theory and Applications. Springer, Cham (2017)
Garoni, C., Serra-Capizzano, S.: Generalized Locally Toeplitz Sequences: Theory and Applications, vol. II. Springer, Cham (2018)
Garoni, C., Speleers, H., Ekström, S.-E., Reali, A., Serra-Capizzano, S., Hughes, T.J.R.: Symbol-based analysis of finite element and isogeometric B-spline discretizations of eigenvalue problems: exposition and review. Arch. Computat. Methods Eng. 26(5), 1639–1690 (2019)
Gary, J.: Computing eigenvalues of ordinary differential equations by finite differences. Math. Comp. 19(91), 365–379 (1965)
Grenander, U., Szegö, G.: Toeplitz Forms and their Applications. University of California Press, Berkeley (1958)
Hughes, T.J.R., Evans, J.A., Reali, A.: Finite element and NURBS approximations of eigenvalue, boundary-value, and initial-value problems. Comput. Methods Appl. Mech. Eng. 272, 290–320 (2014)
Infante, J.A., Zuazua, E.: Boundary observability for the space semi discretizations of the 1-d wave equation. Math. Model. Num. Ann. 33, 407–438 (1999)
Kallenberg, O.: Foundations of Modern Probability, 3rd edn. Springer Nature, Switzerland AG (2021)
Khan, I.R., Ohba, R.: Closed-form expressions for the finite difference approximations of first and higher derivatives based on Taylor series. J. Comput. Appl. Math. 107(2), 179–193 (1999)
Kuipers, L., Niederreiter, H.: Uniform Distribution of Sequences. John Wiley & Sons Inc, New York (1974)
Levendorskii, S.: Asymptotic Distribution of Eigenvalues of Differential Operators. Springer Science & Business Media, Berlin (1990)
Li, J.: General explicit difference formulas for numerical differentiation. J. Comput. Appl. Math. 183(1), 29–52 (2005)
Limic, V., Limić, N.: Equidistribution, uniform distribution: a probabilist’s perspective. Probab. Surv. 15, 131–155 (2018)
Marica, A., Zuazua, E.: Propagation of 1D waves in regular discrete heterogeneous media: a Wigner measure approach. Found. Comput. Math. 15(6), 1571–1636 (2015)
Pólya, G.: Über den zentralen Grenzwertsatz der Wahrscheinlichkeitsrechnung und das Momentenproblem. Math. Z. 8(3–4), 171–181 (1920)
Puzyrev, V., Deng, Q., Calo, V.: Spectral approximation properties of isogeometric analysis with variable continuity. Comput. Methods Appl. Mech. Eng. 334, 22–39 (2018)
Safarov, Yu., Vassilev, D.: The Asymptotic Distribution of Eigenvalues of Partial Differential Operators. American Mathematical Society, Providence (1997)
Serra-Capizzano, S.: An ergodic theorem for classes of preconditioned matrices. Linear Algebra Appl. 282(1–3), 161–183 (1998)
Serra-Capizzano, S.: A note on the asymptotic spectra of finite difference discretizations of second order elliptic partial differential equations. Asian J. Math. 4(3), 499–514 (2000)
Serra-Capizzano, S.: Generalized locally Toeplitz sequences: spectral analysis and applications to discretized partial differential equations. Linear Algebra Appl. 366, 371–402 (2003)
Serra-Capizzano, S.: The GLT class as a generalized Fourier analysis and applications. Linear Algebra Appl. 419, 180–233 (2006)
Smith, G.D.: Numerical Solution of Partial Differential Equations: Finite Difference Methods, 3rd edn. Clarendon Press, Oxford (1985)
Stein, E.M., Weiss, G.: Introduction to Fourier Analysis on Euclidean Spaces. Princeton University Press, Princeton (1971)
Talenti, G.: Rearrangements of functions and partial differential equations. In: Fasano, A., Primicerio, M. (eds.) Nonlinear Diffusion Problems. Lecture Notes in Mathematics, pp. 153–178. Springer, Berlin (1986)
Talenti, G.: The art of rearranging. Milan J. Math. 84, 105–157 (2016)
Taylor, J.C.: An Introduction to Measure and Probability. Springer, Berlin (1997)
Tilli, P.: Locally Toeplitz sequences: spectral properties and applications. Linear Algebra Appl. 278(1–3), 91–120 (1998)
Tyrtyshnikov, E.E.: A unifying approach to some old and new theorems on distribution and clustering. Linear Algebra Appl. 232, 1–43 (1996)
Tyrtyshnikov, E.E., Zamarashkin, N.: Spectra of multilevel Toeplitz matrices: advanced theory via simple matrix relationships. Linear Algebra Appl. 270, 15–27 (1998)
Widom, H.: On the eigenvalues of certain Hermitian operators. Trans. Amer. Math. Soc. 88(2), 491–522 (1958)
Zettl, A.: Sturm-Liouville Theory. American Mathematical Society, Providence (2005)
Funding
Open access funding provided by Università degli Studi dell'Insubria within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Partially supported by INdAM-GNAMPA and INdAM-GNCS.
Appendices
Proofs of Section 3
In this section we provide the rigorous proofs of the results that we presented in Sect. 3. Before going further in the details, we need some preliminary definitions and notations from measure theory, see [29].
Given a probability space \((S, \mathscr {S}, \nu )\) and a measurable function \(g:S\rightarrow {\mathbb {R}}\), the distribution function \(\phi _g : {\mathbb {R}}\rightarrow [0,1]\) associated to g is defined by
It holds that \(\phi _g\) is right-continuous, proper and with nonnegative increments. Moreover, any function \(\phi : {\mathbb {R}}\rightarrow [0,1]\) satisfying those stated properties determines a probability measure \(\mu \) on \({\mathbb {R}}\) such that
and vice-versa, see [29, Theorem 4.25]. In this case, we call \(\phi \) the distribution associated to \(\mu \).
Definition A.1
(Vague convergence) A sequence \(\{\mu _n\}_n\) of locally-finite measures on \({\mathbb {R}}\) is said to converge vaguely to a measure \(\mu \) if and only if
In this case, we write \(\mu _n \xrightarrow {v} \mu \).
If \(\{\mu _n\}_n\) and \(\mu \) are probability measures, that is, if \(\mu _n({\mathbb {R}})=\mu ({\mathbb {R}})=1\), and \(\{\phi _n\}_n\) and \(\phi \) are their distributions, respectively, then
for every \(t\in {\mathbb {R}}\) which is a point of continuity of \(\phi \), see [14, Theorem 4.4.1].
Definition A.1 and Definition 2.1 are connected. Let us set the atomic measure \(\delta _x : \mathscr {B} \rightarrow \{0,1\}\) from the Borel sets \(\mathscr {B}\) of \({\mathbb {R}}\) such that
and define
Clearly, \(\mu _n(\cdot )\) is a probability measure and for every measurable function \(F: {\mathbb {R}}\rightarrow {\mathbb {R}}\) it holds that
Lemma A.1
Let \(\{X^{(n)}\}_n\) be a matrix sequence and \(\omega : D \subset {\mathbb {R}}^M \rightarrow {\mathbb {R}}\) be a measurable function, D a measurable set with \(0<m(D)<\infty \), and such that the Lebesgue integral \(\int _D \omega ({{\varvec{y}}}) m(d{{\varvec{y}}})\) exists, finite or infinite. Then \(\{X^{(n)}\}_n \sim _\lambda \omega \) if and only if \(\mu _n \xrightarrow {v} \mu \), where \(\mu \) is the measure on \({\mathbb {R}}\) determined by the distribution function \(\phi _\omega \) associated to \(\omega \) and defined in (2.4), i.e., such that \(\mu ((-\infty ,t])=\phi _\omega (t)\).
Proof
It is an immediate consequence of (A.1) and (2.1), and the fact that
for every measurable function F, see (2.4) and [29, Lemma 1.24]. \(\square \)
The next lemma is a slight generalization of a well know result by Pólya, [36, Satz I] (see also [47, Exercise 6.4.1]).
Lemma A.2
Let \(\phi _n, \phi : (a,b)\subseteq {\mathbb {R}}\rightarrow {\mathbb {R}}\), where \(-\infty \le a < b \le +\infty \). Suppose that \(\phi _n\) and \(\phi \) are nonnegative, monotone nondecreasing and that
-
(i)
\(\lim _{t\rightarrow a}\phi _n(t)=a_n\) and \(\lim _{n \rightarrow \infty }a_n= \lim _{t\rightarrow a}\phi (t)=0\);
-
(ii)
\(\lim _{t\rightarrow b}\phi _n(t)=b_n\) and \(\lim _{n \rightarrow \infty }b_n= \lim _{t\rightarrow b}\phi (t)=c\in (0,+\infty )\);
-
(iii)
\(\lim _{n \rightarrow \infty }\phi _n(t) = \phi (t)\) for every t in a dense subset I of [a, b].
If \(\phi \) is continuous then \(\phi _n\) converges uniformly to \(\phi \).
Proof
For the convenience of the reader we report here the proof. Fix \(\epsilon >0\). Clearly, there exists \(\delta _1=\delta _1(\epsilon )>0\) such that \(0\le \phi (t)< \epsilon \) and \(c-\epsilon < \phi (t) \le c\) for every \(t\in (a,a+\delta _1)\) and \((b-\delta _1,b)\), respectively, with \(a+\delta _1<b-\delta _1\). Choose \(t' \in (a,a+\delta _1)\cap I\), \(t''\in (b-\delta _1,b)\cap I\). For the continuity of \(\phi \) and the compactness of \([t', t'']\), there exists \(\delta _2=\delta _2(\epsilon )>0\) such that \(0\le \phi (t_{i}) - \phi (t_j) < \epsilon \) for every \(t_i,t_j\) in \([t',t'']\) such that \(0< t_{i} - t_j < \delta _2\). Choose \(k=k(\epsilon )\) and a set of points \(\{t_i\}_{i=0}^{k+1}\) such that \(t_0=t'\), \(t_{k+1}=t''\), \(t_i \in (t',t'')\cap I\) for \(i=1,\ldots ,k\) and
By hypothesis, \(\lim _{n \rightarrow \infty }a_n= 0\), \(\lim _{n \rightarrow \infty }b_n= c\) and \(\lim _{n \rightarrow \infty }\phi _n(t_i) = \phi (t_i)\) for every \(i=0,\ldots ,k+1\), and therefore there exists \(N=N(\epsilon )\) such that
for every \(n> N\) and for every \(i=0,\ldots ,k+1\). By monotonicity, for every \(t \in (a,b)\) it holds that
for every \(n>N\). By a symmetric argument it can be shown that \(\phi (t) - \phi _n(t) < 2\epsilon \), and therefore
\(\square \)
We are ready to provide the proofs of Theorem 3.1, Corollary 3.1 and Corollary 3.2.
Theorem 3.1.
Proof
Let us observe that \(\omega ^*\) is monotone increasing, right continuous and the possibly non-empty set of its point of discontinuity (jumps) is at most countable. Moreover, the function \(\phi _\omega \) defined in (2.4) is the distribution function associated to both \(\omega \) and \(\omega ^*\), that is,
The proof of the last statement follows immediately by adapting [47, Lemma 6.3.10] to our definition of nondecreasing monotone rearrangement. Therefore, if we indicate with \(\mu \) the measure determined by \(\phi _{\omega }\), by [29, Lemma 1.24] it holds that
for every measurable function F. The above identity plus (2.1) gives (3.2). Define now
Clearly, \(\phi _n(t)=\mu _n((-\infty ,t])\) for every \(t\in {\mathbb {R}}\), where \(\mu _n\) is the probability measure defined in (A.3). By Lemma A.1 we have that \(\mu _n \xrightarrow {v} \mu \), and by the equivalence (A.2) we get (3.3). Suppose now that \(\phi _\omega \) is continuous. Without loss of generality and for the sake of simplicity, let now \(d^-_n\left( X^{(n)}\right) =0\), such that \({\hat{k}}=k\), and define \(\lambda _{k(n)}:= \lambda _{k(n)}\left( X^{(n)}\right) \). Applying Lemma A.2 it holds that \(\phi _n \rightarrow \phi _{\omega }\) uniformly. On the other hand, it holds that
Therefore, for every \(\epsilon >0\) there exist \(N_1=N_1(\epsilon ),N_2=N_2(\epsilon ) \in {\mathbb {N}}\) such that
It follows easily that
Since \(x_0 \in (0,1)\), then by (2.4) it holds that
Finally, by the above relation and by (2.3), we can conclude that
which is (3.4). Let us observe now that \(x_0\) is a jump discontinuity point for \(\omega ^*\) if and only if there exist \(t_1<t_2 \in R_\omega \) such that \(R_\omega \subseteq (\inf R_\omega , t_1] \cup [t_2,\sup R_\omega )\), and \(\phi _{\omega }(t)=x_0\) if and only if \(t\in [t_1,t_2]\). Therefore, if \(\omega ^*\) is continuous in \(x_0\), then \(t_0=t_1=t_2 \in R_\omega \) and we have (3.5). \(\square \)
Corollary 3.1.
Proof
It is immediate from (3.3). Let us observe that
Moreover, since
then passing to the limit we get
The second part of the thesis follows instead by (3.3) and the easy fact that
where
\(\square \)
Corollary 3.2.
Proof
Since \(\omega ^*\) is absolutely continuous then it is differentiable almost everywhere. Let \(x_0 \in [0,1]\) such that \((\omega ^*)'_{|x=x_0}\) exists finite. It is clear that \(\omega ^*_n\) is monotone (piece-wise constant) and right-continuous for any n, that \(\omega ^*_n(\hat{m}/d_n)= \lambda _{\hat{m}}\left( X^{(n)}\right) \) for any \(\hat{m} \in \{1,\ldots ,d_n\}\), and that \(\omega ^*_n \rightarrow \omega ^*\) uniformly as \(n\rightarrow \infty \), because of (3.5) and Lemma A.2. Therefore, by hypothesis we have that
Since \(m \left( \left\{ x \in [0,1] \, : \, \not \exists \left( \omega ^*\right) '(x) \text{ or } \omega ^*(x)=0 \right\} \right) =0\), we conclude.
Corollary 3.3.
Proof
Let us observe that since there are no outliers, then eventually \(\min (R_\omega )\le \lambda _{k}\left( X^{(n)}\right) \le \max (R_\omega )\) for every k. Without loss of generality and for the sake of simplicity, let \(d^-_n=0\). Suppose the thesis is false. Then there exists a sequence \(k=k(n)\) such that \(|\lambda _{k(n)}\left( X^{(n)}\right) - \omega ^*\left( k(n)/(d_n+1)\right) | >\epsilon \) for some \(\epsilon >0\). On the other hand, by the boundedness of \(k(n)/(d_n+1)\) and by Theorem 3.1, passing to a subsequence we can assume that \(k(n)/(d_{n}+1)\) converges to a point \(x_0\) in [0, 1] and that (3.5) holds. If \(\omega ^*\left( k(n)/(d_n+1)\right) =0\) eventually, then \(|\lambda _{k(n)}\left( X^{(n)}\right) - \omega ^*\left( k(n)/(d_n+1)\right) |\rightarrow 0\), which is a contradiction. At the same time, if \(\omega ^*\left( k(n)/(d_n+1)\right) \) is not eventually identical to zero, then by passing again to a subsequence we can assume that \(\omega ^*\left( k(n)/(d_n+1)\right) \ne 0\), and by the boundedness of \(R_\omega \)
which is again a contradiction. \(\square \)
Before introducing the proofs of Theorem 3.2 and Theorem 3.3, we need a couple of lemmas.
Lemma A.3
With the same notations of Theorem 3.2, if \(\phi _{\omega _2}\) is continuous and \(\omega _2^*(x_0)=0\) then
Proof
Notice that
where \(\mu _n\) is the probability measure defined in (A.3). Since \(\phi _{\omega _2}\) is continuous, applying [14, Theorem 4.3.2]
By definition, \(\phi _{\omega _2}\) is the inverse of \(\omega _2^*\) and therefore \(\omega _2^*(x_0)=0\) implies \(\phi _{\omega _2}(0)=x_0\). From this result and (3.1) we get that
and we conclude. \(\square \)
Lemma A.4
With the same hypotheses and notations of Theorem 3.2, it holds that
or equivalently
In particular, if \(\omega _2^*(x_0)=0\), then we have that
and if
then
Proof
The first part follows from the definition. Indeed,
If we call \(B:= \left\{ \lim _{n_j \rightarrow \infty } \delta _{\hat{k}(n_j)}^{(n_j)} \, : \, \left\{ \delta _{\hat{k}(n_j)}^{(n_j)}\right\} _{n_j} \in F \right\} \), then it is easy to check that \(A\subset B\), and then \(\sup (A)\le \sup (B)\). On the other hand, for every element \(b\in B\) there exists an increasing sequence of indices \(\{n_{j_m}\}\subset \{n_j\}\) such that
Therefore, for every \(b\in B\) there exists \(a \in A\) such that \(b\le a\), and then it follows that \(\sup (B)\le \sup (A)\), that is, \(\sup (B)=\sup (A)\) which is exactly (A.4). Identity (A.5) follows trivially by the definition of \(H_{x_0}\). By Lemma A.3, if \(\omega _2^*(x_0)=0\) we have that
where k(n) is the sub-index associated to \(\lambda _{\hat{k}(n)}\left( Y^{(n)}\right) \), that is, \(k(n)= \vartheta ^{-1}_{Y^{(n)}}(\hat{k}(n))\). Without loosing the generality of the proof, we will suppose hereafter that \(\lim _{n_j\rightarrow \infty } \frac{k(n_j)}{d_{n_j}}= 0\) without passing to a subsequence, and that \(d_{n}^-\left( Y^{(n)}\right) =d_{n}^-\left( X^{(n)}\right) \), that is, \(\vartheta (k)=k\) and then we can avoid to pass to the index \(\hat{k}\). Because of this last assumption, we have that
Let us define now
Then there exists a subsequence \(\{n_j\}\) such that
So, \(\left\{ \delta _{k}^{(n_j)}\right\} \in F\) and clearly \(\frac{k}{d_{n_j}}\rightarrow 0\), consequently \(\sigma _{k} \in H_{x_0}\). Therefore \(\sup _{\begin{array}{c} k\in [\kappa ^-,\kappa ^+] \\ k\ne 0 \end{array}} \{\sigma _{k}\} \le \sup H_{x_0}\). On the other hand, assuming that
then, given an element \(\delta _{k(n)}^{(n)} \in H_{x_0}\), there exists a subsequence such that
Therefore,
and it follows that \(\sup H_{x_0} \le \sup _{\begin{array}{c} k\in [\kappa ^-,\kappa ^+] \\ k\ne 0 \end{array}} \{\sigma _{k}\}\).
Theorem 3.2.
Proof
Let us begin observing that, by (A.4),
and that the set J of points such that \(\omega _1^*\) or \(\omega _2^*\) are discontinuous is at most countable, and the possible discontinuity points can be only jumps. Moreover, due to the strict monotonicity of \(\omega _2^*\), there can exists only one point \(x_0\in (0,1)\) such that \(\omega _2^*(x_0)=0\). Fix \(x_0\in (0,1)\) such that both \(\omega _1^*\) and \(\omega _2^*\) are continuous in \(x_0\), and such that \(\omega ^*_{2}(x_0)\ne 0\). Let \(\left\{ \hat{k}(n_j)\right\} \) be a sequence such that \(\hat{k}(n_j)/d_{n_j}\rightarrow x_0^-\) as \(n_j \rightarrow \infty \). Then
due to (3.4). This proves that
Let now assume that there exists \(x_0 \in [0,1]\) such that \(\omega _2(x_0)=0\). If there exists \(x_0 \in [0,1]\) such that \(\omega _2(x_0)=0\ne \omega _1(x_0)\), then by the right-continuity of \(\omega _2^*\),
On the contrary, if there exists \(x_0 \in [0,1]\) such that \(\omega _2(x_0)=0= \omega _1(x_0)\), then by (A.5) it holds that
Therefore, we can conclude that
which is exactly (3.7).
Let us now suppose that both \(\omega _1^*, \omega _2^*\) are continuous, that \(\{X^{(n)}\}_n, \{Y^{(n)}\}_n\) do not have outliers and that \(R_{\omega _1}, R_{\omega _2}\) are bounded, that is, compact. If we prove the reverse inequality in (3.7), then we can conclude. By our assumptions it follows easily that
for every n and \({\hat{k}}= 1,\ldots , d_n\), that is, for every n and for every \({\hat{k}}\) there exist \(x_1,x_2\in [0,1]\) such that
Notice that if there exists \(x_0 \in [0,1]\) such that \(\omega _2^*(x_0)=0\ne \omega _1^*(x_0)\) then
Therefore, hereafter we will suppose that either \(\omega _2^*(x)\ne 0\) for every \(x \in [0,1]\) or that there exists \(x_0 \in [0,1]\) such that \(\omega _2^*(x_0)=0=\omega _1^*(x_0)\). Fix a sequence \(\left\{ \delta _{{\hat{k}}(n_j)}^{(n_j)}\right\} _{n_j} \in F\). By the boundedness of \({\hat{k}}(n_{j})/d_{n_{j}}\), there exists a subsequence \(\{n_{j_m}\}\) such that
Then by Theorem 3.1 it happens that
If \(\omega ^*_{2}(x_0)\ne 0\), then \(\lim _{n_j \rightarrow \infty } \delta _{{\hat{k}}(n_j)}^{(n_j)}\) is finite, in particular
If, instead, \(x_0\) is such that \(\omega _2^*(x_0)=0= \omega _1^*(x_0)\), then by (A.6) it holds that
Combining all the results obtained till now, we can conclude that
\(\square \)
Theorem 3.3.
Proof
Clearly, if we set
then
By Item (iv), Lemma A.1 and Theorem 3.1, it follows immediately that \(\left\{ {\hat{Y}}^{(n)}\right\} \sim _\lambda \zeta ^*\), that \(\lambda _k\left( {\hat{Y}}^{(n)} \right) \in R_{\zeta ^*}= \overline{\zeta ^*([0,1])}\) for every \(k=-d^-_n,\ldots ,-1,1,\ldots ,d^+_n\), and that therefore the sequence \(\left\{ {\hat{Y}}^{(n)}\right\} \) satisfies the hypotheses of Theorem 3.2. By items (ii)-(iii), we have that \(\left\{ {\hat{X}}^{(n)}\right\} \sim _\lambda \omega \) and it also satisfies the hypotheses of Theorem 3.2. Therefore,
By Item (i), it follows that \(\sigma =0\) and we conclude. \(\square \)
Proofs of Section 4
Proposition B.1
Let us consider a Sturm-Liouville operator defined by the formal equation
such that
-
(i)
\(p, p',w,w',q,(pw)',(pw)'' \in C([a,b])\);
-
(ii)
\(p,w>0\);
-
(iii)
regular BCs.
Discretize the above self-adjoint linear differential operator \(\mathscr {L}_{\text {BCs},p(x),q(x),w(x)}\) by means of a numerical scheme, and let \(\mathscr {L}_{\text {BCs},p(x),q(x),w(x)}^{(n,\eta )}\) be the correspondent discrete operator, where n is the mesh fineness parameter and \(\eta \) is the order of approximation of the numerical scheme. Define \(B=\int _a^b \sqrt{\frac{w(x)}{p(x)}}m(dx)\). If:
-
(a)
for every fixed \(k\in {\mathbb {N}}\),
$$\begin{aligned} \lim _{n \rightarrow \infty } \lambda _k\left( \mathscr {L}_{\text {BCs},p(x),q(x),w(x)}^{(n,\eta )}\right) = \lambda _k\left( \mathscr {L}_{\text {BCs},p(x),q(x),w(x)}\right) ; \end{aligned}$$ -
(b)
there exists \(\omega : [a,b]\times [-\pi ,\pi ] \rightarrow {\mathbb {R}}\), \(\omega \in \text {L}^1\left( [a,b]\times [-\pi ,\pi ]\right) \) such that
$$\begin{aligned}&\left\{ (d_n+1)^{-2}\mathscr {L}_{\text {BCs},p(x),q(x),w(x)}^{(n,\eta )}\right\} _n\\&\quad =\left\{ \hat{\mathscr {L}}_{\text {BCs},p(x),q(x),w(x)}^{(n,\eta )}\right\} _n \sim _{\lambda }\omega (x,\theta ) \quad (x,\theta ) \in [a,b]\times [-\pi ,\pi ]; \end{aligned}$$ -
(c)
for every \(\eta \), the monotone rearrangement \(\omega ^*_\eta \), as defined in (2.3), is such that
$$\begin{aligned} \omega ^*_\eta (x) \sim \frac{x^2\pi ^2}{B^2}, \qquad \text{ as } x\rightarrow 0. \end{aligned}$$
Then, for every fixed \(k\in {\mathbb {N}}\)
with \(c_k\) independent of \(\eta \), and where \(\mathscr {L}_{\text {BCs},V}\) is the differential operator associated to the normal form of \(\mathscr {L}_{\text {BCs},p(x),q(x),w(x)}\) by the Liouville transform \(y(x):=\int _a^x\sqrt{\frac{w(t)}{p(t)}}m(dt)\). In particular,
where \(\mathbf{err }_{\alpha ,r,k}^{*,(n)}\) is the analytic spectral relative error of Definition 4.1.
Proof
By standard theory it holds that
Therefore, from item (c)
Then it is immediate to prove that if
then
Moreover,
and then \(c_k \rightarrow 0\) as \(k \rightarrow \infty \). \(\square \)
Corollary B.1
If
with \(f_\eta (\theta )\) nonnegative, nondecreasing and such that \(f_\eta (\theta ) \sim \theta ^2\) as \(\theta \rightarrow 0\), then item (c) of Proposition B.1is satisfied.
Proof
From (2.4) and (2.3), for all \(t \in \left[ 0, t_0\right] \), with
we have that
where
By the monotonicity of \(f_\eta \), it holds that \(\varOmega _y(t)=[0,\theta _y(t)]\), \(\theta _y(t):=\sup \{\theta \in [0,\pi ] \, : \, f_\eta (\theta )\le \frac{(b-a)^2w(y)}{p(y)}t\}\), and then \(\theta _y(t) \rightarrow 0\) as \(t \rightarrow 0\). So, by the boundedness of w(y)/p(y), for every \(\epsilon >0\) there exists \(\delta _\epsilon >0\) independent of y such that for every \(t\in [0,\min \{t_0;\delta _\epsilon \}]\) then \((1-\epsilon )\theta ^2< f_\eta (\theta )< (1+\epsilon )\theta ^2\), and
where
Then it holds that
By definition (2.3), \(t\rightarrow 0\) as \(x\rightarrow 0\) and then
and the thesis follows. \(\square \)
Remark 2
The matrix methods of Sects. C, D satisfy the hypotheses of Proposition B.1, see Conjecture C.1 and Theorem D.1, and Corollary C.1 and Corollary D.1. Therefore, in general, a uniform sampling of their spectral symbols does not provide an accurate approximation of the eigenvalues \(\lambda _k\left( \mathscr {L}_{\text {BCs},p(x),q(x),w(x)}^{(n,\eta )}\right) \) and \(\lambda _k\left( \mathscr {L}_{\text {BCs},p(x),q(x),w(x)}\right) \), in the sense of the relative error. See Sects. 4.1.1, 4.1.2 and 4.1.3 for numerical examples. On the other hand,
if we exclude the outliers, see Corollary 3.3 and Fig. 2.
\((2\eta +1)\)-points central FD discretization
In this section we present an high-order central FD discretization scheme which is a slight modification of the standard ones available in the literature. Since it is used only in the numerical Sect. 4.1.2 and since the main focus of this paper is to analytically calculate the MSRE, see Theorem 3.2 and Theorem 3.3, we will not provide proofs of the main properties of this scheme, in order to keep the length of the paper contained. Even if the main properties will be stated as conjectures and the rigorous theoretic analysis will be left for a possible future work, we will give some hints and comment about how to prove them. Nevertheless, we wish to point out that in Sect. 4.1.2 there are consistent numerical evidences of the validity of Conjecture C.1.
Let us consider the following one dimensional self-adjoint operator
with \(p\in C^2([a,b])\) and \(p>0\) (see [17, 21]). For a general review of FD methods we refer to [43]. Fix \(\eta ,n\in {\mathbb {N}}\) and \(\eta \ge 1\). Given a standard equispaced grid \(\mathbf{x }=\left\{ x_j \right\} _{j=1-\eta }^{n+\eta }\subseteq \left[ {\bar{a}},{\bar{b}}\right] \), with
let us consider a \(C^1\)-diffeomorphism \(\tau : [a,b]\rightarrow [a,b]\) such that \(\tau '(x)\ne 0\), \(\tau (a)=a, \tau (b)=b\) and let us consider its piecewise \(C^1\)-extension \({\bar{\tau }}: \left[ {\bar{a}}, {\bar{b}}\right] \rightarrow \left[ {\bar{a}}, {\bar{b}}\right] \) such that
By means of the piecewise \(C^1\)-diffeomorphism \({\bar{\tau }}\) we have a new (extended) grid \({\bar{\mathbf{x }}}=\left\{ {\bar{x}}_j \right\} _{j=1-\eta }^{n+\eta }\subset [{\bar{a}},{\bar{b}}]\), non necessarily uniformly equispaced, with \({\bar{x}}_j = {\bar{\tau }}(x_j)\). Combining together the high-order central FD schemes presented in [2, 3, 33], we obtain the following matrix operator as approximation of (C.1):
where, if we define the \(C^0\)-extension of p(x) to \([{\bar{a}},{\bar{b}}]\) as
and the element \(l_{i,j}\) as
then the generic matrix element of \(\mathscr {L}^{(n,\eta )}_{\text {dir},p({\bar{x}})}\) is given by
The extended functions \({\bar{\tau }},{\bar{p}}\) on \([{\bar{a}},{\bar{b}}]\supset [a,b]\) serve to implement correctly the BCs. With abuse of notation, we will call \(\eta \) the order of approximation of the central FD method. We conjecture now some of the properties of this scheme, providing then a sketch of the proofs.
Conjecture C.1
In the above assumptions, for \(\eta \ge 1\) it holds that
-
(i)
the eigenvalues \(\lambda _k\left( \mathscr {L}^{(n,\eta )}_{\text {dir},p({\bar{x}})}\right) \) are real for every k and
$$\begin{aligned} \lim _{n \rightarrow \infty }\lambda _k\left( \mathscr {L}^{(n,\eta )}_{\text {dir},p({\bar{x}})}\right) = \lambda _k\left( \mathscr {L}_{\text {dir},p(x)}\right) \qquad \text{ for } \text{ every } \text{ fixed } k. \end{aligned}$$ -
(ii)
$$\begin{aligned} \left\{ (n+1)^{-2}\mathscr {L}^{(n,\eta )}_{\text {dir},p({\bar{x}})} \right\} _n=\left\{ \hat{\mathscr {L}}^{(n,\eta )}_{\text {dir},p({\bar{x}})} \right\} _n \sim _{\lambda } \omega _{\eta } \left( x,\theta \right) \qquad (x,\theta ) \in [a,b]\times [0,\pi ], \end{aligned}$$(C.2)
where
$$\begin{aligned} \omega _{\eta } \left( x,\theta \right) =\frac{p\left( \tau (x)\right) }{\left( \tau '(x)\right) ^2(b-a)^2}f_{\eta }(\theta ), \end{aligned}$$and
$$\begin{aligned} f_\eta (\theta ) = d_{\eta ,0} + 2\sum _{k=1}^\eta d_{\eta ,k}\cos (k\theta ), \qquad d_{\eta ,k}= {\left\{ \begin{array}{ll} (-1)^{k} \frac{\eta !\eta !}{(\eta -k)!(\eta +k)!}\frac{2}{k^2} &{} \text{ for } k=1,\cdots \eta ,\\ -2\sum _{j=1}^\eta d_{\eta ,j} &{}\text{ for } k=0. \end{array}\right. } \end{aligned}$$(C.3) -
(iii)
\(\lambda _k\left( \hat{\mathscr {L}}^{(n,\eta )}_{\text {dir},p({\bar{x}})}\right) \in R_{\omega _{\eta }}\) for every k, n.
Item (i) can be proved by a straightforward generalization of standard techniques, see [12, Theorem 1] and [16, 25]. About item (ii), we recall that the “hat” means that the matrix operator has been normalized by \((n+1)^2\). Let us preliminarily observe that in the case of \(\tau (x)=x\) and \(p(x)\equiv 1\) then \(\hat{\mathscr {L}}^{(n,\eta )}_{\text {dir}}\) is a symmetric Toeplitz matrix defined by
where \(d_{\eta ,k}\) are the coefficients of the trigonometric polynomial \(f_\eta \) in (C.3), see [33, Corollary 2.2] and [30, Eq. (27)]. By standard results on the eigenvalues distribution of Toeplitz matrices (see for example [22, item T 4 p. 168]) it holds that
The strategy to prove (ii) is the following:
-
show that \(\hat{\mathscr {L}}^{(n,\eta )}_{\text {dir},p({\bar{x}})} = X_n + Y_n\), with \(X_n\) symmetric and such that \(\Vert X_n\Vert ,\Vert Y_n\Vert \le C\), \(n^{-1}\Vert Y_n\Vert _1\rightarrow 0\) as \(n \rightarrow \infty \), where \(\Vert \cdot \Vert \) and \(\Vert \cdot \Vert _1\) are the spectral norm and the Schatten 1-norm, respectively;
-
show that \(\{X_n\}_n \sim _{\text {GLT}} \omega _{\eta } \left( x,\theta \right) \), see [22, Definition 8.1];
-
Conclude that \(\{\hat{\mathscr {L}}^{(n,\eta )}_{\text {dir},p({\bar{x}})}\}_n\sim _{\lambda } \omega _{\eta } \left( x,\theta \right) \) by [22, item GLT 2 p. 170].
Finally, item (iii) can be recovered from [40, Theorem 2.2].
Remark 3
Notice that the spectral symbol \(\omega _\eta (x,\theta )\) consists of the product of two functions:
-
the function \(\frac{p\left( \tau (x)\right) }{\left( \tau '(x)\right) ^2(b-a)^2}\) which consists of the diffusion coefficient p(x) and the diffeomorphism \(\tau (x)\), which are all intrinsic to the differential operator (C.1) itself and depend on the spatial variable x;
-
\(f_\eta (\theta )\), which is intrinsic to the discretization method and depends on the spectral variable \(\theta \).
Let us now state some analytical properties of the symbol function \(f_\eta \) in (C.3). We want to highlight that it shares the same properties of the symbol function associated to the IgA scheme, see Corollary D.1. This is pretty interesting, since it seems to suggest that, whatever is the (consistent) numerical approximating scheme, the limit symbol converges to the inverse Weyl distribution function of the continuous operator, as the order of approximation increases.
Corollary C.1
For every fixed \(\eta \), the function \(f_\eta \) is differentiable, nonnegative, monotone increasing on \([0,\pi ]\) and it holds that
Proof
\(f_\eta (\theta )\) is obviously \(C^\infty ([0,\pi ])\). Let us begin to prove that \(f_\eta (\theta )\sim \theta ^2\) as \(\theta \rightarrow 0\) for every fixed \(\eta \), and that it is monotone nonnegative on \([0,\pi ]\). By the Taylor expansion at \(\theta =0\) we get
Moreover, let us observe that
Define then
It is immediate to check that \(a_1 \ge a_2 \ge \ldots \ge a_n > 0\) and that
By [4, Theorem 1] we can conclude that \(g(\psi )>0\) on \((0,\pi )\) and then \(f_\eta '(\theta )>0\) on \((0,\pi )\). Since \(f_\eta (0)=0\), we deduce that \(f_\eta (\theta )\ge 0\) on \([0,\pi ]\). The second part of the thesis is an immediate consequence of identities (C.3). Indeed,
and then, by dominate convergence, it is easy to prove that for every fixed \(\theta \in [0,\pi ]\) it holds that
since \(\left\{ \pi ^2/3\right\} \cup \left\{ (-1)^k4/k^2\right\} _{k\ge 1}\) are the Fourier coefficients of \(\theta ^2\) on \([0,\pi ]\). The convergence is uniform by Lemma A.2. \(\square \)
Isogeometric Galerkin discretization by B-splines of degree \(\eta \) and smoothness \(C^{\eta -1}\)
For a general review of the IgA discretization method we refer the reader to [15, 27], so we skip all the introductions and we present directly some known results.
Theorem D.1
Let (a, b) be discretized by a uniform mesh \(\left\{ x_j \right\} _{j=1}^n\) of step-size \((n+1)^{-1}\) and let \(\tau : [a,b]\rightarrow [a,b]\) a \(C^1\)-diffeomorphism such that \(\tau (a)=a,\tau (b)=b\) and \(\tau '(x)\ne 0\) for every \(x \in [a,b]\). Let \({\bar{x}}:=\tau (x)\), \(\eta \ge 1\), and let us indicate with \(\mathscr {L}^{(n,\eta )}_{\text {dir},p({\bar{x}})}\) the discrete operator obtained from (C.1) by an IgA discretization scheme with B-splines of degree \(\eta \) and smoothness \(C^{\eta -1}\). Then
-
(i)
the eigenvalues \(\lambda _k\left( \mathscr {L}^{(n,\eta )}_{\text {dir},p({\bar{x}})}\right) \) are real for every fixed k and
$$\begin{aligned} \lim _{n \rightarrow \infty }\lambda _k\left( \mathscr {L}^{(n,\eta )}_{\text {dir},p({\bar{x}})}\right) = \lambda _k\left( \mathscr {L}_{\text {dir},p(x)}\right) ; \end{aligned}$$ -
(ii)
it holds that
$$\begin{aligned} \left\{ (n+1)^{-2}\mathscr {L}^{(n,\eta )}_{\text {dir},p({\bar{x}})}\right\} _n=\left\{ \hat{\mathscr {L}}^{(n,\eta )}_{\text {dir},p({\bar{x}})}\right\} _n\sim _{\lambda }\omega _{\eta }(x,\theta ), \qquad (x,\theta ) \in [a,b]\times [0,\pi ], \end{aligned}$$where
$$\begin{aligned} \omega _\eta ( x,\theta ) =\frac{p(\tau (x))}{\left( \tau '(x)\right) ^2(b-a)^2}\,f_\eta (\theta ), \end{aligned}$$
For example, for \(\eta =1,2\), \(f_\eta (\theta )\) has the following analytical expressions
Proof
For item (i) see [7, 37]. For item (ii), see [22, Theorem 10.15]. \(\square \)
About the spectral symbol \(\omega _{\eta }\) see again Remark 3. We have an analogue of Corollary C.1.
Corollary D.1
For every fixed \(\eta \), the function \(f_\eta \) is differentiable, nonnegative, monotone increasing on \([0,\pi ]\) and it holds that
Proof
See [21, Theorem 1, Theorem 2 and Lemma 1]. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bianchi, D. Analysis of the spectral symbol associated to discretization schemes of linear self-adjoint differential operators. Calcolo 58, 38 (2021). https://doi.org/10.1007/s10092-021-00426-5
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10092-021-00426-5
Keywords
- Spectral symbol
- Discretization schemes
- Linear self-adjoint differential operators
- Maximum spectral relative error