A theoretical study of COmpRessed SolvING for advection-diffusion-reaction problems
We present a theoretical analysis of the CORSING (COmpRessed SolvING) method for the numerical approximation of partial differential equations based on compressed sensing. In particular, we show that the best s-term approximation of the weak solution of a PDE with respect to an orthonormal system of $N$ trial functions, can be recovered via a Petrov-Galerkin approach using $m \ll N$ orthonormal test functions. This recovery is guaranteed if the local a-coherence associated with the bilinear form and the selected trial and test bases fulfills suitable decay properties. The fundamental tool of this analysis is the restricted infsup property, i.e., a combination of the classical inf-sup condition and the well-known restricted isometry property of compressed sensing.