Abstract <p> In nonlinear approximation, it is common to consider classes of functions given by their expansion coefficients with respect to some basis <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\Psi=(\psi_{\mathbf k})\)</EquationSource> </InlineEquation>, i.e., <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(f = \sum_{\mathbf k\in\mathbb Z^d} a_{\mathbf k} \psi_{\mathbf k}\)</EquationSource> </InlineEquation>, with certain structural conditions imposed on the coefficients <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\((a_{\mathbf k})\)</EquationSource> </InlineEquation> and certain conditions imposed on the basis <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\((\psi_{\mathbf k})\)</EquationSource> </InlineEquation>. A classical example is given by absolutely convergent series <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\sum_{\mathbf k\in\mathbb Z^d}\mathopen|a_{\mathbf k}|&lt;\infty\)</EquationSource> </InlineEquation> with respect to an orthogonal or a Riesz basis <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\((\psi_{\mathbf k})\)</EquationSource> </InlineEquation>, or even a redundant set of functions. Here, we study the classes of functions <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathbf A_\beta^{r,b}(\Psi,\mathcal G)\)</EquationSource> </InlineEquation> with the property <Equation ID="Equi"> <EquationSource Format="TEX">\(\Biggl(\,\sum_{\mathbf k\in G_j\setminus G_{j-1}}\mathopen|a_{\mathbf k}|^\beta\Biggr)^{\negthinspace 1/\beta} \le 2^{-rj} j^b, \qquad j\in\mathbb N,\)</EquationSource> </Equation> where the index sets <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathcal G=(G_j)\)</EquationSource> </InlineEquation> satisfy <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(G_{j-1}\subset G_j\)</EquationSource> </InlineEquation> and <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\bigcup_{j=1}^\infty G_j = \mathbb Z^d\)</EquationSource> </InlineEquation>. It has been shown recently that universal sampling discretization and nonlinear sparse approximation are useful in the sampling recovery problem for this type of functions, namely, when <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\((G_j)\)</EquationSource> </InlineEquation> are dyadic cubes or dyadic hyperbolic crosses. In this paper, we generalize these particular results to the classes of functions defined by index sets <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\((G_j)\)</EquationSource> </InlineEquation> of a rather general structure. </p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Sparse Approximation and Sampling Recovery on Function Classes with a Structural Condition

  • A. Yu. Shadrin,
  • V. N. Temlyakov,
  • S. Yu. Tikhonov

摘要

Abstract

In nonlinear approximation, it is common to consider classes of functions given by their expansion coefficients with respect to some basis \(\Psi=(\psi_{\mathbf k})\) , i.e., \(f = \sum_{\mathbf k\in\mathbb Z^d} a_{\mathbf k} \psi_{\mathbf k}\) , with certain structural conditions imposed on the coefficients \((a_{\mathbf k})\) and certain conditions imposed on the basis \((\psi_{\mathbf k})\) . A classical example is given by absolutely convergent series \(\sum_{\mathbf k\in\mathbb Z^d}\mathopen|a_{\mathbf k}|<\infty\) with respect to an orthogonal or a Riesz basis \((\psi_{\mathbf k})\) , or even a redundant set of functions. Here, we study the classes of functions \(\mathbf A_\beta^{r,b}(\Psi,\mathcal G)\) with the property \(\Biggl(\,\sum_{\mathbf k\in G_j\setminus G_{j-1}}\mathopen|a_{\mathbf k}|^\beta\Biggr)^{\negthinspace 1/\beta} \le 2^{-rj} j^b, \qquad j\in\mathbb N,\) where the index sets \(\mathcal G=(G_j)\) satisfy \(G_{j-1}\subset G_j\) and \(\bigcup_{j=1}^\infty G_j = \mathbb Z^d\) . It has been shown recently that universal sampling discretization and nonlinear sparse approximation are useful in the sampling recovery problem for this type of functions, namely, when \((G_j)\) are dyadic cubes or dyadic hyperbolic crosses. In this paper, we generalize these particular results to the classes of functions defined by index sets \((G_j)\) of a rather general structure.