Spectral analysis and spectral symbol of matrices in isogeometric collocation methods

We consider a linear full elliptic second order partial differential equation in a d-dimensional domain, d 65 1, approximated by isogeometric collocation methods based on uniform (tensor-product) B-splines of degrees p := (p1, ... , pd), pj 65 2, j = 1, ... , d. We give a construction of the inherently non-symmetric matrices arising from this approximation technique and we perform an analysis of their spectral properties. In particular, we find and study the associated (spectral) symbol, that is, the function describing their asymptotic spectral distribution (in theWeyl sense) when the matrix-size tends to infinity or, equivalently, the fineness parameters tend to zero. The symbol is a non-negative function with a unique zero of order two at \u3b8 = 0 (where \u3b8 : = (\u3b81, ... , \u3b8d) are the Fourier variables), but with infinitely many 'numerical zeros' for large ||p|| 1e. Indeed, the symbol converges exponentially to zero with respect to pj at all the points \u3b8 such that \u3b8j = \u3c0. In other words, if pj is large, all the points \u3b8 with \u3b8j = \u3c0 behave numerically like a zero of the symbol. The presence of the zero of order two at \u3b8 = 0 is expected because it is intrinsic in any local approximation method, such as finite differences and finite elements, of second order differential operators. However, the 'numerical zeros' lead to the surprising fact that, for large ||p|| 1e, there is a subspace of high frequencies where the collocation matrices are ill-conditioned. This noncanonical feature is responsible for the slowdown, with respect to p, of standard iterative methods. On the other hand, this knowledge and the knowledge of other properties of the symbol can be exploited to construct iterative solvers with convergence properties independent of the fineness parameters and of the degrees p