Bivariate \(n\)-term rational approximation (Q2569472)

Let \(\mathcal T=\cup_{m\in\mathbb Z}\mathcal T_m\) be a multilevel triangulation of \(\mathbb R^2\) satisfying some conditions (so-called strong locally regular triangulation), let \(\sum_n^k(\mathcal T),\) \(k\geq 1\) denote the set of all \(n\)-term piecewise polynomial functions of the form \(S=\sum_{\Delta\in\Lambda_m}\chi_{\Delta}\cdot P_{\Delta},\) where \(P_{\Delta}\) is a polynomial of degree \(\leq k,\) \(\Lambda_n\subset\mathcal T,\) \(\#\Lambda_n\leq n,\) and \(\Lambda_n\) may vary with \(S,\) let \(\mathcal R_n\) denote the set of all \(n-\)term rational functions on \(\mathbb R^2\) of the form \(R=\sum_{i=1}^nr_i ,\) where each \(r_i\) is of the form \(r_i(x_1,x_2)=\prod_{\mu=1}^6\frac{a_{\mu}x_1+b_{\mu}x_2+c_{\mu}}{1+(\alpha_{\mu}x_1+\beta_{\mu}x_2+\gamma_{\mu})^2}\) with \(a_{\mu},b_{\mu},c_{\mu},\alpha_{\mu},\beta_{\mu},\gamma_{\mu}\in\mathbb R.\) The error of \(L_p\)-approximation to \(f\in L_p(\mathbb R^2)\) from \(\Sigma_n^k(\mathcal T)\) is denoted by \(\sigma_n(f,\mathcal T)_p,\) and the error of \(L_p\)-approximation to \(f\) from \(\mathcal R_n\) is denoted by \(R_n(f)_p.\) The main result is the following: let \(f\in L_p(\mathbb R^2), 0<p<\infty, \alpha>0, \) and \(k\geq 1.\) Then \[ R_n(f)_p\leq cn^{-\alpha}\left(\sum_{m=1}^n\frac{1}{m}\left(m^{\alpha}\sigma_m(f,\mathcal T)_p\right)^{p^*}+\| f\|_p^{p^*}\right)^{1/p^*},\quad n=1,2,\ldots, \] where \(p^*=\min\{1,p\}\) and \(c\) depends only on \(\alpha,p,k,\) and the parameters of \(\mathcal T.\)