Approximation on hexagonal domains by Taylor-Abel-Poisson means (Q6063010)

In the paper, the approximative properties of the Taylor-Abel-Poisson linear summation method of Fourier series are considered for functions of several variables, periodic with respect to the hexagonal lattice. This type of periodicity is defined by the hexagon lattice given by HZ$^2$, where \[ H=\Omega_{H}=(x_1,x_):-1\leq x_2,((\sqrt 3)/2)x_1\pm(()/1)2x_2. \] Use the homogeneous coordinates $t=(t_1, t_2, t_3)\in\mathbb{R}^3$ such that $t_1+ t_2+ t_3= 0$ and write $t\in\mathbb{R}^3_{H}$. If $t_1=-((x_2)/2)+((\sqrt{3x_1})/2)$, $t_2=x_2$, $t_3:=-((x_2)/2)-((\sqrt{3x_1})/2)$, then $\Omega_{H}$ becomes $\Omega=\{t=(t_1,t_2,t_3)\in\mathbb{R}^3_{H}: -1\leq t_1,t_2,t_3<1\}$, which is the intersection of the plane $t_1+t_2+t_3=0$ with the cube $[-1,1)^3$. A function $f$ is called periodic with respect to the hexagonal lattice $H$ (or $H$-periodic) if $f(x)=f(x+Hk)$, $k\in \mathbb{Z}^2$. In homogeneous coordinates, a function $f(t)$ is $H$-periodic if $f(t)=f(t+j)$ whenever $j\equiv 0$ (mod 3). Let $L_{p}=L_{p}(\Omega)$, $1\leq p\leq\infty$, be the space of all \({\mathcal H}\)-periodic functions $f$, given on the hexagonal domain $\Omega$, with the usual norm $f_{p}$. The set $\{\varphi_{k}(t)=e^{((2\pi i)/3)k\cdot t}:k\in \mathbb{Z}^3_{H}\}$ is an orthonormal basis of $L_2(\Omega)$. Set $J_\nu:=\{k\in \mathbb{Z}^3_{H}:|k|:=\max_{j}\{|k_{j}|\}=\nu\}$, $\nu=0,1,\dots$, and for any $\varrho\in[0,1)$ and $r\in N$, consider the transformation \[ A_{\varrho,r}(f)(t):=\sum_{\nu=0}^\infty\lambda_{\nu,r}(\varrho)\sum_{k\in J_\nu}f(k)\varphi_{k}(t),\quad f(k):=\langle f,\varphi_{k}\rangle, \] where $\lambda_{\nu,r}(\varrho)\equiv 1$ if $\nu=0,1,\dots,r-1$, and $\lambda_{\nu,r}(\varrho):=\sum_{j=0}^{r-1}(\nu/j)(1-\varrho)^{j}\varrho^{\nu-j}$ if $\nu=r$, $r+1,\dots$. If for a function $f\in L_1(\Omega)$ and $n\in N$, there exists a function $g\in L_1(\Omega)$ such that $g(k)=0$ when $|k|<n$ and $g(k)=((|k|!)/((|k|-n)!))f(k)$ when $|k|\geq n$, $k\in \mathbb{Z}^3_{H}$, then for the function $f$, there exists the radial derivative $g=:f^{[n]}$ of order $n$. In the space $L_{p}(\Omega)$, the $K$-functional of $f$ generated by the radial derivative of the order $n\in N$ is the following quantity: $K_{n}(\delta,f)_{p}:=\inf\Vert f-h\Vert_{p}+\delta^n\Vert h^{[n]}\Vert_{p}: h^{[n]}\in L_{p}(\Omega)\}$, $\delta>0$. Let $Z_{n}$, $n\in N$, denote the set of all continuous strictly increasing functions $\omega(t)$, $t\in[0,1]$, with $\omega(0)=0$ satisfying the following conditions: \[ \int_0^\delta((\omega(t))/t)dt=O(\omega(\delta)),\, \delta\to 0+,\text{ and } \int_\delta^1((\omega(t))/(t^{n+1}))dt=O((\omega(\delta))/(\delta^n)),\, \delta\to 0+. \] As a consequence of the main results of the paper, there is the following statement: Theorem. Assume that $f\in L_{p}(\Omega)$, $1\leq p\leq\infty$, $n$, $r\in N$, $n\leq r$ and $\omega\in Z_{n}$. Then \[ f-A_{\varrho, r}(f)_{p}=O((1-\varrho)^{r-n}\omega(1-\varrho)),\quad \varrho\to 1-, \] iff there exists the derivative $f^{[r-n]}\in L_{p}(\Omega)$ and $K_{n}(\delta,f^{[r-n]})_{p}=O(\omega(\delta))$, $\delta\to 0+$.