On the Bernstein-Bézier form of Jacobi polynomials on a simplex

Here, we give a simple proof of a new representation for orthogonal polynomials over triangular domains which overcomes the need to make symmetry destroying choices to obtain an orthogonal basis for polynomials of fixed degree by employing redundancy. A formula valid for simplices with Jacobi weights is given, and we exhibit its symmetries by using the Bernstein-Bezier form. From it, we obtain the matrix representing the orthogonal projection onto the space of orthogonal polynomials of fixed degree with respect to the Bernstein basis. The entries of this projection matrix are given explicitly by a multivariate analogue of the 3F2 hypergeometric function. Along the way we show that a polynomial is a Jacobi polynomial if and only if its Bernstein basis coefficients are a Hahn polynomial. We then discuss the application of these results to surface smoothing problems under linear constraints.