Almost everywhere convergence of orthogonal expansions of several variables (Q814796)

This very technical paper contains beautiful results on convergence of special orthogonal expansions. It is outside the scope of a review to give the reader here a complete description of the theoretical setting and definitions of the main ingredients, but the following hopes to sketch what is happening; the interested reader has to consult the paper itself. An important role is played by the weight function \[ h_{\kappa}(x)=\prod_{v\in R_{+}}\,| \langle x,v\rangle| ^{\kappa_v},\;x\in\mathbf{R}^{d+1}, \] where \(R_{+}\) is a fixed root system for \textbf{R}\(^{d+1}\) with \(\langle v,v\rangle=2\) for all \(v\in R_{+}\) and \(\kappa\) is nonnegative multiplicity function that is constant on classes of conjugates in the reflection group \(G\) generated by the reflections \(\{\sigma_v\,:\,v\in R_{+}\}\); \(h_{\kappa}\) is invariant under \(G\). The paper then addresses three different situations: A The case of \(S^d\), the unit sphere in \textbf{R}\(^{d+1}\) The \(h\)-harmonics considered are the orthogonal polynomials with respect to \(h_{\kappa}^2(x)d\omega\), where \(d\omega\) is the surface Lebesgue measure on \(S^d\). The main result implies \[ \lim_{r\uparrow 1}\,P_r(f,x)=f(x)\;\text{a.e. on }S^d\;(\text{Poisson kernel}), \] \[ \lim_{n\rightarrow\infty}\,M_n(f,x)=f(x)\;\text{a.e. on }S^d\;(\text{de La Vallée Poussin mean}), \] \[ \lim_{n\rightarrow\infty}\,S_n^{\delta}(h_{\kappa}^2;f,x)=f(x)\;\text{a.e. on }S^d \;(\delta>\lambda_{\kappa},\,\text{Cesàro \((C,\delta)\)}). \] B. The case of \(B^d\), the closed unit ball in \textbf{R}\(^d\) Here the weight function is of the form \[ W_{\kappa,\mu}^B(x)=h_{\kappa}^2(x)(1-| | x| | ^2)^{\mu-1/2},\;x\in B^d, \] where \(h_{\kappa}\) is reflection invariant on \textbf{R}\(^d,\,\mu>0\). The main result implies \[ \lim_{r\uparrow 1}\,P_r(f,x)=f(x)\;\text{a.e. on }B^d\;(\text{Poisson summation}). \] (in the paper \(r\rightarrow\infty\) is obviously a typo) C. The case of \(T^d\), the unit simplex in \textbf{R}\(^d\) (\(x_1,\ldots,x_d\geq 0,x_1+\cdots x_d\leq 1\)) Here the weight function is of the form \[ W_{\kappa,\mu}^T(x)=h_{\kappa}^2(x)(1-| | x| | ^2)^{\mu-1/2},\;x\in B^d, \] where \(h_{\kappa}\) is reflection invariant on \textbf{R}\(^d\) in each of its variables, \(\mu>0\) . The main result implies \[ \lim_{r\uparrow 1}\,P^T_r(f,x)=f(x)\;\text{a.e. on }T^d\;(\text{Poisson summation}), \] \[ \lim_{n\rightarrow\infty}\,M_n(W^T_{\kappa,\mu};f,x)=f(x)\;\text{a.e. on }T^d\;(\text{de La Vallée Poussin mean}) \] (this mean actually is a Bernstein-Durrmeyer operator on \(T^d\)).