Approximation and orthogonality on fully symmetric domains

Abstract

We study orthogonal polynomials on a fully symmetric planar domain $\Omega$ that is generated by a certain triangle in the first quadrant. For a family of weight functions on $\Omega$, we show that orthogonal polynomials that are even in the second variable on $\Omega$ can be identified with orthogonal polynomials on the unit disk composed with a quadratic map, and the same phenomenon can be extended to the domain generated by the rotation of $\Omega$ in higher dimensions. The connection allows an immediate deduction of results for approximation and Fourier orthogonal expansions on these fully symmetric domains. It applies, for example, to analysis on a double cone or a double hyperboloid.