A fast iteration method for solving elliptic problems with quasiperiodic coefficients
Boris N. Khoromskij and Sergey Repin
Contact the author: Please use for correspondence this email.
Submission date: 02. Oct. 2015
published in: Russian journal of numerical analysis and mathematical modelling, 30 (2015) 6, p. 329-344
DOI number (of the published article): 10.1515/rnam-2015-0030
MSC-Numbers: 65F30, 65F50, 65N35, 65F10
Keywords and phrases: lattice-structured and quasi-periodic systems, a posteriori estimates, tensor numerical methods
The paper suggests a preconditioning type method for fast solving of elliptic equations with oscillating quasiperiodic coefficients A𝜖 specified by the small parameter 𝜖 > 0. We use an iteration method generated by an elliptic operator, associated with a certain simplified (e.g., homogenized) problem. On each step of this procedure it is required to solve an auxiliary elliptic boundary value problem with non–oscillating coefficients A0. All the information related to complicated coefficients of the original differential problem is encompasses in the linear functional, which forms the right hand side of the auxiliary problem. Therefore, explicit inversion of the original operator associated with oscillating coefficients is avoided. The only operation used instead is multiplication of the operator by a vector (vector function), which can be efficiently performed due to the low-rank QTT tensor operations with the rank parameter controlled by the given precision δ > 0 independent on the parameter 𝜖. We deduce two–sided a posteriori error estimates that do not use A𝜖−1 and provide guaranteed two sided bounds of the distance to the exact solution of the original problem for any step of the iteration process. The second part is concerned with realizations of the iteration method. For a wide class of oscillating coefficients, we obtain sharp QTT rank estimates for the stiffness matrix in tensor representation. In practice, this leads to the logarithmic complexity scaling of the approximation and solution process in both the FEM grid-size, and the frequency parameter 1∕𝜖. Numerical tests in 1D confirm the logarithmic complexity O(|log 𝜖|) of the proposed method applied to a class of complicated highly-oscillating coefficients.
The manuscript is located here.