6533b82cfe1ef96bd12900a9

RESEARCH PRODUCT

Rank structured approximation method for quasi--periodic elliptic problems

Sergey RepinBoris N. Khoromskij

subject

Discrete mathematicsNumerical AnalysisRank (linear algebra)PreconditionerApplied Mathematicsprecondition methodsguaranteed error boundsOrder (ring theory)65F30 65F50 65N35 65F10tensor type methods010103 numerical & computational mathematicsNumerical Analysis (math.NA)elliptic problems with periodic and quasi-periodic coefficients01 natural sciencesFinite element method010101 applied mathematicsComputational MathematicsOperator (computer programming)Simple (abstract algebra)FOS: MathematicsBoundary value problemTensorMathematics - Numerical Analysis0101 mathematicsMathematics

description

We consider an iteration method for solving an elliptic type boundary value problem $\mathcal{A} u=f$, where a positive definite operator $\mathcal{A}$ is generated by a quasi--periodic structure with rapidly changing coefficients (typical period is characterized by a small parameter $\epsilon$) . The method is based on using a simpler operator $\mathcal{A}_0$ (inversion of $\mathcal{A}_0$ is much simpler than inversion of $\mathcal{A}$), which can be viewed as a preconditioner for $\mathcal{A}$. We prove contraction of the iteration method and establish explicit estimates of the contraction factor $q$. Certainly the value of $q$ depends on the difference between $\mathcal{A}$ and $\mathcal{A}_0$. For typical quasi--periodic structures, we establish simple relations that suggest an optimal $\mathcal{A}_0$ (in a selected set of "simple" structures) and compute the corresponding contraction factor. Further, this allows us to deduce fully computable two--sided a posteriori estimates able to control numerical solutions on any iteration. The method is especially efficient if the coefficients of $\mathcal{A}$ admit low rank representations and algebraic operations are performed in tensor structured formats. Under moderate assumptions the storage and solution complexity of our approach depends only weakly (merely linear-logarithmically) on the frequency parameter $1/\epsilon$, providing the FEM approximation of the order of $O(\epsilon^{1+p})$, $p>0$.

https://dx.doi.org/10.48550/arxiv.1701.00039