Minimal Cubature rules and polynomial interpolation in two variables

Abstract: Minimal cubature rules of degree $4n-1$ for the weight functions $$ W_{\a,\b,\pm \frac12}(x,y) = |x+y|^{2\a+1} |x-y|^{2\b+1} ((1-x^2)(1-y^2))^{\pm \frac12} $$ on $[-1,1]^2$ are constructed explicitly and are shown to be closed related to the Gaussian cubature rules in a domain bounded by two lines and a parabola. Lagrange interpolation polynomials on the nodes of these cubature rules are constructed and their Lebesgue constants are determined.

\section{Introduction}
\setcounter{equation}{0}

Minimal cubature rules have the smallest number of nodes among all cubature rules
of the same precision. Let $W$ be a non-negative weight function on a domain
$\Omega \subset {\mathbb R}^2$. For a positive integer $s$, a cubature rule of precision $s$
with respect to $W$ is a finite sum that satisfies
\begin{equation} \label{cuba-generic}
        \int_\Omega f(x,y) W(x,y) dxdy = \sum_{k=1}^N {\lambda}_k f(x_k,y_k),
             \qquad \forall f\in \Pi_{s}^2,
\end{equation}
where $\Pi_s^2$ denotes the space of polynomials of degree at most $s$ in two variables,
and there exists at least one function $f^*$ in $\Pi_{s+1}^2$ such that the equation
\eqref{cuba-generic} does not hold.

It is known that the number of nodes $N$ of a cubature rule necessarily satisfies
\begin{equation}\label{lbdGaussian}
   N \ge \dim \Pi_{n-1}^2 =  \frac{n (n+1)}{2}, \qquad \hbox{$s = 2n-1$ or $2n-2$}
\end{equation}
(cf. \cite{My, St}). A cubature rule of degree $s$ with $N$ attaining the lower bound in
\eqref{lbdGaussian} is called Gaussian. Unless quadrature rules in one variable,
Gaussian cubature rules rarely exist. At the moment, they are known to exist only in
two cases. The first case, discovered in \cite{SX}, is for a family of weight functions
that includes, in particular, $W_{\a,{\beta},\pm 12}$ defined by
\begin{equation} \label{Wab}
    W_{\a,{\beta},\pm \frac12}(u,v) = (1-u+v)^\a (1+u+v)^{\beta} (u^2- 4 v)^{\pm \frac12}
\end{equation}
on the domain $\Omega  = \{(u,v): 1+u+v > 0, 1-u+v > 0, u^2 > 4v\}$, bounded by
two lines and a parabola. On the other hand, Gaussian cubature rules of degree
$2n-1$ do not exist when $W$ is centrally symmetric, that is, when $W$ and its
domain $\Omega$ are both symmetric with respect to the origin:
$(-x,-y) \in \Omega$ whenever $(x,y)\in \Omega$ and $W(-x,-y) = W(x,y)$.
For centrally symmetric weight functions and $s = 2n-1$, a stronger lower bound
\cite{M} for the number of nodes is given by
\begin{equation}\label{lwbd}
   N \ge \dim \Pi_{n-1}^2 + \left \lfloor \frac{n}{2} \right \rfloor
            = \frac{n(n+1)}{2} +  \left \lfloor \frac{n}{2} \right \rfloor.
\end{equation}
A cubature rule that attains this lower bound is necessarily minimal. There are,
however, only a couple of examples for which this lower bound is attained for
all $n$, most notable being the product Chebyshev weight functions on the square.

In the present paper we shall show that the minimal cubature rules of degree
$4n-1$ exist for a family of weight functions that includes, in particular,
\begin{equation} \label{CWab}
 {\mathcal W}_{\a,{\beta},\pm \frac12}(x,y) : = |x+y|^{2 \a+1} | x- y|^{2 \beta +1}
          (1-x^2)^{\pm \frac12}(1-y^2)^{\pm \frac12},
\end{equation}
on $[-1,1]^2$ and, furthermore, there is a connection between these minimal cubature
rules and Gaussian cubature rules associated with the weight function $W_{\a,{\beta},\pm \frac12}$.
The weight functions \eqref{CWab} include the product Chebyshev weight functions
(when $\a = {\beta} = \pm \frac12$), for which the minimal cubature rules are known to exist and
have been established in several different methods  \cite{BP, LSX, MP, X94}. Our result
shows that they can be deduced from the Gaussian cubature rules for
$W_{-\frac12, - \frac12, \pm \frac12}$ on $\Omega$. Giving the fact that so few minimal
cubature rules are known explicitly, this connection is rather surprising.

Cubature rules are closely related to interpolation by polynomials. Based on the nodes of a
Gaussian cubature rule of degree $2n-1$, there is a unique Lagrange interpolation
polynomial of degree $n-1$ which converges to $f$ in $L^2$ norm as $n \to \infty$ (\cite{Xu92}).
On the nodes of the minimal cubature rule that attains \eqref{lwbd}, there is a unique Lagrange
interpolation polynomial in an appropriate subspace of polynomials \cite{X94}.
Furthermore, the interpolation polynomials based
on the nodes of the minimal cubature rules for the produce Chebyshev weight function
${\mathcal W}_{-\frac12, -\frac12,-\frac12}$, studied in \cite{X96}, has the Lebesgue constant
of order $(\log n)^2$ \cite{BMV}, which is the minimal order of projection operators
on $[-1,1]^2$ \cite{SV}. We shall discuss the Lagrange interpolations based on both
the nodes of Gaussian cubature rules with respect to $W_{\a,{\beta},\pm \frac12}$ and the
nodes of minimal cubature rules for \eqref{CWab} in this paper.

The paper is organized as follows. The next section is the preliminary, in which we
recall basics on cubature rules and, in particular, the connection between cubature
rules and interpolation polynomials, as well as basics on the orthogonal polynomials that
will be needed in the paper. The Gaussian cubature rules for weight functions
including $W_{\a,{\beta},\pm 12}$ and minimal cubature rules for ${\mathcal W}_{\a,{\beta},\pm \frac12}$
are discussed in Sections 3 and 4, respectively. The interpolation polynomials based
on the nodes of these cubature rules are treated in Sections 5 and 6, respectively.

\section{Preliminary and Background}
\setcounter{equation}{0}

Minimal cubature rules are closely connected to orthogonal polynomials and to
polynomial interpolation. We recall the connections in this section and state
necessary definitions and properties of the weight functions and their orthogonal
polynomials that will be needed later in the paper.

\subsection{Cubature, orthogonal polynomials and interpolation}
Let $W$ be a nonnegative weight function defined on a domain $\Omega$ in ${\mathbb R}^2$
that has all finite moments; that is, $\int_\Omega x_1^j x_2^k W(x_1,x_2) dx_1dx_2 < \infty$
for all $j,k \in {\mathbb N}_0$. Then  orthogonal polynomials of two variables with respect to $W$
exist. Let ${\mathcal V}_n(W)$ denote the space of orthogonal polynomials of degree $n$ in two
variables. Then
$$
   \dim {\mathcal V}_n(W) = n+1.
$$
Assume that $W$ is normalized so that $\int_\Omega W(x_1,x_2) dx_1dx_2 =1$. A basis
of ${\mathcal V}_n(W)$, denoted by $\{P_{k,n}: 0 \le k \le n\}$, is mutually orthogonal if
$$
  \int_\Omega P_{k,n}(x_1,x_2) P_{j,n}(x_1,x_2) W(x_1,x_2) dx_1d x_2 =
              h_k \delta_{k,j}, \quad 0\le  k, j \le n,
$$
where $h_k  > 0$ and it is called orthonormal if $h_k =1$ for $0 \le k \le n$. The
reproducing kernel $K_n(W; \cdot,\cdot)$ of $\Pi_n^2$ in $L^2(W)$ is defined by
$$
      \int_\Omega K_n(W;x,y)  p(y) W(y) dy = p(x), \quad \forall p \in \Pi_n^2,
$$
in which $x = (x_1,x_2)$ and $y=(y_1,y_2)$. If $P_{k,n}$ are orthonormal, then the reproducing
kernel $K_n(W; \cdot,\cdot)$ of $\Pi_n^2$ in $L^2(W)$ is given by
\begin{equation} \label{eq:reprod}
 K_n(W; x, y) = \sum_{m=0}^n \sum_{k=0}^m P_{k,m}(x)P_{k,m}(y).
\end{equation}

Recall that a Gaussian cubature rule of degree $2n-1$, as in \eqref{cuba-generic}, has
$\dim \Pi_{n-1}^2$ nodes. These nodes are necessarily common zeros of orthogonal
polynomials in ${\mathcal V}_n(W)$, that is, zeros of all polynomials in ${\mathcal V}_n(W)$ (cf. \cite{DX, M, St}).

\begin{thm}\label{thm:Gauss}
Let $n \ge 1$. A Gaussian cubature rule of degree $2n-1$ exists if and only if its nodes
are common zeros of orthogonal polynomials of degree $n$.  Moreover, the weights ${\lambda}_k$
of the Gaussian cubature rule are given by
$$
    {\lambda}_k = \left[ K_{n-1} (W; (x_k,y_k), (x_k,y_k)) \right ]^{-1}, \quad 1 \le k \le N.
$$
\end{thm}

Unlike interpolation in one variable, polynomial interpolation in two variables may not exist
for a set of distinct points. It does exists if the interpolation points are nodes of a Gaussian
cubature rule \cite{X94}.

\begin{thm}\label{thm:Gauss-Interp}
Let $N=\dim \Pi_{n-1}^2$ and let $\{(x_k, y_k): 1 \le k \le N\}$ be the nodes of a Gaussian
cubature rule of degree $2n-1$. Then there is a unique interpolation polynomial, $L_n f$,
of degree $n-1$ that satisfies
$$
   L_n f (x_{k,n},y_{k,n}) =  f(x_{k,n},y_{k,n}), \quad 1 \le k \le N.
$$
Furthermore, this interpolation polynomial is given explicitly by
$$
    L_n f(x,y) = \sum_{k=1}^N f(x_k,y_k) \ell_k(x,y), \quad \ell_k(x,y):=\lambda_k K_{n-1}(W; (x,y), (x_k,y_k)).
$$
\end{thm}

For centrally symmetric weight functions, we consider the minimal cubature rules whose
number of nodes attains the lower bound in \eqref{lwbd}. The nodes of such a cubature
rule are common zeros of a subspace of ${\mathcal V}_n(W)$ (\cite{M}, see also \cite{X94}).

\begin{thm}\label{thm:minimalCuba}
Let $n \ge 1$. The minimal cubature rule of degree $2n-1$ that attains the lower bound
\eqref{lwbd} exists if and only if its nodes are common zeros of $\lfloor \frac{n+1}{2} \rfloor +1$
orthogonal polynomials of degree $n$.
\end{thm}

Since the number of nodes of such minimal cubature rules is $N= \dim \Pi_{n-1}^2 +
\lfloor \frac{n}{2} \rfloor$, the polynomial that interpolates at the nodes of the cubature
rule needs to be from a polynomial subspace of $\Pi_n$ that has dimension $N$. An obvious
candidate of this subspace is the linear span of $\Pi_n^2 \setminus {\mathcal I}_n$, where ${\mathcal I}_n: = \{Q_{k,n}: k =0, 1,\ldots,
\lfloor \frac{n+1}{2} \rfloor\}$ denotes a set of orthonormal polynomials that vanish on
the nodes of the minimal cubature rule. Let $\{P_{k,n}: 1 \le k \le \lfloor \frac{n}{2} \rfloor\}$
be the orthonormal basis of the orthogonal complement of ${\mathcal I}_n$ in ${\mathcal V}_n(W)$. Then
$P_{k,n} \in {\mathcal V}_n(W)$ and none of $P_{k,n}$ vanishes on all nodes of the cubature rule.
We define a subspace $\Pi_n^*$ of $\Pi_n^2$ by
\begin{equation}\label{Pin*}
      \Pi_n^*: = \Pi_{n-1}^2 \cup \mathrm{span} \left\{ P_{k,n}:
                 1 \le k \le \left \lfloor \frac{n}{2} \right \rfloor \right\}.
\end{equation}
The weights ${\lambda}_{k,n}$ of the minimal cubature rule in Theorem \ref{thm:minimalCuba}
are given in the lemma below.

\begin{lem}
Let $P_{k,n}$ be as in \eqref{Pin*}. There exists a sequence of positive numbers
$\{b_{k,n}: 1 \le k \le \left \lfloor \frac{n}{2} \right \rfloor\}$, uniquely determined, such that
the kernel $K_n^*(\cdot, \cdot)$ defined by
\begin{equation} \label{Kn*}
 K_n^*(W; x,y) = K_{n-1}(W; x,y) + \sum_{k=1}^{\lfloor \frac{n}{2} \rfloor} b_{k,n} P_{k,n} (x) P_{k,n}(y),
\end{equation}
where $x = (x_1,x_2)$ and $y = (y_1,y_2)$, satisfies
\begin{equation}\label{mcfWeight}
   {\lambda}_{k,n} =  \left[ K_n^* (W; (x_k,y_k), (x_k,y_k)) \right ]^{-1}, \quad 1 \le k \le N.
\end{equation}
\end{lem}

This lemma was proved in \cite{X94} and the coefficients were shown to be determined
by the matrix $[{\mathcal C}_n (P_{j,n} P_{k,n})]_{j,k = 0}^n$ in \cite{X97}, where $\{P_{0,n}, \ldots, P_{n,n}\}$
is an orthonormal basis of ${\mathcal V}_n(W)$ and ${\mathcal C}_n f = \sum_{k=1}^N {\lambda}_k f(x_k,y_k)$ is the
minimal cubature rule. The kernel $K_n^*(\cdot, \cdot)$ can also be used for the Lagrange
interpolation polynomials based on the nodes of the minimal cubature rules, as stated in
the following theorem \cite{X94}.

\begin{thm}\label{thm:minimal-Interp}
Let $W$ be a central symmetric weight function. Let $N=\dim \Pi_{n-1}^2 + \lfloor \frac{n}{2} \rfloor$
and let $\{(x_k, y_k): 1 \le k \le N\}$ be the nodes of the minimal cubature rule of degree $2n-1$.
Then there is a unique interpolation polynomial, ${\mathcal L}_n f$, in $\Pi_n^*$ that satisfies
$$
        {\mathcal L}_n f (x_{k,n},y_{k,n}) =  f(x_{k,n},y_{k,n}), \quad 1 \le k \le N.
$$
Furthermore, this interpolation polynomial is given explicitly by
$$
   {\mathcal L}_n f(x,y) = \sum_{k=1}^N f(x_k,y_k) \ell_k(x,y), \quad \ell_k(x,y):=\lambda_{k,n} K_n^*(W; (x,y), (x_k,y_k)),
$$
where ${\lambda}_{k,n}$ are the weights of the cubature rule given in \eqref{mcfWeight}.
\end{thm}

\subsection{Weight functions and orthogonal polynomials}
We define the weight functions for our Gaussian and minimal cubature rules.
Our first weight function is defined on the domain
$$
       \Omega: = \{(u,v): 1+u+v > 0, 1-u+v > 0, u^2 > 4v\},
$$
bounded by a parabola and two lines, as depicted in Figure 1.
\begin{figure}[ht]
\includegraphics[scale=0.48]{K1region.pdf}
\caption[Region of Koornwinder' orthogonal polynomials]{Domain $\Omega$}
\label{figure:region}
\end{figure}
Let $w$ be a nonnegative weight function defined on $[-1,1]$. We define
\begin{equation} \label{Wgamma}
      W_{\gamma}(u,v)  := b_{w,{\gamma}} w(x) w(y) (u^2 - 4 v)^{\gamma}, \qquad (u,v) \in \Omega,
\end{equation}
where the variables $(x,y)$ and $(u,v)$ are related by
\begin{equation}   \label{u-v}
        u = x+y, \quad v= xy
\end{equation}
and $b_{w,{\gamma}}$ is the normalization constant such that $\int_\Omega W_{\gamma}(u,v)dudv =1$.
In the case of the Jacobi weight function $w = w_{\a,{\beta}}$ defined by
$$
   w_{\a,{\beta}}(x) := (1-x)^\a (1+x)^{\beta}, \quad \a,{\beta} > -1,
$$
the weight function $W_\gamma$ is denoted by $W_{\a,{\beta},{\gamma}}$ and it is given by
\begin{equation} \label{Wabc}
W_{\a,{\beta},{\gamma}}(u,v) : = b_{\a,{\beta},{\gamma}}(1-u+v)^\a (1+u+v)^{\beta} (u^2- 4 v)^{\gamma}, \quad (u,v) \in \Omega,
\end{equation}
where $\a, {\beta}, {\gamma} > -1$, $\a + {\gamma} + \frac12> -1$ and ${\beta}+ {\gamma} + \frac12> -1$ and \cite[Lemma 6.1]{S},
\begin{align}
 b_{\a,{\beta},{\gamma}}: = \frac{\sqrt{\pi} }{2^{2\a+2{\beta}+4{\gamma}+2}} \frac{\Gamma(\a+{\beta}+{\gamma}+\frac52)\Gamma(\a+{\beta}+2 {\gamma}+3)}
    {\Gamma(\a+1) \Gamma({\beta}+1)\Gamma({\gamma}+1) \Gamma(\a+{\gamma} + \frac32)
      \Gamma({\beta}+{\gamma}+\frac32)}.
\end{align}
 The weight function
$W_{\gamma}$ is related to $w(x)w(y)$ by the relation
\begin{align} \label{Para-Square}
  \int_{\Omega} f(u,v) W_{\gamma}(u,v) dudv  =
       b_{w,{\gamma}} \int_{\triangle}  f(x+y, x y) w(x)w(y) |x-y|^{2{\gamma}+1}dxdy,
\end{align}
where $\triangle : = \{(x,y): -1< x< y<1\}$. Since the integral in the right hand side has
symmetric integrand in $x, y$, it is equal to half of the integral over $[-1,1]^2$.
In particular, if $c_w$ is the normalization constant of $w$ on $[-1,1]$ so that
$c_w \int_{-1}^1 w(x) dx =1$, then the normalization constant of $W_{-\frac12}$
is given by $b_{w, - \frac12} = 2 c_w^2$.

The orthogonal polynomials with respect to $W_{\a,{\beta},{\gamma}}$ were first studied by Koornwinder
in \cite{K74} and further studied in \cite{K75, KS, S}. They were applied to study cubature rules
in \cite{SX}. In the case of ${\gamma} = \pm  \frac12$,
the orthogonal polynomials with respect to $W_{\pm \frac12}$ can be given explicitly. Let
$p_n$ denote the orthogonal polynomial of degree $n$ with respect to $w$.
Then an orthonormal basis with respect to $W_{-\frac12}$ is given by
\begin{equation} \label{OP-1/2}
    P_{k,n}^{(-\frac12)} (u,v) = \begin{cases}
               p_n(x) p_k(y) + p_n(y) p_k(x), & 0 \le k < n, \\
               \sqrt{2} p_n(x) p_n(y), & k =n,\end{cases}
\end{equation}
and an orthonormal basis with respect to $W_{\frac12}$ is given by
\begin{equation} \label{OP+1/2}
    P_{k,n}^{(\frac12)} (u,v) = \frac{p_{n+1}(x) p_k(y) - p_{n+1} (y) p_k(x)}{x-y}, \quad 0 \le k \le n,
\end{equation}
both families are defined under the mapping \eqref{u-v}. In the case of $W_{\a,{\beta},{\gamma}}$ we denote
the orthogonal polynomials by $P_{k,n}^{\a,{\beta},{\gamma}}$. In particular, $P_{k,n}^{\a,{\beta},\pm \frac12}$
are expressible by the Jacobi polynomials.

Our second family of weight functions are defined on $[-1,1]^2$ by
\begin{equation} \label{CWgamma}
        {\mathcal W}_{\gamma} (x,y) := W_{\gamma} (2 x y, x^2+y^2 -1)|x^2-y^2|, \qquad (x,y) \in [-1,1]^2,
\end{equation}
where $W_{\gamma}$ is the weight function in \eqref{Wgamma}. In the case of $W_{\a,{\beta},{\gamma}}$, it becomes
\begin{align} \label{CWabc}
 {\mathcal W}_{\a,{\beta}, {\gamma}}(x,y) : = b_{\a,{\beta},{\gamma}}4^{\gamma} |x-y|^{2\a +1}  |x + y|^{2{\beta} +1}   (1-x^2)^{\gamma} (1-y^2)^{\gamma},
\end{align}
which includes \eqref{CWab}.
The ${\mathcal W}_{\gamma}$ is normalized if $W_{\gamma}$ is because of the integral relation
\begin{align} \label{Int-P-Q}
 \int_{\Omega} f(u,v) W_{{\gamma}} (u,v) du dv  = \int_{[-1,1]^2} f(2xy, x^2+y^2 -1) {\mathcal W}_{{\gamma}}(x,y) dx dy.
\end{align}
The orthogonal polynomials with respect to ${\mathcal W}_{{\gamma}}$ can be expressed in terms of
orthogonal polynomials with respect to $W_{\gamma}$ (\cite{X10}). For this paper we will only need a
basis for ${\mathcal V}_{2n}(W_{\gamma})$, which consists of polynomials
\begin{align} \label{Qeven}
\begin{split}
   {}_1Q_{k,2n}^{({\gamma})}(x,y):= & P_{k,n}^{({\gamma})}(2xy, x^2+y^2 -1), \qquad 0 \le k \le n, \\
   {}_2Q_{k,2n}^{({\gamma})}(x,y) := & b_{\gamma}^{(1,1)}(x^2-y^2)  P_{k,n-1}^{({\gamma}),1,1}(2xy, x^2+y^2 -1),
   \quad 0 \le k \le n-1,
 \end{split}
\end{align}
where $P_{k,n-1}^{({\gamma}),1,1}$ are orthonormal polynomials with respect to the weight function
$(1-u+v)(1+u+v)W_{\gamma}(u,v)$ and $b_{\gamma}^{(1,1)}$ is a normalization constant for the weight
function. In the case of ${\mathcal W}_{\a,{\beta},{\gamma}}$, we denote the orthogonal polynomials by
${}_iQ_{k,2n}^{\a,{\beta},{\gamma}}$, in which case, $P_{k,n-1}^{({\gamma}), 1,1} = P_{k,n-1}^{\a+1,{\beta}+1,{\gamma}}$ in
\eqref{Qeven}. We will need explicit formulas for these polynomials when ${\gamma} = -1/2$, which
we sum up in the following subsection.  Further results on orthogonal polynomials with respect to $W_{\gamma}$
can be found in \cite{X10}.

\subsection{Jacobi polynomials and orthogonal polynomials for ${\mathcal W}_{\a,{\beta},-\frac12}$}

The Jacobi polynomials are orthogonal with respect to $w_{\a,{\beta}}$ and they
are given explicitly by a hypergeometric function as
$$
 P_n^{(\a,{\beta})}(x,y) = \frac{(\a+1)_n}{n!} {}_2F_1 \left(\begin{matrix} -n, n+\a+{\beta}+1 \\ \a+1 \end{matrix};
        \frac{1-x}{2} \right) = l_n^{(\a,{\beta})} x^n+ \ldots,
$$
where $l_n^{(\a,{\beta})}$ is the leading coefficient. By \cite[(4.21.6)]{Sz},
\begin{align} \label{lead-cn}
    l_n^{(\a,{\beta})} = \frac{(n + a + b + 1)_n}{2^n n!} \quad \hbox{and} \quad
       c_{\a,{\beta}}: =  \frac{\Gamma(\a+{\beta}+1)}{2^{\a+{\beta}+1} \Gamma(\a+1)\Gamma({\beta}+1)}.
\end{align}
The Jacobi polynomials satisfy the orthogonality conditions
\begin{align*}
  c_{\a,{\beta}}  \int_{-1}^1 P_n^{(\a,{\beta})} (x) P_m^{(\a,{\beta})} (x) w_{\a,{\beta}}(x) dx
      =  h_n^{(\a,{\beta})} \delta_{n,m},
\end{align*}
where
\begin{align} \label{hnab}
       h_n^{(\a,{\beta})}:=  \frac{(\a+1)_n ({\beta}+1)_n (\a+{\beta}+n+1)}{n!(\a+ {\beta}+2)_n (\a+{\beta}+ 2n+1)}.
\end{align}
The reproducing kernel of $k_n^{(\a,{\beta})}$ of the space of polynomials of degree at most $n$
is given by, according to the Christoffel-Darboux formula,
\begin{align} \label{Jacobi-kernel}
   k_n^{(\a,{\beta})}(x,y) = &  \frac{2 (n + 1)!  (\a + {\beta} + 2)_n}{(2 n + \a + {\beta} + 2) (\a + 1)_n ({\beta} + 1)_n}  \\
           &  \times   \frac{P_{n+1}^{(\a,{\beta})}(x)P_{n}^{(\a,{\beta})}(y)-P_{n+1}^{(\a,{\beta})}(y)P_{n}^{(\a,{\beta})}(x)}{x-y}. \notag
\end{align}
The Gaussian quadrature of degree $2n-1$ for the Jacobi weight is given by
\begin{equation} \label{Gauss-quadrature}
 c_{\a,{\beta}} \int_{-1}^1 f(x) w_{\a,{\beta}}(x)dx  = \sum_{k=1}^n  {\lambda}_n^{(\a,{\beta})} f(x_{k,n}), \quad \forall f \in \Pi_{2n-1},
\end{equation}
where $x_{1,n}, \ldots, x_{n,n}$ are the zeros of the Jacobi polynomial $P_n^{(\a,{\beta})}$ and
$$
     \lambda_n^{(\a,{\beta})} = [k_n^{(\a,{\beta})}(x_{k,n},x_{k,n})]^{-1}.
$$
We denote the orthonormal Jacobi polynomials by $p_n^{(\a,{\beta})}$. It follows readily that
$p_n^{(\a,{\beta})}(x) = (h_n^{(\a,{\beta})} )^{-\frac12} P_n^{(\a,{\beta})}(x)$. The following lemma will be needed
in Section 6.

\begin{lem} \label{hat-hn}
For $\a,{\beta} > -1$ and $m \ge  0$, define
\begin{align}\label{hathn}
 \widehat h_m :=  \sum_{k=1}^{n} {\lambda}_k^{(\a,{\beta})} (1-x_k^2)\left[ p_{n-1}^{(\a+1,{\beta}+1)} (x_k) \right ]^2.
\end{align}
Then $\widehat h_m = c_{\a,{\beta}}/c_{\a+1,{\beta}+1}$ for $0 \le m \le n-2$, and
$$
     \widehat h_{n-1} =  \frac{4 (1 + \a) (1 + {\beta}) (1 + \a + {\beta} + 2 n)}{(2 + \a + {\beta}) (3 +\a + {\beta}) (1 + \a + {\beta} + n)}.
$$
\end{lem}

\begin{proof}
For $0\le m \le n-2$, we can apply Gaussian quadrature and use the orthonormality of $p_m^{(\a+1,{\beta}+1)}$ to
conclude, since $(1-x^2)w_{\a,{\beta}}(x) = w_{\a+1,{\beta}+1}(x)$,
$$
  \widehat h_m = c_{\a,{\beta}} \int_{-1}^1 (1-x^2)  \left[p_m^{(\a+1,{\beta}+1)}(x) \right]^2 w_{\a,{\beta}}(x)dx =  \frac{c_{\a,{\beta}}}{c_{\a+1,{\beta}+1}}.
$$
For $m = n-1$, we cannot apply the Gaussian quadrature of degree $2n-1$ directly, since $(1-x^2)
[p_m^{(\a+1,{\beta}+1)}(x)]^2$ has degree $2n$. However, by \cite[(4.5.5)]{Sz},
\begin{align*}
   (1-x_k^2) P_{n-1}^{(\a+1,{\beta}+1)}(x_k) = & \frac{4(n+\a)(n+{\beta})}{2n+\a+{\beta})(2n+\a+{\beta}+1)} P_{n-1}^{(\a,{\beta})}(x_k) \\
      & - \frac{4n (n+1)}{2n+\a+{\beta}+1)(2n+\a+{\beta}+2)} P_{n+1}^{(\a,{\beta})}(x_k),
\end{align*}
and by the three-term relation satisfied by $\{P_n^{(\a,{\beta})} \}_{n \ge 0}$ \cite[(4.5.1)]{Sz},
$$
      (n+1)(n+\a+{\beta}+1)(2n+\a+{\beta}) P_{n+1}^{(\a,{\beta})}(x_k)
         = -  (n+\a)(n+{\beta})(2n+\a+{\beta}+2) P_{n-1}^{(\a,{\beta})}(x_k).
$$
From these two equations it follows that
\begin{equation}\label{Jacobi-property}
      (1-x_k^2) P_{n-1}^{(\a+1,{\beta}+1)}(x_k) =  \frac{4(n+\a)(n+{\beta})}{(2n+\a+{\beta})(n+\a+{\beta}+1)}P_{n-1}^{(\a,{\beta})}(x_k).
\end{equation}
Denote the coefficient in front of $P_{n-1}^{(\a,{\beta})}(x_k)$ in the above equation by $D_n$. Then, by the
Gaussian quadrature and the orthogonality of the Jacobi polynomials,
\begin{align*}
  \widehat h_{n-1} & = D_n \left[h_{n-1}^{(\a+1,{\beta}+1)}\right]^{-1} \sum_{k=1}^{n} {\lambda}_k^{(\a,{\beta})} P_{n-1}^{(\a+1,{\beta}+1)} (x_k)  P_{n-1}^{(\a,{\beta})}(x_k) \\
        & = D_n \left[h_{n-1}^{(\a+1,{\beta}+1)}\right]^{-1} c_{\a,{\beta}}  \int_{-1}^1  P_{n-1}^{(\a+1,{\beta}+1)} (x)  P_{n-1}^{(\a,{\beta})}(x) w_{\a,{\beta}}(x)dx \\
        & = D_n \left[h_{n-1}^{(\a+1,{\beta}+1)}\right]^{-1} c_{\a,{\beta}} \frac{l_{n-1}^{(\a+1,{\beta}+1)}}{l_{n-1}^{\a,{\beta}}}
                  \int_{-1}^1  \left[ P_{n-1}^{(\a,{\beta})} (x) \right]^2 w_{\a,{\beta}}(x)dx \\
        & = D_n \frac{h_{n-1}^{(\a,{\beta})}} {h_{n-1}^{(\a+1,{\beta}+1)}} \frac{l_{n-1}^{(\a+1,{\beta}+1)}}{l_{n-1}^{\a,{\beta}}},
\end{align*}
which simplifies, by \eqref{lead-cn} and \eqref{hnab}, to the stated result for $\widehat h_{n-1}$.
\end{proof}

In Section 6 we will need the explicit formula of orthogonal polynomials and reproducing
kernels for the weight function ${\mathcal W}_{\a,{\beta},-1/2}$, which we rename as
\begin{equation} \label{CWabab}
   {\mathcal W}_{\a,{\beta}}(x,y): =    {\mathcal W}_{\a,{\beta},-1/2}(x,y) = 2 c_{\a,{\beta}}^2 \frac{|x-y|^{2 \a+1}|x+y|^{2{\beta}+1}}{ \sqrt{1-x^2} \sqrt{1-y^2}}.
\end{equation}
In this case the orthonormal polynomials of even degree in \eqref{Qeven} are given in terms of Jacobi
polynomials, which are

\begin{prop} \label{Q2nJacobi}
Let $\a, {\beta} > -1$. An orthonormal basis of ${\mathcal V}_{2n}({\mathcal W}_{\a,{\beta},-\frac12})$ is given by, for $0 \le k \le n$
and $0 \le k \le n-1$, respectively,
\begin{align*}
  & {}_1Q_{k,2n}^{(\a,{\beta})}(\cos{\theta},\cos \phi) =  p_n^{(\a,{\beta})} (\cos ({\theta} - \phi)) p_k^{(\a,{\beta})}(\cos ({\theta}+\phi)) \\
  &    \qquad\qquad  \qquad\qquad \qquad\qquad  \qquad
             +  p_k^{(\a,{\beta})} (\cos ({\theta} - \phi)) p_n^{(\a,{\beta})}(\cos ({\theta}+\phi)), \\
  & {}_2Q_{k,2n}^{(\a,{\beta})}(\cos{\theta},\cos \phi)  =
        \gamma_{\a,{\beta}} (x^2-y^2) \left[ p_{n-1}^{(\a+1,{\beta}+1)} (\cos ({\theta} - \phi)) p_k^{(\a+1,{\beta}+1)} (\cos ({\theta}+\phi)) \right. \\
  &    \qquad\qquad  \qquad\qquad \qquad\qquad  \qquad
        \left. +  p_k^{(\a+1,{\beta}+1)} (\cos ({\theta} - \phi)) p_{n-1}^{(\a+1,{\beta}+1)} (\cos ({\theta}+\phi)) \right],
\end{align*}
where ${}_1Q_{n,2n}^{(\a,{\beta})}$ and ${}_2Q_{n,2n}^{(\a,{\beta})}$ are multiplied by $\sqrt{2}/2$
and $\gamma_{\a,{\beta}} = c_{\a+1,{\beta}+1}/(\sqrt{2} c_{\a,{\beta}})$.
\end{prop}
Denote the reproducing kernel of $\Pi_n^2$ with respect to ${\mathcal W}_{\a,{\beta}}$ by
${\mathcal K}_n^{\a, {\beta}}(\cdot,\cdot)$. By \cite[Theorem 4.8]{X10}, the kernel ${\mathcal K}_{2n-1}^{\a,{\beta}}$
is given explicitly by
\begin{align} \label{eq:reprodCW}
    {\mathcal K}_{2n-1}^{\a,{\beta}}(x,y)  =  K_{n-1}^{\a,{\beta}}(s,t) &\, +
        d_{\a,{\beta}}^{(1,1)} (x_1^2-x_2^2)(y_1^2-y_2^2) K_{n-2}^{\a+1,{\beta}+1}(s,t) \\
            &\, + d_{\a,{\beta}}^{(0,1)}   (x_1+x_2)(y_1+y_2) K_{n-1}^{\a,{\beta}+1}(s,t) \notag\\
            &\, + d_{\a,{\beta}}^{(1,0)}  (x_1-x_2)(y_1-y_2) K_{n-1}^{\a+1,{\beta}}(s,t),  \notag
\end{align}
where $s = (2 x_1x_2, x_1^2+x_2^2-1)$, $t = (2 y_1 y_2, y_1^2+y_2^2 -1)$,
$d_{\a,{\beta}}^{(i,j)} = c_{\a+i,b+j}^2 / c_{\a,{\beta}}^2$ and, with $(x_1,x_2) =(\cos {\theta}, \cos {\theta}_2)$ and
$(y_1,y_2) = (\cos \phi_1, \cos \phi_2)$,
\begin{align} \label{Kn-st-1/2}
      K_n^{\a,{\beta}}(s,t)
        :=  & \frac12\left[ k_n^{\a,{\beta}}(\cos ({\theta}_1-{\theta}_2), \cos (\phi_1 - \phi_2))
            k_n^{\a,{\beta}}(\cos ({\theta}_1+{\theta}_2), \cos (\phi_1 + \phi_2))   \right.   \\
       & \left. +  k_n^{\a,{\beta}}(\cos ({\theta}_1-{\theta}_2), \cos (\phi_1 + \phi_2))
               k_n^{\a,{\beta}}(\cos ({\theta}_1+{\theta}_2), \cos (\phi_1 - \phi_2)) \right]. \notag
\end{align}
For orthonormal basis of odd degrees and the reproducing kernels of even degrees, as well
as other results on them, see \cite{X10}.

\section{Gaussian cubature rules}
\setcounter{equation}{0}

In this section we consider Gaussian cubature rules for $W_{\pm \frac12}$ on $\Omega$
and their transformations. We shall show that these rules can be transformed into minimal
cubature rules for ${\mathcal W}_{\a,{\beta},-1/2}$ on $[-1,1]^2$ in the next section. The first proof
that Gaussian cubature rules exist for $W_{\pm \frac12}$  was given in \cite{SX} via the
structure matrices of orthogonal polynomials. Below is another proof that is of independent
interest.

We start with the Gaussian quadrature rule for the integral against $w$ on $[-1,1]$,
\begin{equation} \label{Gauss[-1,1]}
  c_w \int_{-1}^1 f(x) w(x) dx = \sum_{k=1}^n {\lambda}_k f(x_{k,n}), \quad f \in \Pi_{2n-1},
\end{equation}
where $\Pi_{2n-1}$ denotes the space of polynomials of degree $2n-1$ in one variable
and $c_w$ is the normalization constant so that $c_w \int_{-1}^1 w(x) dx =1$. It is known
that ${\lambda}_k > 0$ and $x_{k,n}$ are zeros of the orthogonal polynomial $p_n$ with respect
to $w$. When $w = w_{\a,{\beta}}$, the orthogonal polynomials are the Jacobi polynomials
$P_n^{(\a,{\beta})}$ and $x_{k,n}$, $1 \le k \le n$, are the zeros of $P_n^{(\a,{\beta})}$.
We define
\begin{equation}\label{ujk}
  u_{j,k} = u_{j,k,n}: = x_{j,n}+ x_{k,n} \quad\hbox{and}\quad  v_{j,k} = v_{j,k,n}:=x_{j,n}x_{k,n}.
\end{equation}

\begin{thm} \label{thm:Gaussian}
For $W_{- \frac12}$ on $\Omega$, the Gaussian cubature rule of degree $2n-1$ is
\begin{equation} \label{GaussCuba-}
  \int_{\Omega} f(u, v) W_{-\frac12}(u,v) du dv =2 \sum_{k=1}^n \mathop{ {\sum}' }_{j=1}^k
          {\lambda}_k {\lambda}_j f(u_{j,k}, v_{j,k}), \quad f \in \Pi_{2n-1}^2,
\end{equation}
where ${\sum}'$ means that the term for $j = k$ is divided by 2. For $W_{\frac12}$ on
$\Omega$, the Gaussian cubature rule of degree $2n-3$ is
\begin{equation} \label{GaussCuba+}
   \int_{\Omega} f(u, v) W_{\frac12}(u,v) du dv = 2 \sum_{k=2}^n \sum_{j=1}^{k-1}
          {\lambda}_{j,k} f(u_{j,k}, v_{j,k}), \quad f \in \Pi_{2n-3}^2,
\end{equation}
where $\lambda_{j,k} = {\lambda}_j {\lambda}_k (x_{j,n} - x_{k,n})^2$.
\end{thm}

\begin{proof}
The product of \eqref{Gauss[-1,1]} is a cubature rule on $[-1,1]^2$
\begin{equation} \label{ProdGauss}
    c_w^2 \int_{[-1,1]^2} f(x ,y) w(x)w(y) dx dy = \sum_{k=1}^n \sum_{j=1}^n
          {\lambda}_k {\lambda}_j f(x_{k,n}, x_{j,n}),
\end{equation}
which is exact for $f \in \Pi_{2n-1} \times \Pi_{2n-1}$, the space of polynomials of degree
at most $2n-1$ in either $x$ or $y$ variable. Applying \eqref{ProdGauss} on the symmetric
polynomials $f(x+y, xy)$ and using the symmetry, we obtain
$$
  c_w^2 \int_{\triangle} f(x+y, xy) w(x)w(y) dx dy = \sum_{k=1}^n \mathop{ {\sum}' }_{j=1}^k
          {\lambda}_k {\lambda}_j f(x_{k,n}+ x_{j,n}, x_{k,n}x_{j,n}),
$$
exact for polynomials $f$ in $\Pi_{2n-1}\times \Pi_{2n-1}$.  Under the change of variables
$u = x+y$ and $v = xy$ and by \eqref{Para-Square}, the above cubature becomes
\eqref{GaussCuba-}, since $\Pi_{2n-1}\times \Pi_{2n-1}$ becomes $\Pi_{2n-1}^2$ under
the mapping $(x,y) \mapsto (u,v)$. It is easy to see that \eqref{GaussCuba-} has
$\dim \Pi_{n-1}^2$ nodes, so that it is a Gaussian cubature rule.

To prove \eqref{GaussCuba+}, we apply the product Gaussian cubature rule
\eqref{ProdGauss} on functions of the form $(x - y)^2 f(x+y,xy)$ for $f \in \Pi_{2n-2}
\times \Pi_{2n-3}$ to get
$$
  \int_{\triangle} f(x+y, xy) (x-y)^2 w(x)w(y) dx dy = \sum_{k=2}^n \sum_{j=1}^{k-1}
          {\lambda}_j {\lambda}_k (x_{j,n} - x_{k,n})^2 f(u_{j,k}, v_{j,k}).
$$
Since $(x-y)^2 w(x)w(y) = W_{\frac12}(u,v)$ for $u = x+y$ and $v = xy$, the above
cubature rule becomes \eqref{GaussCuba+} under $(x,y) \mapsto (u,v)$.
\end{proof}

By Theorem \ref{thm:Gauss}, the nodes $\{(x_{k,n}+x_{j,n}, x_{k,n}x_{j,n}): 1 \le j \le k \le n\}$
of the cubature rule \eqref{GaussCuba-} are common zeros of the orthogonal polynomials
in $\{P_{0,n}^{(-\frac12)}, \ldots, P_{n,n}^{(-\frac12)}\}$, and the nodes
$\{(x_{k,n}+x_{j,n}, x_{k,n}x_{j,n}): 1 \le j \le k \le n-1\}$ of the cubature rules
\eqref{GaussCuba+} are common zeros
of $\{P_{0,n-1}^{(\frac12)}, \ldots,  P_{n-1,n-1}^{(\frac12)}\}$. Formulated in the
language of algebraic geometry, this states, for example, that the polynomial ideal
$I = {\langle} P_{k,n}^{(-\frac12)}, \ldots,  P_{n,n}^{(-\frac12)}\ra$ has the zero-dimensional
variety $V= \{(x_{k,n}+x_{j,n}, x_{k,n}x_{j,n}): 1 \le j \le k \le n\}$.

We remark that the above procedure of deriving cubature rules for $W_{\pm \frac12}$
on $[-1,1]^2$ can be adopted for other types of cubature rules besides Gaussian cubature
rules. In fact, instead of starting with the product Gaussian cubature rules for $w(x) w(y)$
on $[-1,1]^2$ as in the proof of Theorem \ref{thm:Gaussian}, we can start with a
product cubature rule of other types. For example, we can start with a quadrature rule
of degree $2n$ for $w$ that has all nodes inside $[-1,1]$, in which case an analogue of
Theorem \ref{thm:Gaussian} was established in \cite{SX}. We can also start with a
Gauss-Lobatto quadrature for $w$ to get a cubature rule that has nodes also on the two
linear branches of the boundary of $\Omega$.

The Theorem \ref{thm:Gaussian} shows that Gaussian cubature rules exist for
$W_{\pm \frac12}$. An immediate question is if Gaussian cubature rules
also exist for the weight function $W_{\gamma}$ for ${\gamma} \ne \pm \frac12$. The answer, however,
is negative.

\begin{thm} \label{NoGaussian}
For $n \ge 1$, the Gaussian cubature rules do not exist for $W_{-1/2, -1/2, {\gamma}}$ if
${\gamma} \ne \pm 1/2$.
\end{thm}

\begin{proof}
It was shown in \cite[(10.7)]{S} that a basis of orthogonal polynomials of degree $n$
with respect to $W_{-1/2, -1/2, {\gamma}}$ is given explicitly by
$$
   P_{k,n}^{-\frac12, -\frac12,{\gamma}}(2 x y, x^2+y^2 -1) =
      P_{n+k}^{({\gamma},{\gamma})}(x)P_{n-k}^{({\gamma},{\gamma})}(y) + P_{n-k}^{({\gamma},{\gamma})}(x)P_{n+k}^{({\gamma},{\gamma})}(y), ,
$$
where $\, 0 \le k \le n$ and $P_n^{(\a,{\beta})}$ is the Jacobi polynomial of degree $n$.
It is easy to see that these polynomials do not have common zeros (considering,
for  example, $k = n$ first). Consequently, $\{P_{k,n}^{-\frac12,-\frac12, - {\gamma}} (x,y):
0 \le k \le n\}$ does not have $\dim \Pi_{n-1}^2$ common zeros for $n \ge 1$.
Hence, the Gaussian cubature rules do not exist according to Theorem \ref{thm:Gaussian}.
\end{proof}

For what we will do in the following subsection, we make an affine change of variables
$u = 2 (s - t)$ and $v = 2s  + 2 t -1$, which implies that the measure becomes
$W_{\gamma}(u, v) dudv =W_{\gamma}^*(s,t) dsdt$, where
\begin{align} \label{W*g}
  W_{\gamma}^*(s,t) :=& 2 b_w^{\gamma} 4^{{\gamma}+1}  w(x)w(y)  ( (1- \sqrt{s})^2 -t )^{\gamma}( (1+ \sqrt{s})^2 -t )^{\gamma} \\
      & \hbox{with} \,\, s = \tfrac14 (1+x)(1+y), \, t = \tfrac14 (1-x)(1-y),  \notag
\end{align}
and the domain $\Omega$ becomes $\Omega^*$ defined by
$$
       \Omega^* := \{(s,t): s \ge 0, \,\, t \ge 0, \,\, \sqrt{s}+\sqrt{t} \le 1\},
$$
which is depicted in the right figure of Figure 2.
\begin{figure} [ht]
\includegraphics[scale=0.55]{para-points.pdf} \quad \includegraphics[scale=0.43]{Para2pts.pdf}
\caption{Nodes of cubature rules of degree 19 for $W_{-\frac12,-\frac12, -\frac12}$
and $W^*_{-\frac12,-\frac12, -\frac12}$}
\label{figure:region2}
\end{figure}
In the case of $w = w_{\a,{\beta}}$ the weight
function $W^*_{\gamma}$ becomes
$$
  W^*_{\a,{\beta},{\gamma}}(s,t) =2  b_{\a,{\beta},{\gamma}} 4^{\a+{\beta}+{\gamma}+1} s^\a t^{\beta}  ( (1- \sqrt{s})^2 -t )^{\gamma}( (1+ \sqrt{s})^2 -t )^{\gamma}.
$$
Since the affine transform does not change the strength of the cubature rules, the Gaussian cubature
rules exist for
the weight functions $W^*_{\pm \frac12}$. Let us denote by
$$
    x_{j,k}^* = x_{j,k,n}^* :=  \tfrac14 (1+x_{j,n})(1+x_{k,n}), \quad
        y_{j,k}^* = y_{j,k,n}^* :=  \tfrac14 (1- x_{j,n})(1 - x_{k,n}).
$$

\begin{cor} \label{cubaW*}
For $W^*_{- \frac12}$ on $\Omega^*$, the Gaussian cubature rule of degree $2n-1$ is
\begin{equation} \label{GaussCuba2-}
     \int_{\Omega^*} f(s, t) W^*_{-\frac12}(s,t) dsdt = 2 \sum_{k=1}^n \mathop{ {\sum}' }_{j=1}^k
          {\lambda}_k {\lambda}_j f(x_{j,k}^*, y_{j,k}^*), \quad f \in \Pi_{2n-1}^2.
\end{equation}
For $W_{\frac12}^*$ on $\Omega^*$, the Gaussian cubature rule of degree $2n-3$ is
\begin{equation} \label{GaussCuba2+}
   \int_{\Omega^*} f(s, t) W_{\frac12}^*(s,t) ds dt = 2 \sum_{k=2}^n \sum_{j=1}^{k-1}
          {\lambda}_{j,k} f(x_{j,k}^*, y_{j,k}^*), \quad f \in \Pi_{2n-3}^2.
\end{equation}
\end{cor}

The nodes of the cubature ruled of degree 19 for $W_{-\frac12,-\frac12, -\frac12}$
and $W^*_{-\frac12,-\frac12, -\frac12}$ are depicted in the left and the right figures
of Figure 2, respectively.

\section{Minimal cubature rules}
\setcounter{equation}{0}

Our goal in this section is to establish minimal cubature rules for the weight
functions ${\mathcal W}_{\gamma}$ on $[-1,1]^2$. We shall do so by several transformations
of the Gaussian cubature rules in the previous section.

First we recall the Sobolev theorem on invariant cubature rules. A cubature rule in the form
of \eqref{cuba-generic} is invariant under a finite group $G$ if the equality is unchanged
under $f \mapsto  \sigma f$, where $\sigma f(x) = f (x \sigma)$,  for all ${\sigma} \in G$. The
Sobolev theorem states that if a cubature is invariant under $G$ then it is exact for a
subspace $\CP$ of polynomials if and only if it is exact for all polynomials in $\CP$ that
are invariant under $G$.

We start from cubature rules for $W_{\gamma}^*$ in Corollary \ref{cubaW*} and make a change of
variables $(s,t) \mapsto (u^2, v^2)$. The domain $\Omega^*$ becomes the triangle
$T:= \{(u,v): u, v \ge 0, 1-u-v \ge 0\}$ and, since the weight function $W_{\gamma}^*(u^2,v^2)$
is even in both $u$ and $v$, we extend it by symmetry to the rhombus $R$, depicted in
Figure 3,
$$
   R : = \{ (u,v):  -1 < u + v < 1, \, \, -1 < u-v < 1\}.
$$
\begin{figure} [ht]
\includegraphics[scale=0.65]{RumbusPts.pdf}
\caption{Nodes of the minimal cubature rule of degree 19 for $U_{-\frac12,-\frac12,-\frac12}$}
\label{figure:region3}
\end{figure}
The change of variables has a Jacobian $ds dt = 4 |u v| dudv$. We define the weight
function on $R$ by
\begin{align*}
   U_{\gamma}(u,v):= & |u v| W_{\gamma}^*(u^2,v^2) =
       2 b_w^{\gamma} 4^{{\gamma}+1} w(x)w(y) |uv| ( (1- u)^2 -v^2 )^{\gamma}( (1+ u)^2 - v^2)^{\gamma}, \\
       &  \quad \hbox{where}\quad u = \tfrac12 \sqrt{1+x}\sqrt{1+y}, \,\, v = \tfrac12 \sqrt{1-x}\sqrt{1-y}.
\end{align*}
In the case of $W_{\a,{\beta},{\gamma}}^*$, the corresponding weight function is
\begin{equation}\label{U*}
  U_{\a,{\beta},{\gamma}}(u,v) =  2 b_{\a,{\beta},{\gamma}}4^{\a+{\beta}+{\gamma}+1} u^{2\a+1} v^{2{\beta}+1}  ( (1- u)^2 -v^2 )^{\gamma}( (1+ u)^2 - v^2)^{\gamma}.
\end{equation}
Under the change of variables $(s,t) \mapsto (u,v)$ and using the symmetry, the integrals
are related by
\begin{equation}\label{IntR}
  \int_{\Omega^*} f(s, t) ds dt = 4 \int_T f(u^2, v^2) u v dudv = \int_R f(u^2, v^2)|u v| dudv,
\end{equation}
from which it is easy to see that $U_{\gamma}$ satisfies $\int_R U_{\gamma}(u,v) dudv =1$.

Directly from its definition, the weight function $U_{\gamma}$ is evidently centrally symmetric.
To state the cubature rules for $U_{\gamma}$, we introduce the notation ${\theta}_{k,n}$ by
$$
    x_{k,n} = \cos {\theta}_{k,n}, \qquad k =0,1,\ldots, n.
$$
Since $w$ is supported on $[-1,1]$, the zeros of the orthogonal polynomial $p_n$ are all
inside $[-1,1]$, so that $0 < {\theta}_{k,n} < \pi$.

\begin{thm}
For $U_{- \frac12}$ on the rhombus $R$, we have the minimal cubature rule of degree $4n-1$
with $\dim \Pi_{2n-1}^2 + n$ nodes,
\begin{align} \label{MinimalCuba-}
       \int_R f(u, v) & U_{-\frac12}(u,v) du dv = \frac12 \sum_{k=1}^n \mathop{ {\sum}' }_{j=1}^k   {\lambda}_k {\lambda}_j \\
   \times  & \sum f \left(\pm \cos \tfrac{{\theta}_{j,n}}{2} \cos \tfrac{{\theta}_{k,n}}{2},
      \pm \sin \tfrac{{\theta}_{j,n}}{2}\sin \tfrac{{\theta}_{k,n}}{2}\right),   \quad f \in \Pi_{4n-1}^2, \notag
\end{align}
where the innermost $\sum$ is a summation of four terms over all possible choices of signs.
For $U_{\frac12}$ on $R$, we have the minimal cubature rule of degree $4n-3$ with
$\dim \Pi_{2n-3}^2 + n$ nodes,
\begin{align} \label{MinimalCuba+}
    \int_R f(u, v)& U_{\frac12}(u,v) du dv   = \frac12 \sum_{k=2}^n  \sum_{j=1}^{k-1} {\lambda}_{j,k} \\
  \times & \sum f \left(\pm \cos \tfrac{{\theta}_{j,n}}{2} \cos \tfrac{{\theta}_{k,n}}{2},
      \pm \sin \tfrac{{\theta}_{j,n}}{2}\sin \tfrac{{\theta}_{k,n}}{2}\right),   \quad f \in \Pi_{4n-3}^2. \notag
\end{align}
\end{thm}

\begin{proof}
Changing variables $s = u^2$ and $t = v^2$ in \eqref{GaussCuba2-} and applying \eqref{IntR},
we obtain
\begin{align*}
  \frac{1}{4} \int_R f(u^2, v^2)  U_{-\frac12} (u,v) dudv
       & =  \sum_{k=1}^n \mathop{ {\sum}' }_{j=1}^k  {\lambda}_k {\lambda}_j f( x_{j,k}^*, y_{j,k}^*) \\
       & =  \sum_{k=1}^n \mathop{ {\sum}' }_{j=1}^k {\lambda}_k {\lambda}_j f\left( \cos^2 \tfrac{{\theta}_{j,n}}{2}\cos^2 \tfrac{{\theta}_{k,n}}{2},
                   \sin^2 \tfrac{{\theta}_{j,n}}{2}\sin^2 \tfrac{{\theta}_{k,n}}{2}\right)
\end{align*}
for all $f \in \Pi_{2n-1}$, where we have used the fact that $x^*_{j,k} =  \cos^2 \tfrac{{\theta}_{j,n}}{2}
\cos^2 \tfrac{{\theta}_{k,n}}{2}$, and $y^*_{j,k} = \sin^2 \tfrac{{\theta}_{j,n}}{2}\sin^2 \tfrac{{\theta}_{k,n}}{2}$, which
follows from the definition of $x^*_{j,k}$ and $y^*_{j,k}$. The above cubature rule can be viewed
as \eqref{MinimalCuba-} applied to $f(x^2,y^2)$. Since $\{f(x^2,y^2): f \in \Pi_{2n-1}^2\}$ consists
of all polynomials in $\Pi_{4n -1}^2$ that are invariant under the group ${\mathbb Z}_2 \times {\mathbb Z}_2$,
it implies, by the Sobolev theorem,  cubature rule \eqref{MinimalCuba-}. Since none of the nodes
of \eqref{GaussCuba2-} are on the edges $s = 0$ or $t =0$ of $\Omega^*$, the number of nodes
of cubature rule \eqref{MinimalCuba-} is exactly
$$
   4 \dim \Pi_{n-1}^2 = 2n (n+1) = \dim \Pi_{2 n-1}^2 + n = \dim \Pi_{2n-1}^2 + \tfrac{2n}{2},
$$
which attains the lower bound in \eqref{lwbd}. The proof of the cubature rule \eqref{MinimalCuba+}
is similar.
\end{proof}

The nodes of the cubature rules of degree 19 for $U_{-\frac12,-\frac12,-\frac12}$ are depicted in
the right figure of Figure 3.

As a final change of variables, we rotate the rhombus by $45^\circ$ to the square $[-1,1]^2$. This
amounts to a change of variables $u = (x+y)/2$ and $v= (x-y)/2$. The measure under this change of
variables become $U_{\gamma}(u,v) dudv = {\mathcal W}_{\gamma} (x,y) dxdy$,
\begin{align*
    {\mathcal W}_{\gamma}(x,y)  = &   b_w^{\gamma} 4^{{\gamma}} w(\cos ({\theta}-\phi)) w(\cos  ({\theta}+\phi)) |x^2 - y^2| (1-x^2)^{\gamma} (1-y^2)^{\gamma},   \\
         & \qquad \hbox{where} \, \, x = \cos {\theta}, \,\, y = \cos \phi, \quad
           (x,y) \in [-1,1]^2. \notag
\end{align*}
A simple computation shows that this is precisely the weight function defined in \eqref{CWgamma}.
In the case of $U_{\a,{\beta},{\gamma}}$, the corresponding weight becomes ${\mathcal W}_{\a,{\beta}, {\gamma}}$ defined by
\begin{align*}
   {\mathcal W}_{\a,{\beta}, {\gamma}}(x,y) = b_{\a,{\beta},{\gamma}} 4^{{\gamma}} |x+y|^{2\a +1}  |x- y|^{2{\beta} +1}   (1-x^2)^{\gamma} (1-y^2)^{\gamma},
\end{align*}
which is exactly \eqref{CWabc}. Since the strength of the cubature rules do not change under the
affine change of variables, we then have minimal cubature formulas for ${\mathcal W}_{\a,{\beta},{\gamma}}$. To state
this cubature explicitly, let us define
\begin{align} \label{stjk}
  s_{j,k}: =  \cos \tfrac{{\theta}_{j,n}-{\theta}_{k,n}}{2} \quad\hbox{and}\quad
                t_{j,k} := \cos \tfrac{{\theta}_{j,n} + {\theta}_{k,n}}{2},
\end{align}
where ${\theta}_{k,n}$ is again the angular argument of the zeros $x_{k,n} = \cos {\theta}_{k,n}$ of $p_n$.

\begin{thm} \label{thm:cubaCW}
For ${\mathcal W}_{-\frac12}$ on $[-1,1]^2$, we have the minimal cubature rule of degree $4n-1$
with $\dim \Pi_{2n-1}^2 + n$ nodes,
\begin{align} \label{MinimalCuba2-}
  \int_{[-1,1]^2}  f(x, y) {\mathcal W}_{-\frac12}(x,y) dx dy = & \frac12 \sum_{k=1}^n \mathop{ {\sum}' }_{j=1}^k
     {\lambda}_k {\lambda}_j  \left[ f( s_{j,k}, t_{j,k})+  f( t_{j,k}, s_{j,k})    \right .  \\
        & \quad + \left.  f( - s_{j,k}, - t_{j,k})+  f(- t_{j,k},- s_{j,k})  \right].      \notag
\end{align}
For ${\mathcal W}_{\frac12}$ on $[-1,1]^2$, we have the minimal cubature rule of degree $4n-3$ with
$\dim \Pi_{2n-3}^2 + n$ nodes,
\begin{align} \label{MinimalCuba2+}
  \int_{[-1,1]^2}  f(x, y) {\mathcal W}_{\frac12}(x,y) dx dy = & \frac12 \sum_{k=2}^n \sum_{j=1}^{k-1}
     {\lambda}_{j,k}  \left[ f( s_{j,k}, t_{j,k})+  f( t_{j,k}, s_{j,k})    \right .  \\
        & \quad + \left.  f( - s_{j,k}, - t_{j,k})+  f(- t_{j,k},- s_{j,k})  \right], \notag
\end{align}
where $\lambda_{j,k} = {\lambda}_j {\lambda}_k (\cos {\theta}_{j,n} - \cos {\theta}_{k,n})^2$.
\end{thm}

In the case of the product Jacobi weight function ${\mathcal W}_{-\frac12, - \frac12,  \pm \frac12}$, these cubature
rules were constructed in \cite{MP} and, more recently, in \cite{LSX} via a completely different method.
In all other cases these cubature rules are new. The nodes of the cubature rule of degree 35 for the
weight function
\begin{align*}
     {\mathcal W}_{- \frac12,- \frac12,- \frac12}(x,y)& = (1-x^2)^{-\frac12} (1-y^2)^{-\frac12}, \\
     {\mathcal W}_{0,0,- \frac12}(x,y)& = |x^2 - y^2| (1-x^2)^{-\frac12} (1-y^2)^{-\frac12},
\end{align*}
are depicted in the left and right figures in Figure 4, respectively.
\begin{figure} [ht]
\includegraphics[scale=0.5]{ChebySquare35.pdf} \qquad \includegraphics[scale=0.6]{SquareLegen35.pdf}
\caption{Nodes of minimal cubature rules of degree 35 for ${\mathcal W}_{-\frac12, -\frac12, - \frac12}$ and
   ${\mathcal W}_{0,0,- \frac12}$ }
\label{figure:region4}
\end{figure}
The influence of the part $|x^2-y^2|$ in the weight function ${\mathcal W}_{0,0,- \frac12}$ is clearly visible
in comparing with the cubature rules for  ${\mathcal W}_{-\frac12, -\frac12, - \frac12}$.

By the relation \eqref{CWgamma} and the integral relation \eqref{Int-P-Q}, we could arrive at cubature
rules \eqref{MinimalCuba2-} and \eqref{MinimalCuba2+} from those in \eqref{GaussCuba-} and
\eqref{GaussCuba+} by the mapping $(x,y) \mapsto (2 xy, x^2+y^2 -1)$, bypassing some of the middle
steps. Our presentation, on the other hand, is more intuitive and provides, hopefully, a better explanation
of the connection between the Gaussian cubature rules for $W_{\gamma}$ and the minimal cubature rules
for ${\mathcal W}_{\gamma}$.

We can also give a proof of Theorem \ref{thm:cubaCW} based on Theorem \ref{thm:minimalCuba}
by considering the common zeros of corresponding orthogonal polynomials, although a direct computation
of the cubature weights will not be easy. Recalling the orthogonal polynomials ${}_1Q_{k,2n}^{({\gamma})}$
defined in \eqref{Qeven}, the following corollary is an immediate consequence of
Theorem \ref{thm:minimalCuba}.

\begin{cor}
The nodes of the minimal cubature rule \eqref{MinimalCuba2-} are the common zeros of
orthogonal polynomials $\{{}_1Q_{k,2n}^{\a,{\beta}}: 0 \le k \le n\}$ in Proposition \ref{Q2nJacobi}. And
the nodes of the minimal cubature rule \eqref{MinimalCuba2+} are the common zeros of
orthogonal polynomials $\{{}_1Q_{k,2n-2}^{\a,{\beta}, \frac12}: 0 \le k \le n -1\}$.
\end{cor}

The relation \eqref{Qeven} shows that the nodes of the minimal cubature rule \eqref{MinimalCuba2-}
and the nodes of the Gaussian cubature rule \eqref{GaussCuba-} are related by a simple formula:
if $(s,t)$ is a node of the former, then $(2st, s^2+t^2-1)$ is a node of the latter; furthermore,
the nodes $(s_{j,k},t_{j,k}), (t_{j,k},s_{j,k}), (-s_{j,k},- t_{j,k}), (- t_{j,k},  -s_{j,k})$ of the former
correspond to the same node $(2 s_{j,k}t_{j,k}, s_{j,k}^2 + t_{j,k}^2-1)$ of the latter. This can also
be verified directly by elementary trigonometric identities.

It should be pointed out that the Theorem \ref{NoGaussian} shows that the above construction
does not work for the weight functions
$$
       {\mathcal W}_{-\frac12, - \frac12, {\gamma}} (x,y) = (1-x^2)^{\gamma} (1-y^2)^{\gamma}
$$
when ${\gamma} \ne \pm 1/2$. We cannot, however, conclude that the cubature rules of degree $4n-1$
that attain the lower bound \eqref{lwbd} do not exist for these product Gegenbauer weight
functions. In fact, examining the proof carefully shows that the procedures that we adopted
could be reversed only if the cubature rules for ${\mathcal W}_{-\frac12, - \frac12, {\gamma}}$ satisfy certain
properties. What we can conclude is then the following: If a cubature rule of degree $4n-1$ that attains the
lower bound \eqref{lwbd} exists for ${\mathcal W}_{-\frac12, - \frac12, {\gamma}}$, then either it is not invariant under
the symmetry with respect to the diagonals $y = x$ and $y = -x$ of the rectangle $[-1,1]^2$ or some
of its nodes are on these diagonals.

Finally, our procedure of deriving cubature rules for ${\mathcal W}_{\pm \frac12}$ on $[-1,1]^2$ can be
adopted for other type of cubature rules, such as cubature rules of even degree or Gauss-Lobatto
type cubature rules, see the remark at the end of Subsection 3.1. In particular, if we start with
a Gaussian-Lobatto quadrature for $w$, which has additional nodes at $-1$ and $1$, then the
resulted cubature rule for ${\mathcal W}_{\gamma}$ will have nodes on the diagonals of $[-1,1]^2$. Since they
do not seem to have other features, we shall not pursue them further.

\section{Lagrange interpolation and Gaussian cubature rules}
\setcounter{equation}{0}

Cubature rules are closely related to Lagrange interpolation polynomials, as stated in
Section 2. In this section we consider Lagrange interpolation polynomials based on the zeros
of the Gaussian cubature rules constructed in the Section 3.

The Lagrange interpolation polynomial based on the Gaussian cubature rule in
Theorem \ref{thm:Gauss} is given in Theorem \ref{thm:Gauss-Interp}. A more
direct construction can be given however as follows.

Let $\{x_{k,n}: 1 \le k \le n \}$ be the zeros of the orthogonal polynomial $p_n$ of degree $n$
with respect to $w$ on $[-1,1]$, as in \eqref{Gauss[-1,1]}. The Lagrange interpolation
polynomial (of one variable) of degree $< n$ based on these points is
\begin{equation}\label{interp-1d}
    I_n f(x) = \sum_{k=1}^n f(x_{k,n}) l_k(x), \qquad l_k(x) := \frac{p_n(x)}{p_n'(x_{k,n}) (x-x_{k,n})}.
\end{equation}
Recall that $u_{j,k} = x_{j,n}+ x_{k,n}$ and $v_{j,k}  =x_{j,n}x_{k,n}$.

\begin{thm}
The unique Lagrange interpolation polynomial of degree $n-1$ based on the nodes of the Gaussian
cubature rule \eqref{GaussCuba-} is given by
\begin{align}\label{interp-Gauss-}
    & L_n f(u,v) = \sum_{k=1}^n \mathop{ {\sum}' }_{j=1}^k   f( u_{j,k}, v_{j,k}) l_{j,k}(u,v), \\
    &    \hbox{with}\,\,  l_{j,k}(u,v) := l_j(x) l_k(y) + l_j(y) l_k(x), \quad u = x+y, \,\, v = xy.  \notag
\end{align}
And the unique Lagrange interpolation polynomial of degree $n-2$
based on the nodes of the Gaussian cubature rule \eqref{GaussCuba+} is given by
\begin{align}\label{interp-Gauss+}
   & L_n f(u,v) = \sum_{k=2}^n \sum_{j=1}^{k-1} f( u_{j,k}, v_{j,k}) l_{j,k}(u,v), \\
       &  \hbox{with}\,\,    l_{j,k}(u,v) := \frac{l_j(x) l_k(y) - l_j(y) l_k(x)}{x-y},
        \quad u = x+y, \,\, v = xy.  \notag
\end{align}
\end{thm}

\begin{proof}
A quick computation shows that if $0 \le  j < k \le n$ and $0\le p \le q \le n$, then
$$
   l_{j,k}(u_{p,q},v_{p,q}) = l_j(x_{p,n}) l_k(x_{q,n}) + l_j(x_{q,n}) l_k(x_{p,n})
        = \delta_{j,p} {\delta}_{k,q} + {\delta}_{k,p} {\delta}_{j,q} = {\delta}_{j,p} {\delta}_{k,q}.
$$
If $0 \le j = k \le n$ and $0\le p \le q \le n$, then
$$
   l_{j,k}(u_{p,q},v_{p,q}) =  2 l_k(x_{p,n}) l_k(x_{q,n}) = 2 {\delta}_{j,p} {\delta}_{k,q},
$$
which proves \eqref{interp-Gauss-}. The proof of \eqref{interp-Gauss+} is similar.
\end{proof}

The explicit formulas of $l_{j,k}$ can also be obtained from Theorem \ref{thm:Gauss-Interp}.
In fact, as shown in \cite[Theorem 3.1]{X10}, the reproducing kernel
$K_n^{(\pm \frac12)}(\cdot,\cdot) = K_n(W_{\pm \frac12}; \cdot,\cdot)$ can be expressed
in terms of the reproducing kernel
$$
       k_n(x,y)= k_n(w;x,y) := \sum_{k=0}^n p_k(x) p_k(y)
$$
of one variable, where $p_k$ are orthonormal polynomials with respect to $w$. Set
$$
  u := (u_1,u_2) = (x_1+x_2, x_1 x_2) \quad  \hbox{and}\quad  v:= (v_1,v_2) = ( y_1+y_2, y_1 y_2).
$$
The reproducing kernel $K_n^{(-\frac12)}(\cdot, \cdot)$ for $W_{- \frac12}$ is given by
\begin{equation} \label{eq:reprodW-1/2}
    K_n^{(-\frac12)}(u,v) =  \frac12 \left[ k_n(x_1,y_1)k_n(x_2,y_2)+ k_n(x_2,y_1) k_n(x_1,y_2) \right],
\end{equation}
and the reproducing kernel $K_n^{(\frac12)}(\cdot, \cdot)$ for $W_{\frac12}$ is given by
\begin{align} \label{eq:reprodW+1/2}
 K_n^{(\frac12)}(u,v) = \frac{k_{n+1}(x_1,y_1)k_{n+1}(x_2,y_2) -
   k_{n+1}(x_2,y_1) k_{n+1}(x_1,y_2)} {2 (x_1-x_2)(y_1-y_2)}.
\end{align}

As an application of the explicit expression, we can estimate the uniform norm of
the interpolation operator, often called the Lebesgue constant. For the interpolation
polynomial $I_n f$ in \eqref{interp-1d}, the Lebesgue constant $ \|I_n\|_{C[-1,1]}$ satisfies
$$
      \|I_n\|_{C[-1,1]} =  \max_{x \in [-1,1]} \sum_{k=1}^n |l_k(x)|.
$$

\begin{cor} \label{LebesgueL}
The Lebesgue constant for $L_n f$  in \eqref{interp-Gauss-} satisfies
\begin{equation} \label{Lebesgue}
     \|L_n \|_\infty  \le \left(\|I_n\|_{C[-1,1]} \right)^2.
\end{equation}
\end{cor}

\begin{proof}
A standard argument shows that the Lebesgue constant for ${\mathcal L}_n f$ is given by
$$
 \|L_n \|_\infty = \max_{ (u,v) \in \Omega}  \sum_{k=1}^n \mathop{ {\sum}' }_{j=1}^k |l_{j,k}(u,v)|.
$$
Since $\ell_{j,k}(u,v) = \ell_{k,j}(u,v)$ by \eqref{interp-Gauss-}, a moment of reflection shows that
$$
  \sum_{k=1}^n \mathop{ {\sum}' }_{j=1}^k | l_{j,k}(u,v)| = \sum_{k=1}^n \sum_{j=1}^n
    | l_j(x) l_k(y) +  l_j(x) l_k(y)| \le 2 \sum_{j=1}^n| l_j(x)| \sum_{j=1}^n | l_j(y)|,
$$
from which the estimate \eqref{Lebesgue} follows immediately.
\end{proof}

Denote by  $L_n^{\a,{\beta}} f$ the Lagrange interpolation polynomial based
on the nodes of the Gaussian cubature rule of degree $2n-1$ for $W_{\a,{\beta},-\frac12}$.

\begin{cor} \label{LebesgueL-Jacobi}
Let $\a, {\beta} > -1$. The Lebesgue constant of $L_n^{\a,{\beta}} f$ satisfies
$$
  \|L_n^{\a,{\beta}}\|_\infty = {\mathcal O}(1) \begin{cases} n^{2 \max \{\a,{\beta}\} + 1}, & \max\{\a,{\beta}\} > -1/2, \\
                               \log^2 n, & \max\{\a,{\beta}\} \le -1/2.  \end{cases}
$$
\end{cor}

\begin{proof}
This follows from the previous corollary and the classical result on the Lagrange interpolation
polynomials at the zeros of Jacobi polynomials \cite{Sz}.
\end{proof}

\section{Lagrange interpolation and minimal cubature rules}
\setcounter{equation}{0}

The relation between a minimal cubature rule and the Lagrange interpolation polynomial
based on its nodes is stated in Theorem \ref{thm:minimal-Interp}. In this section we discuss
the Lagrange interpolation polynomials based on the nodes of the minimal cubature rules of
degree $4n-1$ in Section 4. In order to derive explicit formulas and discuss the Lebesgue
constants, we shall limit our discussion to ${\mathcal W}_{\a,{\beta}, - \frac12}$, which we renamed as
${\mathcal W}_{\a,{\beta}}$ at \eqref{CWabab}. An analogue discussion can be carried out for  ${\mathcal W}_{\a,{\beta}, \frac12}$.

\subsection{Construction of the interpolation polynomial}
Let $X_n$ denote the set of nodes of the cubature formula ${\mathcal W}_{\a,{\beta}}$. The Lagrange
interpolation  polynomial based on $X_n$ is given in Theorem \ref{thm:minimal-Interp}, in
which $x_{k,n} = x_{k,n}^{(\a,{\beta})}$ are the zeros of Jacobi polynomial $P_n^{(\a,{\beta})}$.
The subspace $\Pi_{2n}^*$ in \eqref{Pin*} now takes the form
$$
 \Pi_{2n}^* : = \Pi_{2n-1}^2 \cup \mathrm{span} \{{}_2Q_{k,2n}^{( \pm \frac12)}: 0 \le k \le n-1\}.
$$
The interpolation polynomial in $\Pi_{2n}^*$ is given in Theorem \ref{thm:minimal-Interp} in
terms of a kernel of $\Pi_{2n}^*$ defined by
\begin{equation} \label{wtCKn}
  {\mathcal K}_{2n}^* (x,y) : = {\mathcal K}_{2n-1}^{\a,{\beta}}(x,y) +
           \sum_{k=0}^{n-1} b_{k,n} {}_2Q_{k,2n}^{\a,{\beta}}(x) {}_2Q_{k,2n}^{\a,{\beta}}(y),
\end{equation}
where $b_{k,n}$ are certain positive numbers, ${\mathcal K}_{2n-1}^{\a,{\beta}}$ and ${}_2Q_{k,2n}$ are
given explicitly in \eqref{eq:reprodCW} and Proposition \eqref{Q2nJacobi}.

Although the cubature rule \eqref{MinimalCuba2-} of degree $4n-1$ for ${\mathcal W}_{-\frac12}$ can be
deduced from the Gaussian cubature rule \eqref{GaussCuba-} for $W_{-\frac12}$, this deduction
does not extend to interpolation polynomials, since each node of the cubature rule \eqref{GaussCuba-}
corresponds to four nodes of the cubature rule \eqref{MinimalCuba2-}. We have to work with the
explicit formula given in Theorem \ref{thm:minimal-Interp}, which we determine explicitly in the
following theorem.

\begin{thm} \label{interp-CL*}
Let $x_{k,n} = \cos {\theta}_{k,n}$, $1 \le k \le n$, denote the zeros of the Jacobi polynomial $P_n^{(\a,{\beta})}$
and let $s_{j,k}: =  \cos \tfrac{{\theta}_{j,n}-{\theta}_{k,n}}{2}$ and  $t_{j,k} := \cos \tfrac{{\theta}_{j,n} + {\theta}_{k,n}}{2}$.
Set
\begin{align*}
    {\mathbf x}_{j,k}^{(1)}:=(s_{j,k},t_{j,k}), \,\,  {\mathbf x}_{j,k}^{(2)} :=(t_{j,k},s_{j,k}), \,\,
      {\mathbf x}_{j,k}^{(3)}:=(-s_{j,k},- t_{j,k}), \,\, {\mathbf x}_{j,k}^{(4)}:= (-t_{j,k},-s_{j,k}).
\end{align*}
Then the Lagrange interpolation ${\mathcal L}_n^{\a,{\beta}} f$ in $\Pi_n^*$ is given by
\begin{align} \label{CLnWab}
   {\mathcal L}_n^{\a,{\beta}} f(x,y) = \sum_{k=1}^n   \sum_{j=1}^k & \left[ f\left({\mathbf x}_{j,k}^{(1)}\right) \ell^{(1)}_{j,k} (x,y)
         + f\left({\mathbf x}_{j,k}^{(2)}\right) \ell^{(2)}_{j,k} (x,y) \right. \\
         & \left. + f\left({\mathbf x}_{j,k}^{(3)}\right) \ell^{(3)}_{j,k} (x,y)+f\left({\mathbf x}_{j,k}^{(4)}\right) \ell^{(4)}_{j,k} (x,y) \right], \, \notag
\end{align}
where the fundamental interpolation polynomials $\ell^{(i)}_{j,k}$ are given by
\begin{align} \label{ell-ijk}
  \ell^{(i)}_{j,k} (x,y) = \frac12 {\lambda}_j^{(\a,{\beta})}{\lambda}_k^{(\a,{\beta})} {\mathcal K}_{2n}^*\left((x,y), {\mathbf x}_{j,k}^{(i)}\right),
\end{align}
in which $\frac12$ in the right hand side needs to be replaced by $\frac14$ when $j = k$, and
\begin{align} \label{eq:CK*Jacobi}
    {\mathcal K}_{2n}^* (x,y)  =    {\mathcal K}_{2n-1}^{\a,{\beta}}(s,t) \,  + &   \frac{1 + \a + {\beta} + n}{1 + \a + {\beta} + 2 n}
        d_{\a,{\beta}}^{(1,1)} (x_1^2-x_2^2)(y_1^2-y_2^2) \\
            & \times   \left[ K_{n-1}^{\a+1,{\beta}+1} (s,t) - K_{n-2}^{\a+1,{\beta}+1} (s,t) \right] \notag \\
        - & \frac{n (1 + \a + {\beta} + n)}{ (1 + \a + {\beta} + 2 n)^2} {}_2Q_{n-1,2n}(x){}_2Q_{n-1,2n}(y), \notag
\end{align}
where $s= (2 x_1 x_2,x_1^2+x_2^2-1)$, $t = (2 y_1 y_2, y_1^2+y_2^2 -1)$, ${\mathcal K}_{2n-1}^{\a,{\beta}}(\cdot,\cdot)$
and $d_{\a,{\beta}}^{(1,1)}$  are given in \eqref{eq:reprodCW} and in $K_n^{\a,{\beta}}(\cdot,\cdot)$ is given in
\eqref{Kn-st-1/2}.
\end{thm}

\begin{proof}
The formulas \eqref{CLnWab} and \eqref{ell-ijk} are exactly those given in Theorem \ref{thm:minimal-Interp},
specialized to the Jacobi case. It remains to establish the formula of \eqref{eq:CK*Jacobi}, for
which we need to determine the constants $b_{k,n}$ in \eqref{wtCKn}.

Throughout this proof, we write $Q_{k,2n}(x,y) = {}_2Q_{k,n}^{(\a,{\beta})}(x,y)$. By the explicit formula
of $Q_{k,2n}$ in Proposition \ref{Q2nJacobi}, it is easy to verify that
\begin{align} \label{Qxjk}
  &  Q_{m,2n}\left({\mathbf x}_{j,k}^{(1)}\right) = \gamma_{\a,{\beta}} \sqrt{1-x_j^2}\sqrt{1-x_k^2}  \\
     & \quad  \times \left[ p_{n-1}^{(\a+1,{\beta}+1)}(x_k) p_m^{(\a+1,{\beta}+1)}(x_j)+
                  p_{n-1}^{(\a+1,{\beta}+1)}(x_j) p_m^{(\a+1,{\beta}+1)}(x_k)\right], \notag
\end{align}
and furthermore, since $Q_{m,2n}$ is symmetric in its variables,
\begin{equation} \label{Qxjk2}
    Q_{m,2n}\left({\mathbf x}_{j,k}^{(1)}\right) =  Q_{m,2n}\left({\mathbf x}_{j,k}^{(1)}\right) =  -Q_{m,2n}\left({\mathbf x}_{j,k}^{(3)}\right)
     = -Q_{m,2n}\left({\mathbf x}_{j,k}^{(3)}\right).
\end{equation}
Let us denote by ${\mathcal C}_n[f]$ the minimal cubature rule, that is,
$$
   {\mathcal C}_n [f]:= \frac12 \sum_{k=1}^n \mathop{ {\sum}' }_{j=1}^k
     {\lambda}_k^{(\a,{\beta})} {\lambda}_j^{(\a,{\beta})}  \left[  f\left({\mathbf x}_{j,k}^{(1)}\right)+   f\left({\mathbf x}_{j,k}^{(2)}\right)
          +  f\left({\mathbf x}_{j,k}^{(3)}\right)+   f\left({\mathbf x}_{j,k}^{(4)} \right) \right].
$$
By \eqref{mcfWeight} and the fact that $\ell_{j,k}^{(i)}$ are the fundamental interpolation polynomials, we obtain
\begin{equation*}
     {\mathcal K}_{2n}^*\left({\mathbf x}_{j,k}^{(1)}, {\mathbf x}_{j',k'}^{(1)}\right) = 2 \left(\lambda_{j}^{(\a,{\beta})}\lambda_k^{(\a,{\beta})}\right)^{-1}
            \delta_{j,j'}\delta_{k,k'},
\end{equation*}
which implies immediately that
\begin{equation} \label{eqn-bmn}
     {\mathcal C}_n \left[{\mathcal K}_{2n}^*\left({\mathbf x}_{j,k}^{(1)}, \cdot\right) Q_{l, 2n}\right] =  Q_{l, 2n}\left({\mathbf x}_{j,k}^{(1)}\right).
\end{equation}
On the other hand, using the formula of ${\mathcal K}_{2n}^*(\cdot,\cdot)$ in \eqref{wtCKn} shows that
$$
  {\mathcal C}_n \left[{\mathcal K}_{2n}^*\left({\mathbf x}_{j,k}^{(1)}, \cdot\right) Q_{l, 2n}\right]
     =  {\mathcal C}_n \left[K_{2n-1}^{\a,{\beta}} \left({\mathbf x}_{j,k}^{(1)}, \cdot\right) Q_{l, 2n}\right]
         + \sum_{m=0}^{n-1} b_{m,n}  {\mathcal C}_n \left[ Q_{m,2n} Q_{l, 2n}\right].
$$
Since the cubature rule is of degree $4n-1$ and $Q_{l,2n}$ is an orthogonal polynomial of degree
$2n$,
$$
 {\mathcal C}_n \left[K_{2n-1}^{\a.{\beta}} \left({\mathbf x}_{j,k}^{(1)}, \cdot\right) Q_{l, 2n}\right] =
   2 c_{\a,{\beta}}^2 \int_{[-1,1]^2} K_{2n-1}^{\a,{\beta}} \left({\mathbf x}_{j,k}^{(1)}, y \right) Q_{l, 2n}(y)W_{\a,{\beta}}(y) dy= 0.
$$
Furthermore, since $Q_{m,2n}$ is symmetric in its variables, it follows from \eqref{Qxjk2} that
\begin{align*}
   {\mathcal C}_n \left[ Q_{m,2n} Q_{l, 2n}\right]  = \sum_{k=1}^n \sum_{j=1}^n {\lambda}_k^{(\a,{\beta})}{\lambda}_j^{(\a,{\beta})}
       Q_{m,2n}\left({\mathbf x}_{j,k}^{(1)}\right) Q_{l,2n}\left({\mathbf x}_{j,k}^{(1)}\right).
\end{align*}
Recall the definition of $\widehat h_m$ defined in \eqref{hathn}. By \eqref{Qxjk2}, the explicit formulas
of $Q_{k,2n}$ and the
Gaussian quadrature \eqref{Gauss-quadrature}, it follows that
\begin{align*}
 {\mathcal C}_n \left[ Q_{m,2n} Q_{l, 2n}\right]  = 2 {\gamma}_{\a,{\beta}}^2 \widehat h_{n-1} \widehat h_m \delta_{l,m},
    \quad 0 \le l, m \le n-1.
\end{align*}
Putting these formulas together, we have shown that
$$
{\mathcal C}_n \left[{\mathcal K}_{2n}^*\left({\mathbf x}_{j,k}^{(1)}, \cdot\right) Q_{l, 2n}\right]
    =2 {\gamma}_{\a,{\beta}}^2 \widehat h_{n-1} \widehat h_m  b_{l,n} Q_{l, 2n}\left({\mathbf x}_{j,k}^{(1)}\right).
$$
Comparing with \eqref{eqn-bmn}, it follows readily that $b_{l,n}^{-1}  = 2 {\gamma}_{\a,{\beta}}^2
\widehat h_{n-1} \widehat h_m$. Recalling that ${\gamma}_{\a,{\beta}} = c_{\a+1,{\beta}+1}/(\sqrt{2}c_{\a,{\beta}})$,
applying Lemma \ref{hat-hn} gives
$$
   b_{0,n} = \cdots = b_{n-2,n} =   \frac{1 + \a + {\beta} + n}{1 + \a + {\beta} + 2 n} , \quad
   \hbox{and} \quad b_{n-1,n} = b_{0,n}^2.
$$
The final step in verifying \eqref{eq:CK*Jacobi} uses the fact that
\begin{align*}
 & \sum_{k=0}^{n-1} Q_{k,2 n}(x) Q_{k,2n}(y) =  d_{\a,{\beta}}^{(1,1)} (x_1^2-x_2^2)(y_1^2-y_2^2)
              \left[ K_{n-1}^{\a+1,{\beta}+1} (s,t) - K_{n-2}^{\a+1,{\beta}+1} (s,t) \right]
\end{align*}
which can be verified using the explicit formulas of the quantities involved and the elementary
trigonometric identity
\begin{equation} \label{theta-phi}
    2 x y = \cos ({\theta} - \phi) + \cos ({\theta} + \phi), \quad x^2+y^2 -1 = \cos ({\theta} -  \phi) \cos ({\theta} + \phi),
\end{equation}
see also Section 4 of \cite{X10}. This completes the proof.
\end{proof}

The above theorem gives a compact formula for the Lagrange interpolation polynomial based
on the nodes of the minimal cubature rule with respect to ${\mathcal W}_{\a,{\beta}}$. In the case of $\a = {\beta}
= -1/2$, the interpolation polynomials were introduced in \cite{X96} and they were studied
numerically in \cite{BCMV}. The explicit formulas given in \cite{X96}, however, takes a different
form since the set of nodes were not divided into the four subsets as in \eqref{CLnWab} and
a completely different formula for ${\mathcal K}_{2n}^*(\cdot,\cdot)$ was used.

\subsection{Lebesgue constants of the interpolation operator}
The Lebesgue constant of the interpolation operator ${\mathcal L}_n^{\a,{\beta}}$ is its operator norm
$ \|{\mathcal L}_n^{(\a,{\beta})}\|_\infty$. Since
$$
    \|{\mathcal L}_n^{\a,{\beta}} f \|_\infty \le  \|{\mathcal L}_n^{(\a,{\beta})}\|_\infty \|f\|_\infty, \quad \forall f \in C[-1,1]^2,
$$
the Lebesgue constant determines the convergence behavior of ${\mathcal L}_n^{\a,{\beta}} f$.

\begin{lem}
The Lebesgue constant of ${\mathcal L}_n^{\a,{\beta}} f$ in Proposition \ref{interp-CL*} satisfies
\begin{align} \label{LebesgueCW}
    \|{\mathcal L}_n^{\a,{\beta}}\|_\infty =  \frac{1}{4} \max_{x \in [-1,1]^2} \sum_{k=1}^n \mathop{ {\sum}' }_{j=1}^k
     {\lambda}_{j,k}  & \left[  \left|{\mathcal K}_{2n}^*\left( x, {\mathbf x}_{j,k}^{(1)}\right)\right|  +  \left|{\mathcal K}_{2n}^*\left(x, {\mathbf x}_{j,k}^{(2)}\right)\right|  \right . \\
                  & \left.  +   \left |{\mathcal K}_{2n}^*\left(x, {\mathbf x}_{j,k}^{(3)}\right)\right| +
            \left|{\mathcal K}_{2n}^*\left(x, {\mathbf x}_{j,k}^{(4)}\right)\right|   \right] \notag \\
             \sim  \max_{x \in [-1,1]^2} \sum_{k=1}^n \mathop{ {\sum}' }_{j=1}^k
     {\lambda}_{j,k}  &  \left|{\mathcal K}_{2n}^*\left( x, {\mathbf x}_{j,k}^{(1)}\right)\right|.  \notag
\end{align}
\end{lem}

\begin{proof}
Recalling \eqref{stjk} and the definition of ${\mathbf x}_{j,k}^{(i)}$, it follows easily from the symmetry that
$\|{\mathcal L}_n^{\a,{\beta}}\|_\infty$ is bounded above by 4 times of the quantity in the last expression and it is at
least as big as the same quantity.
\end{proof}

In order to deduce the order of the Lebesgue constant, we need to estimate, by the explicit formula at
\eqref{eq:CK*Jacobi}, several sums. We first deal with the easiest sum to be estimated.
Let $c$ denote a generic constant whose value may vary from line to line.

\begin{lem} \label{lem:LambdaQ}
For $\a,{\beta} > -1$ and $x \in [-1,1]$,
$$
 \Lambda_Q:= \sum_{k=1}^n \sum_{j=1}^k {\lambda}_k^{(\a,{\beta})} {\lambda}_j^{(\a,{\beta})} \left | {}_2Q_{n-1,2n}(x)  {}_2Q_{n-1,2n}\left( x, {\mathbf x}_{j,k}^{(1)}\right)
       \right| \le c\, n^{2 \max \{\a,{\beta}\}}.
$$
\end{lem}

\begin{proof}
We will need several well known estimates for the Jacobi polynomials and related quantities, all can be
found in \cite{Sz}. First we need
\begin{align}\label{JaobiBd}
      |p_n^{(\a,{\beta})}(x)| \le c \left(\sqrt{1-x} + n^{-1}\right)^{- (\a+1/2)/2}\left(\sqrt{1+x} + n^{-1}\right)^{- ({\beta}+1/2)/2}
\end{align}
for $x \in [-1,1]$. Using the fact that $\cos^2 {\theta} - \cos^2 \phi = \sin({\theta} - \phi) \sin({\theta}+\phi)$, it follows
from the explicit expression of ${}_2Q_{n-1,n}(x)$ that
$$
      \left |{}_2Q_{n-1,2n}(x) \right| \le c \max_{-1 \le x \le 1} |\sqrt{1-x^2}   p_{n-1}^{(\a,{\beta})} (x)| \le c\, n^{2 \max \{\a,{\beta}\} -1},
         \quad x \in [-1,1]^2.
$$
Furthermore, we need the estimates
\begin{align}\label{lkn}
   {\lambda}_{k,n}^{(\a,{\beta})}   = \left[k_n^{(\a,{\beta})}(x_{k,n}, x_{k,n})\right]^{-1}& \sim n^{-1} w_{\a,{\beta}}(x_{k,n}) \sqrt{1-x_{k,n}^2}, \\
      p_{n-1}^{(\a,{\beta})} (x_{k,n}) & \sim \left[w_{\a,{\beta}}(x_{k,n})\right]^{-1} (1-x_{k,n})^{-1/4}.  \label{pn-1zero}
\end{align}
From \eqref{pn-1zero}, it is not difficult to see (using \eqref{Jacobi-property}, for example) that
$$
   \left |{}_2Q_{n-1,2n}\left( x, {\mathbf x}_{j,k}^{(1)}\right) \right| \sim n  \left[w_{\a,{\beta}}(x_{k,n})\right]^{-1/2} (1-x_{k,n})^{-1/4}
    \left[w_{\a,{\beta}}(x_{j,n})\right]^{-1/2} (1-x_{j,n})^{-1/4}.
$$
Consequently, since ${}_2Q_{n-1,2n}$ is symmetric in its variables, we see that
\begin{align*}
  \Lambda_Q  \le c\, n^{2 \max \{\a,{\beta}\} } \left( \sum_{k=1}^n {\lambda}_k^{(\a,{\beta})} \left[w_{\a,{\beta}}(x_{k,n})\right]^{-1/2} (1-x_{k,n})^{-1/4} \right)^2
      \le  c\, n^{2 \max \{\a,{\beta}\} }
\end{align*}
as the sum is easily seen to be bounded upon using \eqref{lkn}.
\end{proof}

The other sums of $\|{\mathcal L}_n^{\a,{\beta}}\|_\infty$ cannot be deduced form the Lebesgue constant for the
interpolation polynomial of one variable, as we did in Corollary \ref{LebesgueL}, since there are
four remaining sums by \eqref{eq:CK*Jacobi}, and only one of them, the first one, is related directly
to the fundamental interpolation polynomials of one variable. We can, however, reduce the proof
to the estimate of several kernels in one variable. Let us define, for $i,j \ge 0$,
$$
    k_n^{(\a,{\beta}),i,j}(x,y) := (1-x)^{\frac{i}{2}} (1+ x)^{\frac{j}{2}}(1-y)^{\frac{i}{2}} (1+ y)^{\frac{j}{2}}
         k_n^{(\a+i,{\beta}+j)}(x,y).
$$

\begin{lem}
Let $\a,{\beta} \ge  -1/2$ and $i,j \ge 0$. Then
\begin{align} \label{kernel-esti}
  | k_n^{(\a,{\beta}),i,j}(\cos {\theta}, \cos \phi) |  \qquad\qquad\qquad\qquad \qquad\qquad\qquad\qquad \qquad\qquad\qquad  \\
  \le c   \frac{(\sin \tfrac{{\theta}}{2}\sin \tfrac{\phi}{2} +  n^{-1} |{\theta}-\phi| + n^{-2})^{-\a- \frac12}
 (\cos \tfrac{{\theta}}{2}\cos \tfrac{\phi}{2} + n^{-1} |{\theta}-\phi| + n^{-2})^{-{\beta}  - \frac12}}{|{\theta} - \phi| + n^{-1}}. \notag
\end{align}
\end{lem}

While \eqref{lkn} and \eqref{lkn} are classical, \eqref{kernel-esti} is stated recently in \cite[Lemma 5.3]{X10}
and its proof follows from an estimate in \cite{DaiX}. The restriction $\a,{\beta} \ge -\frac12$ instead of
$\a, {\beta} > -1$ comes from the method used in \cite{DaiX}. For $i,j \ge 0$, let
$$
     \Lambda_n^{(i,j)}(x): = \sum_{k=1}^n   {\lambda}_{k,n}^{(\a,{\beta})} \left | k_n^{(\a,{\beta}),i,j}(x ,x_{k,n}) \right |.
$$
We will need the following result for our estimate of $\|{\mathcal L}_n^{\a,{\beta}}\|_\infty$.

\begin{lem} \label{lem:Lnij}
Let $\a,{\beta} \ge -1/2$. For $i,j \ge 0$,
\begin{equation} \label{Lambda-ij}
    \max_{x \in [-1,1]} \Lambda_n^{(i,j)}(x)
       = {\mathcal O}(1) \begin{cases} n^{\max \{\a,{\beta}\} + \frac12}, & \max\{\a,{\beta}\} > -1/2, \\
                              \log n, & \max\{\a,{\beta}\} = -1/2.  \end{cases}
\end{equation}
\end{lem}

\begin{proof}
We can assume $x \in [0,1]$ and write $x  = \cos {\theta}$. We consider $\a > -1/2$, the case $\a = -1/2$
is easier. Fix $m$ such that $x_{m,n}$ is (one of) the closest zero to $x$. Then $1 \le m \le n/2 +1$.
We only consider the sum in $\Lambda_n^{(i,j)}$ for $1 \le k \le 2n/3$, the remaining part is easier
since for $2n/3 < k \le n$, $|{\theta} - {\theta}_{k,n}| \sim 1$. If $k = m-1, m, m+1$, then by \eqref{kernel-esti}
and \eqref{lkn},
$$
   {\lambda}_{k,n}^{(\a,{\beta})} \left | k_n^{(\a,{\beta})}(x ,x_{k,n}) \right | \le \frac {(\sin {\theta}_{k,n})^{\a + \frac12}}
      {(\sin^2 \frac{{\theta}_{k,n}}{2} + n^{-2})^{\a + \frac12}} \le c n^{\a+\frac12}.
$$
Using the fact that $|{\theta} - {\theta}_k|  \sim |{\theta}_m - {\theta}|$, we have by \eqref{kernel-esti} and \eqref{lkn}
$$
     \sum_{\substack{|k - m|> 1 \\ 1\le k \le 2n/3}}  {\lambda}_{k,n}^{(\a,{\beta})} \left | k_n^{(\a,{\beta})}(x ,x_{k,n}) \right |
       \le c n^{\a+\frac12} \sum_{\substack{|k - m|> 1 \\ 1\le k \le 2n/3}}
            \frac{k^{\a + \frac12}}{|k-m|(k m + |k-m|)^{-\a-\frac12}}.
$$
The last sum can be shown to be bounded by dividing it into three sums over
$1 \le k \le m/2$, $m/2 \le k \le 2m$ and $m \le k \le 2n/3$, respectively.  Such estimates
are rather standard affairs, we leave the details to the interested readers.
\end{proof}

For $i = j = 0$, the estimate \eqref{Lambda-ij} gives the order of the Lebesgue constant
for the interpolation polynomials based on the zeros of Jacobi polynomials in one variable.
The classical proof in \cite{Sz}, however, does not apply to the case of $(i,j) \ne (0,0)$, since
${\lambda}_{k,n}^{(\a,{\beta})}  k_n^{(\a,{\beta}),i,j}(x ,x_{k,n})$ does not always vanish at $x_{l,n}$ when $l \ne k$.

We are now ready to prove our result on the Lebesgue constant of ${\mathcal L}_n^{\a,{\beta}} f$.

\begin{thm}
Let $\a, {\beta} \ge -1/2$. The Lebesgue constant of the Lagrange interpolation polynomial
${\mathcal L}_n^{\a,{\beta}}f$ based on the nodes of the minimal cubature rule of degree $4n-1$ for
${\mathcal W}_{\a,{\beta}}$ satisfies
\begin{equation} \label{LebesgueCLn}
  \|{\mathcal L}_n^{\a,{\beta}}\|_\infty = {\mathcal O}(1) \begin{cases} n^{2 \max \{\a,{\beta}\} + 1}, & \max\{\a,{\beta}\} > -1/2, \\
                                (\log n)^2, & \max\{\a,{\beta}\} = -1/2.  \end{cases}
\end{equation}
\end{thm}

\begin{proof}
Let $x_{k,n} = \cos {\theta}_{k,n}$ be the zeros of the Jacobi polynomial $p_n^{(\a,{\beta})}$. We estimate
$\|{\mathcal L}_n^{\a,{\beta}}\|_\infty$ in \eqref{LebesgueCW} by setting $x_1 = \cos \frac{{\theta}_1 - {\theta}_2}{2}$ and
$x_2 = \cos \frac{{\theta}_1 + {\theta}_2}{2}$ and taking the maximum over $0 \le {\theta}_1, {\theta}_2 \le \pi$. It follows
that $2x_1x_2 = \cos {\theta}_1 + \cos {\theta}_2$ and $x_1^2+x_2^2 -1 = \cos {\theta}_1\cos {\theta}_2$, and furthermore,
$$
  x_1-x_2 = \sqrt{(1-\cos {\theta}_1)(1-\cos {\theta}_2)} \quad \hbox{and}\quad   x_1+x_2 = \sqrt{(1+\cos {\theta}_1)(1+\cos {\theta}_2)}.
$$
Hence, recalling \eqref{stjk}, it follows from \eqref{eq:CK*Jacobi}, \eqref{Kn-st-1/2} and Lemma
\ref{lem:LambdaQ} that
\begin{align*}
  \|{\mathcal L}_n^{\a,{\beta}}\|_\infty = {\mathcal O}(1) \max_{0 \le {\theta}_1,{\theta}_2 \le \pi} & \sum_{k=0}^n \mathop{ {\sum}' }_{j=1}^k {\lambda}_j {\lambda}_k
       \left[  \left | J_{i,k}^{0,0}({\theta}_1, {\theta}_2) \right| + \left | J_{j,k} n^{1,0}({\theta}_1, {\theta}_2) \right| \right. \\
      & \left. +\left | J_{j,k}^{0,1}({\theta}_1, {\theta}_2) \right|+\left | J_{j,k}^{1,1}({\theta}_1, {\theta}_2) \right|  \right]
      + {\mathcal O}(1) n^{2 \max \{\a,{\beta}\}},
\end{align*}
where $J_n^{i,j}$ are defined by
\begin{align*}
  J_{j,k}^{i,j}({\theta}_1,{\theta}_2) =& k_n^{(\a,{\beta}), i,j}(\cos {\theta}_1, \cos {\theta}_j)  k_n^{(\a,{\beta}),i,j}(\cos {\theta}_2, \cos {\theta}_k) \\
      & +    k_n^{(\a,{\beta}), i,j}(\cos {\theta}_1, \cos {\theta}_k)  k_n^{(\a,{\beta}),i,j}(\cos {\theta}_2, \cos {\theta}_j).
\end{align*}
Hence, as in the proof of Corollary \ref{LebesgueL}, we can reduce the estimate to
the product of $\Lambda_n^{(i,j)}$, so that the desired result follows from \eqref{Lambda-ij}.
\end{proof}

In the case of $\a = {\beta} = -1/2$, the order of the Lebesgue constant was determined in \cite{BMV}
based on the explicit expression in \cite{X96}. In all other cases, the estimate \eqref{LebesgueCLn}
is new. One interesting question is if the result can be extended to the case of
$\max \{\a,{\beta}\} < - \frac12$. We expect that it can be and, furthermore, we believe that the
order is $\|{\mathcal L}_n^{\a,{\beta}}\|_\infty =  {\mathcal O}(1) (\log n)^2$ for $\max \{\a,{\beta}\} < - \frac12$.

Numerical Analysis (math.NA); Classical Analysis and ODEs (math.CA)