Bivariate generalized shifted Gegenbauer orthogonal system (Q2034497)

Summary: For \(K_0\), \(K_1\geq 0\), \(\lambda> -(1/2)\), we examine \(\mathcal{C}_r^{*(\lambda, K_0, K_1)}(x)\), generalized shifted Gegenbauer orthogonal polynomials, with reference to the weight \(W^{(\lambda, K_0,K_1)}(x)= ((2 \lambda \Gamma (2\lambda)) / (\Gamma (\lambda +(1/2))^2)) (x-x^2)^{\lambda - (1/2)} \mathbb{I} (x\in (0,1)) \text{d}x+ K_0 \delta_0+ K_1 \delta_1\), where the indicator function is denoted by \(\mathbb{I} (x\in (0,1))\) and \(\delta_x\) indicates the Dirac \(\delta\)-measure. Then, we construct a bivariate generalized shifted Gegenbauer orthogonal system \(\mathfrak{C}_{n,r,d}^{*(\lambda,K_0,K_1)}(u,v,w)\) over a triangular domain \(T\), with reference to a bivariate measure \(W^{(\lambda,\gamma,K_0,K_1)} (u,v,w)=((\Gamma (2\lambda +1)) / \Gamma (\lambda + (1/2))^2) u^{\lambda -(1/2)} (1-v)^{\lambda -(1/2)} (1-w)^{\gamma-1} \mathbb{I} (u \in (0,1 - w)) \mathbb{I} (w\in (0,1))\text{d}u \text{d}w+ K_0 \delta_0(u)+ K_1 \delta_{w-1}(u)\), which is given explicitly in the Bézier form as \(\mathfrak{C}_{n,r,d}^{*(\lambda,K_0,K_1)} (u,v,w)=\sum_{i+j+k= n} a_{i,j,k}^{n,r,d} \mathbb{B}_{i,j,k}^n (u,v,w)\). In addition, for \(d=0,\dots,k, r=0,1,\dots,n\), and \(n\in\{0\}\cup\mathbb{N}\), we write the coefficients \(a_{i,j,k}^{n,r,d}\) in closed form and produce an equation that generates the coefficients recursively.