Sobolev orthogonal polynomials on the conic surface

Lidia Fernandez, Teresa Perez, Miguel Pinar and Yuan Xu

arXiv: 2209.08186v2 · PDF · 25 May 2026
Categories: math.CA
Licence: CC BY 4.0 The site shows the text.

Abstract

Orthogonal polynomials with respect to the weight function w_{\beta,\gamma}(t) = t^\beta (1-t)^\gamma, \gamma > -1, on the conic surface \{(x,t): \|x\| = t, \, x \in \mathbb{R}^d, \, t \le 1\} are studied recently, and are shown to be eigenfunctions of a second order differential operator \mathcal{D}_\gamma when \beta =-1. We extend the setting to the Sobolev inner product, defined as the integration of the s-th normal derivative \mathfrak{D} = \frac{\mathrm{d}}{\mathrm{d} t} - t^{-1} \langle x, \nabla_x\rangle of the cone with respect to w_{\beta+s,0} over the conic surface, plus a sum of integrals over the rim of the cone. Our main results provide an explicit construction of an orthogonal basis and a formula for the orthogonal projection operators; the latter is used to exploit the interaction of differential operators and the projection operator, which allows us to study the convergence of the Fourier orthogonal series. The study can be regarded as an extension of the orthogonal structure to the weight function w_{\beta, -s} for a positive integer s. It shows, in particular, that the Sobolev orthogonal polynomials are eigenfunctions of \mathcal{D}_{\gamma} when \gamma = -1.

Items 38

Theorem

Theorem 2.1

V9I5

For {\alpha},{\beta} > -1 and s \in {\mathbb N}. The polynomial J_n^{({\alpha}-s,{\beta}-s)} is orthogonal with respect to the inner product \left[ \cdot, \cdot \right]_{{\alpha},{\beta}}^{-s} and its norm square is given by

\left[J_n^{({\alpha}-s,{\beta}-s)},J_n^{({\alpha}-s,{\beta}-s)}\right]_{{\alpha},{\beta}}^{-s} = \begin{cases}\mu_n & 0 \le n \le s-1 \\ \widehat h_{n-s}^{({\alpha},{\beta})} & n \ge s \end{cases},

where \mu_n comes from (?), and \widehat h_n^{({\alpha},{\beta})} is the norm square of \widehat P_n^{({\alpha},{\beta})}, which is given in terms of h_n^{({\alpha},{\beta})} by

\widehat h_n^{({\alpha},{\beta})} = \frac{2^{{\alpha}+{\beta}+1}}{c_{{\alpha},{\beta}}} \left(A_n^{({\alpha},{\beta})}\right)^2 h_n^{({\alpha},{\beta})}.

Used by Proof

Proposition

Proposition 2.2

JD1G

For {\alpha} > -1 and s \in {\mathbb N},

J_n^{({\alpha},-s)} (t) = \frac{(n-s)!}{n!} (1+t)^s \widehat P_{n-s}^{({\alpha},s)}(t), \qquad n \ge s.

In particular, for n \ge s,

J_n^{({\alpha},-s)} (t) = \frac{(-1)^s 2^s}{(-{\alpha}-n)_s}A_{n-s}^{({\alpha},s)} P_n^{({\alpha},-s)}(t).

Proof of Proposition 2.2

We use the hypergeometric expression of the Jacobi polynomials,

P_n^{({\alpha},{\beta})}(t) = \frac{({\alpha}+1)_n}{n!} {}_2F_1\left(\begin{matrix} -n \,\,\, n+{\alpha}+{\beta}+1\\ {\alpha}+1 \end{matrix}; \frac{1-t}{2} \right)

and the fact that P_n^{({\alpha},{\beta})}(t) = (-1)^n P_n^{({\beta},{\alpha})}(-t). It follows that

\begin{aligned} & \int_{-1}^t \frac{(t-u)^{s-1}}{(s-1)!} P_n^{({\alpha}+s,0)}(u) \mathrm{d} u = (-1)^n \int_{-1}^t \frac{(t-u)^{s-1}}{(s-1)!} P_n^{(0, {\alpha}+s)}(-u) \mathrm{d} u \\ & \qquad\quad = (-1)^n \sum_{k=0}^n \frac{(-n)_k (n+{\alpha}+s+1)_k}{k! k!} \int_{-1}^t \frac{(t-u)^{s-1}}{(s-1)!} \left(\frac{1+u}{2} \right)^k \mathrm{d} u \\ & \qquad\quad = \frac{(-1)^n}{s!} (1+t)^s \sum_{k=0}^n \frac{(-n)_k (n+{\alpha}+s+1)_k}{k! (s+1)_k} \left(\frac{1+t}{2} \right)^k \\ & \qquad\quad = \frac{(-1)^n}{s!} (1+t)^s \frac{n!}{(s+1)_n} P_n^{(s,{\alpha})}(-t) = \frac{n!}{(n+s)!} (1+t)^sP_n^{({\alpha},s)}(t). \end{aligned}

Replacing n by n-s and using A_n^{({\alpha},s)} = A_n^{({\alpha}+s,0)}, the identity (?), (?) then follows from (?). The second identity follows from the identity (?).

Theorem

Theorem 3.1

3PE0

Let d\ge 2 and {\gamma} > -1. The orthogonal polynomials in {\mathcal V}_n({\mathbb V}_0^{d+1}, {\mathsf w}_{-1,{\gamma}}) are eigenfunctions of {\mathcal D}_{{\gamma}}; more precisely,

{\mathcal D}_{{\gamma}} u = -n (n+{\gamma}+d-1) u, \qquad \forall u \in {\mathcal V}_n({\mathbb V}_0^{d+1}, {\mathsf w}_{-1,{\gamma}}).

Lemma

Lemma 3.2

0QAT

For (x,t) \in {\mathbb V}_0^{d+1}), let p(t) and q(x) be differentiable functions. Then

\begin{aligned} {\mathfrak D} \left[p(t) q(x)\right] = p'(t) q(x). \end{aligned}

In particular, let \tau_{m,n} = - (n+m + {\beta}+ {\gamma} + d), then

\begin{aligned} {\mathfrak D} {\mathsf S}_{m,\ell}^{n,({\beta},{\gamma})}(x,t) & = \frac{\mathrm{d}}{\mathrm{d} t} \left[P_{n-m}^{(2m + {\beta} + d-1,{\gamma})} (1-2t)\right] Y_\ell^m(x) \\ & = \tau_{n,m} {\mathsf S}_{m,\ell}^{n-1,({\beta}+1,{\gamma}+1)}(x,t), \qquad 0 \le m \le n-1, \end{aligned}

and, for m = n, {\mathfrak D} {\mathsf S}_{n,\ell}^{n,({\beta},{\gamma})}(x,t) = 0.

Used by Proof, Proof, Proof, Proof

Proof of Lemma 3.2

The identity (3.2) is an immediate consequence of (?). Moreover, (3.2) follows from the well-known formula for the derivative of the Jacobi polynomials, as

\begin{aligned} \frac{\mathrm{d}}{\mathrm{d} t} \left[ P_{n-m}^{(2m + {\beta} + d-1,{\gamma})} (1-2t)\right] Y_\ell^m (\xi) & = \tau_{n,m} P_{n-m-1}^{(2m + {\beta} + d,{\gamma}+1)} (1-2t) Y_\ell^m (x) \\& = \tau_{n,m} {\mathsf S}_{m,\ell}^{n-1,({\beta}+1,{\gamma}+1)}(x,t), \end{aligned}

which also holds for m=n, since the above derivative is zero when n-m=0.

Theorem

Theorem 3.3

QF7U

For {\beta} > -d and {\gamma} > -1, let f be a differentiable function such that f\in L^2({\mathbb V}_0^{d+1}, {\mathsf w}_{{\beta},{\gamma}}) and {\mathfrak D} f \in L^2({\mathbb V}_0^{d+1}, {\mathsf w}_{{\beta}+1,{\gamma}+1}). Then, for n =0,1,2,\ldots,

{\mathfrak D} \operatorname{proj}_n^{{\beta},{\gamma}} f(x,t) = \operatorname{proj}_{n-1}^{{\beta}+1,{\gamma}+1} \partial_t f (x,t).

Proof of Theorem 3.3

By Lemma 3.2, {\mathfrak D} \operatorname{proj}_n^{{\beta},{\gamma}} f \in {\mathcal V}_{n-1}^d({\mathsf w}_{{\beta}+1,{\gamma}+1}). Consequently, it follows that

\begin{aligned} & \left \langle {\mathfrak D} f, {\mathsf S}_{m,\ell}^{n-1,({\beta}+1,{\gamma}+1)}\right \rangle_{{\beta}+1,{\gamma}+1} = \left \langle {\mathfrak D} \operatorname{proj}_n^{{\beta},{\gamma}} f, {\mathsf S}_{m,\ell}^{n-1,({\beta}+1,{\gamma}+1)} \right \rangle_{{\beta}+1,{\gamma}+1} \\ & \qquad\qquad = \sum_{k=0}^{n-1} \sum_{\nu} \hat f_{k,\nu}^{n,({\beta},{\gamma})} \tau_{n,k} \left \langle{\mathsf S}_{k,\nu}^{n-1,({\beta}+1,{\gamma}+1)}, {\mathsf S}_{m,\ell}^{n-1,({\beta}+1,{\gamma}+1)} \right \rangle_{{\beta}+1,{\gamma}+1} \\ & \qquad\qquad = \tau_{n,m} \hat f_{m,\ell}^{n,({\beta},{\gamma})} h_{n-1,m}^{{\beta}+1,{\gamma}+1}, \end{aligned}

which implies immediately that

\widehat{{\mathfrak D} f}_{m,\ell}^{n-1, ({\beta}+1,{\gamma}+1)} = \tau_{n,m} \hat f_{m,\ell}^{n,({\beta},{\gamma})}, \quad 0 \le m \le n-1.

Consequently, we obtain

\begin{aligned} {\mathfrak D} \operatorname{proj}_n^{{\beta},{\gamma}} f (x,t) \, & = \sum_{m=0}^{n-1} \sum_\ell \hat f_{m,\ell}^{n,({\beta},{\gamma})}\tau_{n,m} {\mathsf S}_{m,\ell}^{n-1,({\beta}+1,{\gamma}+1)}(x,t) \\ & = \sum_{m=0}^{n-1} \sum_\ell \widehat{{\mathfrak D} f}_{m,\ell}^{n-1, ({\beta}+1,{\gamma}+1)} {\mathsf S}_{m,\ell}^{n-1,({\beta}+1,{\gamma}+1)}(x,t) \\ & = \operatorname{proj}_{n-1}^{{\beta}+1,{\gamma}+1} {\mathfrak D} f (x,t), \end{aligned}

where in the first step we used again {\mathfrak D}_t {\mathsf S}_{n,\ell}^n(x,t) = 0.

Uses Lemma 3.2

Corollary

Corollary 3.4

E0ZT

Let {\beta} > -d and {\gamma} > -1. Let r be a postive integer and let f \in C^r({\mathbb V}_0^{d+1}) such that {\mathfrak D}^k f \in L^p({\mathbb V}_0^{d+1}, {\mathsf w}_{{\beta}+k,{\gamma}+k}) for 0 \le k \le r. Then, for 1 \le p \le \infty,

\left \| {\mathfrak D}^k f - {\mathfrak D}^k Q_{n,\eta}^{({\beta},{\gamma})}f\right \|_{p, {\mathsf w}_{{\beta}+k,{\gamma}+k} } \le c_k E_{n-k} ({\mathfrak D}^k f)_{p, {\mathsf w}_{{\beta}+k,{\gamma}+k} }, \qquad 0 \le k \le r.

Proof of Corollary 3.4

This follows immediately from

\begin{aligned} {\mathfrak D}^k Q_{n,\eta}^{({\beta},{\gamma})} f & = \sum_{j=0}^{2n} \eta\left(\frac j n \right) {\mathfrak D}^j\operatorname{proj}_j^{{\beta},{\gamma}} f = \sum_{j=k}^{2n} \eta\left(\frac j n \right) \operatorname{proj}_{j-k}^{{\beta}+k,{\gamma}+k} f \\ & = \sum_{j=0}^{2n-k} \eta\left(\frac {j+k}n \right) \operatorname{proj}_{j}^{{\beta}+k,{\gamma}+k} {\mathfrak D}^k f = {\mathsf Q}_{n,\eta}^{({\beta}+k,{\gamma}+k)} {\mathfrak D}^k f, \end{aligned}

where we define

{\mathsf Q}_{ n,\eta}^{({\beta},{\gamma})} g = \sum_{j=0}^{2n-k} \eta\left(\frac {j+k}n \right) \operatorname{proj}_{j}^{{\beta},{\gamma}} g, \quad 0 \le k < 2n.

For fixed k \le r independent of n, the function \eta\left(\frac {j+k}n \right) plays essentially the same role as \eta\left(\frac {j}n \right), so that (?) holds with {\mathsf Q}_{n,\eta}^{({\beta},{\gamma})} {\mathfrak D}^k f in place of Q_{n,\eta}^{({\beta},{\gamma})}f, form which the proof follows readily.

Theorem

Theorem 4.1

NZZY

Let s \in {\mathbb N} and {\beta} > -d-s. The polynomials {\mathsf S}_{m,\ell}^{n, ({\beta},-s)}, 1 \le \ell \le \dim {\mathcal H}_m^d and 0\le m \le n consist of a basis of {\mathcal V}_n^d({\mathsf w}_{{\beta},-s}). Moreover, for all \ell, {\mathsf h}_{m,n}^{({\beta},-s)} = \langle {\mathsf S}_{m,\ell}^{n, ({\beta},-s)}, {\mathsf S}_{m,\ell}^{n, ({\beta},-s)} \rangle_{{\beta},-s} satisfies

{\mathsf h}_{m,n}^{({\beta},-s)} = \begin{cases}2^{2n-2m} {\lambda}_{n-m} & 0 \le n -m \le s-1, \\ 2^{s - {\beta}-2m-d}\, \widehat h_{n-m-s}^{(s+2m+{\beta}+d-1,0)} & n-m \ge s. \end{cases}

Used by Proof

Proof of Theorem 4.1

Let q_{n-m}(t) = J_{n-m}^{(2m+{\beta}+d-1, -s)}(t). Changing variable x = t \xi and using (3.2), we obtain

\begin{aligned} \left \langle {\mathsf S}_{m,\ell}^{n,({\beta},-s)}, {\mathsf S}_{m',\ell'}^{n',({\beta},-s)} \right \rangle_{{\beta},-s} = \, & 2^{ 2s} \int_0^1 t^{d-1} q_{n-m}^{(s)} (1-2t) q_{n'-m'}^{(s)}(1-2t) t^{{\beta}+s+m+m'} \mathrm{d} t \\ &\qquad \times \frac{1}{{\omega}_d} \int_{{\mathbb S}^{d-1}} Y_\ell^m (\xi)Y_{\ell'}^{m'} (\xi) \mathrm{d} \sigma (\xi) \\ & + \sum_{k=0}^{s-1} {\lambda}_k 2^{2k} q_{n-m}^{(k)}(-1) q_{n'-m'}^{(k)}(-1) \\ &\qquad \times \frac{1}{{\omega}_d} \int_{{\mathbb S}^{d-1}} Y_\ell^m (\xi)Y_{\ell'}^{m'} (\xi) \mathrm{d} \sigma (\xi). \end{aligned}

Using the orthogonality of Y_\ell^m and changing the variable t \mapsto (1-t)/2 in the first integral, we see that the expression containing q_{n-m} can be written in terms of the Sobolev inner product [\cdot,\cdot]_{{\alpha},{\beta}}^{-s} defined in (?). More precisely, we obtain

\left \langle {\mathsf S}_{m,\ell}^{n,({\beta},-s)}, {\mathsf S}_{m',\ell'}^{n',({\beta},-s)} \right \rangle_{{\beta},-s} = 2^{2 s - {\alpha}-1} [q_{n-m}, q_{n'-m}]_{{\alpha},0}^{-s} \delta_{m,m'} \delta_{\ell,\ell'},

where {\alpha} = s+{\beta}+2m+d-1 and the inner product [\cdot, \cdot]_{{\alpha},0}^{-s} is defined as in (?) but with \mu_k = 2^{2k} {\lambda}_k/2^{2 s-{\alpha}-1}. As shown in Theorem 2.1, the polynomials J_n^{({\alpha}-s,-s)} are orthogonal with respect to this inner product, regardless of the values of \mu_k. This proves the orthogonality of {\mathsf S}_{m,\ell}^{n,({\beta},-s)}. Moreover, the norm {\mathsf h}_{m,n}^{({\beta},-s)} follows from the norm given in Theorem 2.1.

Uses Lemma 3.2, Theorem 2.1

Corollary

Corollary 4.2

JGQ2

For 0 \le m \le n-s,

{\mathfrak D}^s {\mathsf S}_{m,\ell}^{n, ({\beta},-s)}(x,t) = (-2)^s A_{n-s-m}^{(s+2m+{\beta}+d-1,0)} S_{m,\ell}^{n-s, ({\beta}+s,0)}(x,t),

and it is equal to zero if m > n-s. Moreover, for 1 \le k \le s-1 and \xi \in {\mathbb{S}^{d-1}},

{\mathfrak D}^k {\mathsf S}_{m,\ell}^{n, ({\beta},-s)}(\xi,1) = \begin{cases} (-2)^k Y_\ell^m(\xi) \delta_{k,n-m}, & m > n-s \\ 0, & m \le n-s. \end{cases}

Used by Proof

Proof of Corollary 4.2

If m \le n-s, by (3.2) and the identity (?),

\begin{aligned} {\mathfrak D}^s {\mathsf S}_{m,\ell}^{n, ({\beta},-s)}(x,t) \,& = \frac{\mathrm{d}^s}{\mathrm{d} t^s}\left[J_{n-m}^{(2m+{\beta}+d-1,-s)}(1-2t)\right]Y_\ell^m(x) \\ & = (-2)^{s} \widehat P_{n-m-s}^{(s+2m+{\beta}+d-1,0)}(1-2t)Y_\ell^m(x), \end{aligned}

from which (4.2) follows from (?) and the definition of {\mathsf S}_{\ell,m}^{n,({\beta}+s,0)}. Moreover, since n-m \ge s, for 1 \le k \le s-1 it follows immediately by (?) that (4.2) holds. If m > n-s, then the derivative in the identity (4.2) is evidently zero since the Jacobi polynomial in {\mathsf S}_{m,\ell}^{n, ({\beta},-s)} is of degree n-m <s. Moreover, for 1 \le k \le s-1, (4.2) follows from (?).

Uses Lemma 3.2

Corollary

Corollary 4.3

30UR

For 0 \le \ell \le \dim {\mathcal H}_m^d and 0 \le m \le n, the polynomials S_{m,\ell}^{n,({\beta},-s)} satisfy

{\mathsf S}_{m,\ell}^{n,({\beta},-s)}(x,t) = \begin{cases} b_{m,n}^s (1- t)^s S_{m,\ell}^{n-s,({\beta},s)}(x,t) & n-m \ge s, \\ \frac{2^{n-m}}{(n-m)!} (1-t)^{n-m} Y_\ell^m(x), & 0 \le n-m\le s-1, \end{cases}

where b_{m,n}^s = (-1)^s 2^s A_{n-s-m}^{(2m+{\beta}+d-1,s)}/{(-n+m)_s}. In particular, the space {\mathcal V}_n^d({\mathsf w}_{{\beta},-s}) satisfies a decomposition

{\mathcal V}_n^d({\mathsf w}_{{\beta},-s}) = \bigoplus_{j=0}^{s-1} (1-t)^j {\mathcal H}_{n-j}^{d,0} \bigoplus (1-t)^s {\mathcal V}_{n-s}^d({\mathsf w}_{{\beta},s}).

Used by Proof

Proof of Corollary 4.3

This follows from the identity (?), which shows, together with (?), (?), that

J_{n}^{({\alpha},-s)}(1-2t) = \frac{(-1)^s 2^s}{(-n)_s} A_{n-s}^{({\alpha},s)}(1-t)^s P_{n-s}^{({\alpha},s)}(1-2t)

for n\ge s, which implies, with n replaced by n-m, the identity (4.3) when n - m \ge s. For n -m \le s-1, (4.3) follows immediately from the definition of J_n^{({\alpha},-s)} in (?). Since \{Y_\ell^m: 1 \le \ell \le m\} is a basis of {\mathcal H}_n^{d,0}, the decomposition (4.3) is an immediate consequence of (4.3).

Theorem

Theorem 4.4

K06U

Let s be a positive integer. For {\beta} > -d-s, let f be a differentiable function such that {\mathfrak D}^s f \in L^2({\mathbb V}_0^{d+1}, {\mathsf w}_{{\beta}+s,0}). Then, for n =0,1,2,\ldots and (x,t) \in {\mathbb V}_0^{d+1},

\begin{aligned} \operatorname{proj}_n^{{\beta},-s} f(x,t) = \,& \sum_{m=0}^{s-1} \frac{(t-1)^m}{m!} \operatorname{proj}_{n-m}^{\mathbb{S}^{d-1}} \left[{\mathfrak D}^m f(\cdot,1)\right](x) \\ & + (-1)^s \int_{t}^{1} \frac{(v-t)^{s-1}}{(s-1)!} \operatorname{proj}_{n-s}^{{\beta}+s,0} \left({\mathfrak D}^s f\right) (x, v) \mathrm{d} v. \end{aligned}

Used by Proof, Proof

Proof of Theorem 4.4

Let {\alpha} = s+{\beta}+d-1. For 0 \le m \le n-s, it follows from (4.2) that

\begin{aligned} \left \langle f, {\mathsf S}_{m, \ell}^{n,({\beta},-s)}\right \rangle_{{\beta},-s} \,& =(-2)^s A_{n-s-m}^{(2m+{\alpha},0)} \frac{1}{{\omega}_d} \int_{{\mathbb V}_0^{d+1}} {\mathfrak D}^s f(x,t) {\mathsf S}_{m,\ell}^{n-s,({\beta}+s,0)}(x,t) t^{{\beta}+s} \mathrm{d} {\mathsf m}(x,t)\\ & = (-2)^s A_{n-s-m}^{(2m+{\alpha},0)} \frac{1}{c_{{\alpha},0}} \left \langle {\mathfrak D}^s f, {\mathsf S}_{m, \ell}^{n-s,({\beta}+s,0)}\right \rangle_{{\beta}+s,0} \end{aligned}

and the norm of {\mathsf S}_{m,\ell}^{n,({\beta},-s)} satisfies

\begin{aligned} {\mathsf h}_{m,n}^{({\beta},-s)} = 2^{s - {\beta}-2m-d} \widehat h_{n-m-s}^{({\alpha}+2m,0)} \, & = 2^{2s} \frac{1}{c_{2m+{\alpha},0}} \left[A_{n-m-s}^{(2m+{\alpha},0)}\right]^2 h_{n-s-m}^{(2m+{\alpha},0)} \\ & = \frac{1}{c_{{\alpha},0}} 2^{2s} \left[A_{n-m-s}^{(2m+{\alpha},0)}\right]^2 \frac{({\alpha}+1)_{2m}}{({\alpha}+2)_{2m}}h_{n-s-m}^{(2m+{\alpha},0)}\\ & = \frac{1}{c_{{\alpha},0}} 2^{2s} \left[A_{n-m-s}^{(2m+{\alpha},0)}\right]^2 h_{n-s, m}^{{\beta}+s,0}. \end{aligned}

Consequently, it follows that for 0 \le m \le n-s,

\hat f_{m,\ell}^{n, ({\beta},-s)} = \frac{ \left \langle {\mathfrak D}^s f, {\mathsf S}_{m, \ell}^{n-s,({\beta}+s,0)}\right \rangle_{{\beta}+s,0}} { (-2)^{s} A_{n-m-s}^{(2m+{\alpha},0)} h_{n-s, m}^{{\beta}+s,0}} = \frac{ \widehat{{\mathfrak D}^s f}_{m,\ell}^{n-s, ({\beta}+s,0)}}{(-2)^{s} A_{n-m-s}^{(2m+{\alpha},0)}}.

Now, for n-s < m \le n, it follows by Corollary 4.2 that

\begin{aligned} \left \langle f, {\mathsf S}_{m, \ell}^{n,({\beta},-s)}\right \rangle_{{\beta},-s} \,& = \sum_{k=0}^{s-1} \frac{{\lambda}_k}{{\omega}_d} \int_{{\mathbb{S}^{d-1}}} {\mathfrak D}^k f(\xi,1) {\mathfrak D}^k {\mathsf S}_{m, \ell}^{n,({\beta},-s)}(\xi,1)\mathrm{d} \sigma(\xi) \\ & = (-2)^{n-m} \frac{{\lambda}_{n-m}}{{\omega}_d} \int_{{\mathbb{S}^{d-1}}}{\mathfrak D}^{n-m} f(\xi,1) Y_\ell^{m} (\xi)\mathrm{d} \sigma(\xi), \end{aligned}

so that, using the norm of {\mathsf h}_{n,m}^{({\beta},-s)} in Theorem 4.1,

\hat f_{m,\ell}^{n, ({\beta},-s)} = \frac{1}{(-2)^{n-m}} \frac{1}{{\omega}_d} \int_{{\mathbb{S}^{d-1}}} {\mathfrak D}^{n-m} f(\xi,1) Y_\ell^{m} (\xi)\mathrm{d} \sigma(\xi), \quad 0\le n-m \le s-1.

These allow us to expand \operatorname{proj}_n^{{\beta},-s} f, for which we split the sum over \sum_{m=0}^n into two parts. We make a change of variable for the first sum \sum_{m=n-s}^n B_m = \sum_{m=0}^{s-1} B_{n-m} and write the polynomial {\mathsf S}_{n-m,\ell}^{n, ({\beta},-s)} using the second case of (4.3), whereas for the second sum \sum_{m=0}^{n-s} B_m we use the integal form in (?) in {\mathsf S}_{n-m,\ell}^{n, ({\beta},-s)}. We then obtain, using {\alpha} = s+{\beta}+d-1 again,

\begin{aligned} & \operatorname{proj}_n^{{\beta},-s} f(x,t) \, = \sum_{m=0}^{s-1} \frac{(t-1)^m}{m!} \sum_{\ell=1}^{\dim {\mathcal H}_{n-m}^d} \frac{1}{{\omega}_d} \int_{{\mathbb{S}^{d-1}}} {\mathfrak D}^{m} f(\eta,1) Y_\ell^{n-m} (\eta)\mathrm{d} \sigma(\eta)\,Y_\ell^{n-m} (x) \\ & \qquad\quad + \sum_{m = 0}^{n-s} \sum_{\ell=1}^{\dim {\mathcal H}_{m}^d} \frac{ \widehat{{\mathfrak D}^s f}_{m,\ell}^{n-s, ({\beta}+s,0)}}{(-2)^{s} A_{n-m-s}^{(2m+{\alpha},0)}} \int_{-1}^{1-2t} \frac{(1-2t -u)^{s-1}}{(s-1)!} \widehat P_{n-s}^{({\alpha}+2m,0)}(u) \mathrm{d} u \, Y_\ell^m(x). \end{aligned}

The inner sum of the first term on the right-hand side is

t^{n-m} \operatorname{proj}_{n-m}^{\mathbb{S}^{d-1}} [{\mathfrak D}^m f(\cdot,1)](\xi) = \operatorname{proj}_{n-m}^{\mathbb{S}^{d-1}} [{\mathfrak D}^m f(\cdot,1)](x),

since the function \xi \mapsto {\mathfrak D}^m f(\xi,1) on the unit sphere and \operatorname{proj}_{n-m}^{\mathbb{S}^{d-1}} are homogeneous of degree n-m. Changing variable u = 1-2v and using (?) in the integral, the second term on the right-hand side becomes,

\begin{aligned} \sum_{m = 0}^{n-s} \sum_{\ell} & \widehat{{\mathfrak D}^s f}_{m,\ell}^{n-s, ({\beta}+s,0)} (-1)^s \int_{t}^{1} \frac{(v-t)^{s-1}}{(s-1)!} P_{n-s}^{({\alpha}+2m,0)}(1-2v) \mathrm{d} v \, Y_\ell^m(x) \\ & = (-1)^s \int_{t}^{1} \frac{(v-t)^{s-1}}{(s-1)!} \sum_{m = 0}^{n-s} \sum_{\ell} \widehat{{\mathfrak D}^s f}_{m,\ell}^{n-s, ({\beta}+s,0)} {\mathsf S}_{m,\ell}^{n-s, ({\beta}+s,0)} (x,v) \mathrm{d} v\\ & = (-1)^s \int_{t}^{1} \frac{(v-t)^{s-1}}{(s-1)!} \operatorname{proj}_{n-s}^{{\beta}+s,0}{\mathfrak D}^s f (x, v) \mathrm{d} v. \end{aligned}

Putting the two terms together completes the proof.

Uses Corollary 4.2, Theorem 4.1, Corollary 4.3

Corollary

Corollary 4.5

MGR6

Let s be a positive integer. For {\beta} > -d-s, let f be a differentiable function such that {\mathfrak D}^s f \in L^2({\mathbb V}_0^{d+1}, {\mathsf w}_{{\beta}+s,0}). Then, for n \ge s,

{\mathfrak D}^s \operatorname{proj}_n^{{\beta},-s} f(x,t) = \operatorname{proj}_{n-s}^{{\beta}+s,0}\left({\mathfrak D}^s f\right) (x,t).

Proof of Corollary 4.5

Taking the derivative {\mathfrak D}^s of (4.4), it follows from (3.2) that the first term in the right-hand side is zero, while the second term gives the stated identity.

Uses Theorem 4.4, Lemma 3.2

Theorem

Theorem 4.6

1PY9

For f \in C^s({\mathbb V}_0^{d+1}),

\begin{aligned} f(x,t) - {\mathsf Q}_{n,\eta}^{(\beta, -s)}f(x,t) \,& = \sum_{m=0}^{s-1} \frac{(t-1)^m}{m!} \left[ {\mathfrak D}^m f(x,,1) - {\mathsf Q}_{n-m,\eta}^{{\mathbb{S}^{d-1}}} \left[{\mathfrak D}^m f(\cdot,1)\right](x) \right] \\ & + (-1)^s \int_{t}^{1} \frac{(v-t)^{s-1}}{(s-1)!} \left[ {\mathfrak D}^s f (x, v)- {\mathsf Q}_{n-s,\eta}^{{\beta}+s,0}\left({\mathfrak D}^s f\right) (x, v) \right] \mathrm{d} v. \end{aligned}

Proof of Theorem 4.6

Multiplying (4.4) by \eta\left( \frac{k}{n} \right) and summing up over k gives an expression of {\mathsf Q}_{n,\eta}^{({\beta},-s)} f. Furthermore, by (?), the Tylor expansion of t\rightarrow f(x,t) with respect to the t variable at t =1, together with its remainder formula, gives

f(x,t) = \sum_{m=0}^{s-1} \frac{(t-1)^m}{m!} {\mathfrak D}^m f(x,1) + (-1)^s \int_{t}^{1} \frac{(v-t)^{s-1}}{(s-1)!} {\mathfrak D}^s f (x, v) \mathrm{d} v.

Together, the difference of the two identities gives the error formula for f -{\mathsf Q}_{n,\eta}^{({\beta},-s)} f and completes the proof.

Uses Theorem 4.4

Corollary

Corollary 4.7

RD09

Let f \in W_p^s({\mathsf w}_{{\beta}+s,0}). Then, for 1 \le p \le \infty,

\left \|{\mathfrak D}^s f - {\mathfrak D}^s {\mathsf Q}_{n,\eta}^{(\beta, -s)}f \right\|_{p, {\mathsf w}_{{\beta}+s,0}} \le c E_n\left( {\mathfrak D}^s f \right)_{p, {\mathsf w}_{{\beta}+s,0}}.

Theorem

Theorem 4.8

4UUZ

If f(x,t) = (1-t)^s g(x,t), then

\operatorname{proj}_n^{{\beta},-s} f = (1-t)^s \operatorname{proj}_{n-s}^{{\beta},s} g.

Proof of Theorem 4.8

By the definition of the {\mathsf S}_{m,\ell}^{n,({\beta},-s)}, it follows from (?), (?) that

{\mathsf S}_{m,\ell}^{n, ({\beta},-s)} (x,t)= \sigma_{m,n} (1-t)^s {\mathsf S}_{m,\ell}^{n-s, ({\beta},s)}(x,t), \quad \sigma_{m,n} := \frac{(n-s-m)!}{(n-m)!} A_{n-m}^{(2m+{\beta}+d-1,0)}.

Expanding g in terms of the Fourier orthogonal series in L^2({\mathbb V}_0^{d+1}, {\mathsf w}_{{\beta},1}), we obtain

\begin{aligned} f(x,t) = (1-t)^s g(x,t) \,& = (1-t)^s \sum_{n=0}^\infty \sum_{m=0}^n \sum_\ell \hat g_{m,\ell}^{n, ({\beta},s)} {\mathsf S}_{m,\ell}^{n, ({\beta},s)}(x,t) \\ & = \sum_{n=0}^\infty \sum_{m=0}^n \sum_\ell \hat g_{m,\ell}^{n, ({\beta},s)} \sigma_{n+s,m}^{-1} {\mathsf S}_{m,\ell}^{n+s, ({\beta},-s)}(x,t). \end{aligned}

Applying the orthogonality in the Sobolev inner product, it follows immediately that

\left \langle f, {\mathsf S}_{m,\ell}^{n+s, ({\beta},-s)} \right \rangle_{{\beta},-s} = \sigma_{n+1,m}^{-1} \hat g_{m,\ell}^{n,({\beta},s)} \left \langle {\mathsf S}_{m,\ell}^{n+s, ({\beta},-s)}, {\mathsf S}_{m,\ell}^{n+s, ({\beta},-s)} \right \rangle_{{\beta},-s}, \quad 0 \le m \le n;

in particular, with n replaced by n-s, we then obtain

\hat f_{m,\ell}^{n,({\beta},-s)} = \sigma_{n,m}^{-s} \hat g_{m,\ell}^{n-s,({\beta},s)}, \quad 0 \le m \le n-s.

For n-s < m \le n, the polynomial J_{n-m}^{(2m+{\beta}+d-1,-s)}(t) is a polynomial of degree at most s-1, so that {\mathfrak D}^s {\mathsf S}_{n,\ell}^{n, ({\beta},-1)}(x,t) = 0; moreover, {\mathfrak D}^k f(\xi,1) =0 for 0 \le k \le s-1, since f contains a factor (1-t)^s. It follows that \hat f_{n,\ell}^{n,({\beta},-s)} = 0 for n -s < m \le n by the definition of the Sobolev inner product. Consequently, by (?), (?) and (Proof) we obtain

\begin{aligned} (1-t) \operatorname{proj}_{n-s}^{{\beta},s} g\, & = (1-t) \sum_{m=0}^{n-s} \sum_\ell \hat g_{m,\ell}^{n-1,({\beta},s)} {\mathsf S}_{m,\ell}^{n-s, ({\beta},s)} \\ & = \sum_{m=0}^{n} \sum_\ell \hat f_{m,\ell}^{n,({\beta},-s)} {\mathsf S}_{m,\ell}^{n, ({\beta},-s)} = \operatorname{proj}_{n}^{{\beta},-s}f. \end{aligned}

The proof is completed.

Corollary

Corollary 4.9

44EP

Let f \in L^p({\mathbb V}_0^{d+1},{\mathsf w}_{{\beta},0}) and f(t) = (1-t) g(t). Then, for 1 \le p \le \infty,

\left \| f - {\mathsf Q}_{n,\eta}^{(\beta, -s)} f \right\|_{p, {\mathsf w}_{{\beta},0}} \le c E_n\left(g \right)_{p, {\mathsf w}_{{\beta},s}} \le c E_n\left(g \right)_{p, {\mathsf w}_{{\beta},0}}

Proof of Corollary 4.9

Since f = (1-t)^s g, we see that

{\mathsf Q}_{n,\eta}^{(\beta, -1)} f = \sum_{k=0}^{2n} \eta\left( \frac{k}{n}\right) (1-t)^s \operatorname{proj}_{k-1}^{{\beta},s} g = (1-t)^s \widetilde {\mathsf Q}_{n,\eta}^{\beta,s} g,

where \widetilde {\mathsf Q}_{n,\eta}^{(\beta,s)} is defined as in the proof of Corollary 3.4. For p \ge 1, we then obtain

\begin{aligned} \left \| f - {\mathsf Q}_{n,\eta}^{(\beta, -s)} f \right\|_{p, {\mathsf w}_{{\beta},0}} & = \left \| (1-t)^s \left[ g - \widetilde {\mathsf Q}_{n,\eta}^{(\beta, s)} g \right] \right\|_{p, {\mathsf w}_{{\beta},0}}\\ & \le \left \|g - \widetilde {\mathsf Q}_{n,\eta}^{(\beta, s)} g \right\|_{p, {\mathsf w}_{{\beta},s}} \le c E_n(g)_{p, {\mathsf w}_{{\beta},s}}, \end{aligned}

By the definition of E_n(g)_{p, {\mathsf w}}, it follows immediately E_n(g)_{p, {\mathsf w}_{{\beta},s}} \le E_n(g)_{p, {\mathsf w}_{{\beta},0}}. The proof is completed.

Lemma

Lemma 5.1

40GK

Let p(t) be a polynomial in the t variable and Y(\xi) be a function defined on the unit sphere {\mathbb{S}^{d-1}}. For k \geq 1,

\begin{aligned} {\mathcal D}_{\gamma} \left [(1-t)^k\,p(t) Y(\xi) \right] \, & = (1-t)^k {\mathcal D}_{\gamma+2k}\left [p(t) Y (\xi)\right] \\ & - k\,(1-t)^{k-1} [d-1-(d+{\gamma}+k-1)t] p(t)Y(\xi). \end{aligned}

Used by Proof

Proof of Lemma 5.1

For k=1, a quick computation from the definition of {\mathcal D}_{{\gamma}} shows

\begin{aligned} {\mathcal D}_{{\gamma}}[(1-t) p(t) Y(\xi)] =\, & \big((1-t) \left[t(1-t)p''(t) + [d-1-(d+\gamma+2)t]p'(t)\right] \\ & - [d-1-(d+\gamma)t]p(t)\big) Y(\xi) + t^{-1}\,(1-t) p(t) \, \Delta_0^{(\xi)}Y(\xi) \\ = \, & (1-t){\mathcal D}_{\gamma+2}[p(t)Y(\xi)] - [d-1-(d+\gamma)t]p(t)Y(\xi), \end{aligned}

which verifies (5.1) for k=1. Assume that (5.1) holds for k\geq 1. Then

\begin{aligned} & {\mathcal D}_{\gamma}[(1-t)^{k+1} p(t) Y(\xi)] = {\mathcal D}_{{\gamma}} [(1-t)^k (1-t) p(t) Y(\xi)] \\ & \quad = (1-t)^k {\mathcal D}_{{\gamma}+2k}[(1-t)p(t) Y(\xi)] \\ &\qquad - k\,(1-t)^{k-1} [d-1-(d+\gamma+k-1)t][(1-t)p(t) Y(\xi)]\\ & \quad = (1-t)^k \left\{(1-t){\mathcal D}_{{\gamma}+2k+2}[p(t) Y(\xi)] - [d-1-(d+\gamma+2k)t]p(t) Y(\xi)\right\}\\ &\qquad - k\,(1-t)^{k} [d-1-(d+\gamma+k-1)t]p(t) Y(\xi)\\ & \quad = (1-t)^{k+1} {\mathcal D}_{{\gamma}+2k+2}[p(t) Y(\xi)] - (k+1)(1-t)^k [d-1-(d+\gamma+k)t]p(t) Y(\xi), \end{aligned}

so that (5.1) holds for k+1 and the proof is completed by induction.

Theorem

Theorem 5.2

BT8U

For 0\le j \le n, let Z_{j,n}(x,t) = p(t) Y(x) with p being a polynomial of degree j in one variable and Y be a solid harmonic polynomial in {\mathcal H}_{n-j}^{d,0}. For \gamma \in {\mathbb R}, the only polynomial p for which Z_{j,n} satisfies

{\mathcal D}_{{\gamma}} Z (x,t) = \lambda_n^{(\gamma)} Z(x,t), \qquad {\lambda}_n^{({\gamma})} = -n(n+{\gamma}+d-1),

is the Jacobi polynomial p(t) = c_j\,P_j^{(2n-2j+d-2, \gamma)}(1-2t), where c_j is an appropriate constant, if 2n+\gamma+d-r-1\neq 0 for 0\leq r\leq j.

Used by Proof, Proof

Proof of Theorem 5.2

Without losing generality, we assume p is a monic polynomial,

p(t) = \sum_{i=0}^j \,(1-t)^i\,a_{j,i}, \quad a_{j,j} = 1.

Our objective is to determine the coefficients a_{j,i} such that Z_j satisfies (5.2). First, we observe that (5.2) holds if p(t) =1. In this case Y \in {\mathcal H}_n^{d,0} and Y(x) = t^n Y(\xi). Hence, taking the derivative over t and using the relation (?), a quick computation shows that

\begin{aligned} {\mathcal D}_{{\gamma}} Y(x)= &\, {\mathcal D}_{{\gamma}}[t^n Y(\xi)] \\ = &\, n (n+d-2)Y(\xi) - m (m+{\gamma}+d-1) t^m Y(\xi) + t^{m-1} \Delta_0 Y(\xi) \\ = &\, -m(m+d+{\gamma}-1) t^m Y(\xi) = -m(m+d+{\gamma}-1) Y(x). \end{aligned}

For j \ge 0, we use the identity (5.1) to obtain

\begin{aligned} & {\mathcal D}_{{\gamma}} Z_j(x,t) = \sum_{i=0}^j a_{j,i} {\mathcal D}_{{\gamma}}\left[(1-t)^i t^{n-j} Y(\xi)\right] \\ & = \sum_{i=0}^j a_{j,i} \left[(1-t)^i {\mathcal D}_{{\gamma}+ 2i}[Y(x)] - i(1-t)^{i-1}[d-1-(d+\gamma+i-1)t] Y(x)\right] \end{aligned}

and then apply (Proof) for Y\in {\mathcal H}_{n-j}^{d,0} and simplify to obtain

\begin{aligned} {\mathcal D}_{{\gamma}} Z_j(x,t) = \, & \sum_{i=0}^{j} \,(1-t)^i \,a_{j,i} [\lambda_{n-j}^{(\gamma+2i)} - i\,(d+\gamma+i-1)]\,Y(x)\\ &+\sum_{i=0}^{j-1} (i+1)(1-t)^{i}\,(\gamma+i+1) \,a_{j,i+1}\,Y(x)\\ = \, & (1-t)^j \,\lambda_n^{(\gamma)}\,Y(x) +\sum_{i=0}^{j-1} \,(1-t)^i \\ & \times \{a_{j,i} \,[\lambda_{n-j}^{(\gamma+2i)} - i(d+\gamma+i-1)] + a_{j,i+1}(i+1)(\gamma+i+1)\}Y(x), \end{aligned}

since a_{j,j} = 1. Thus, in order to have Z_{j,n} (x,t) satisfying (5.2), we must have

a_{j,i} \,[\lambda_{n-j}^{(\gamma+2i)} - i(d+\gamma+i-1)] + a_{j,i+1}(i+1)(\gamma+i+1) = a_{j,i} \lambda_n^{(\gamma)}

for 0 \le i \le j-1, which leads to the recurrence relation

a_{j,i} = - \frac{(i+1)(\gamma+i+1)}{(j-i)(2n+\gamma+d-1-j+i)}a_{j,i+1} , \quad i=0, 1, \ldots, j-1.

Solving this recurrence relation and using a_{j,j} = 1, we obtain

a_{j,i} = (-1)^{j-i}\frac{(i+1)_{j-i}(\gamma+i+1)_{j-i}}{(j-i)!(2n+\gamma+d- 1-j+i)_{j-i}}, \quad 0\leq i \leq j.

Using the identity (a+i)_{j-i} = (a)_j/(a)_i and (j-i)! = (-1)^i j! / (-j)_i, we can rewrite it as

a_{j,i} = (-1)^j c_j \frac{(-j)_i (2n+{\gamma}+d-j-1)_i}{i! ({\gamma}+1)_i}, \quad c_j= \frac{({\gamma}+1)_j}{(2n+{\gamma}+d-j-1)_j},

which is well-defined if (2n+{\gamma}+d-j-1)_j \ne 0. Consequently, the polynomial p must be given by

\begin{aligned} p(x) \,& = (-1)^j c_j \phantom{i}_2F_1\left ( \begin{matrix} -j, 2n+{\gamma}+d-j-1 \\ {\gamma}+1 \end{matrix}; 1-t \right) \\ & = (-1)^jc_j P_j^{({\gamma}, 2n-2j+d-2)}(2t-1) = c_j P_j^{(2n-2j+d-2, {\gamma})}(1-2t), \end{aligned}

which completes the proof.

Uses Lemma 5.1

Proposition

Proposition 5.3

2JNP

Let s \in {\mathbb N} and n \in {\mathbb N}_0. Then the polynomials {\mathsf S}_{m,\ell}^{n, (-1,-s)} are eigenfunctions of {\mathcal D}_{-s} if and only if m \le n-s and m =n.

Proof of Proposition 5.3

By (?), (?), the polynomials {\mathsf S}_{m,-\ell}^{n,(-1,-s)} can be written as

{\mathsf S}_{m,\ell}^{n,(-1,-s)}(x,y) = c_{n-m} P_{n-m}^{(2m+d-2,-s)}(1-2t) Y_\ell^m(x), \quad n-m \ge s,

so that Theorem 5.2 applies for n - m \ge s, thus {\mathsf S}_{m,\ell}^{n, (-1,-s)} satisfies (5.2). If n = m, then {\mathsf S}_{n, \ell}^{n, (-1,-s)}(x,t) = Y_\ell^n(x). As a result, (5.2) holds with p(z) =1. For 1 \le n-m \le s-1, however, the polynomial J_{n-m}^{(2m+d-2,-s)}(t) = (1-t)^{n-m}/(n-m)! is not the Jacobi polynomial P_{n-m}^{(2m+d-2,-s)}(t), hence {\mathsf S}_{n, \ell}^{n, (-1,-s)} is not a solution of (5.2).

Uses Theorem 5.2

Theorem

Theorem 5.4

WS72

For {\gamma} = -1, all elements in {\mathcal V}_n^d({\mathsf w}_{-1,-1}) are eigenfunctions of {\mathcal D}_{-1}; that is,

{\mathcal D}_{-1} Z = - n (n+ d-2) Z, \qquad \forall Z \in {\mathcal V}_n^d({\mathsf w}_{-1,-1}).

Moreover, the space {\mathcal V}_n^d({\mathsf w}_{-1,-1}) satisfies a decomposition

{\mathcal V}_n^d({\mathsf w}_{-1,-1}) = {\mathcal H}_n^{d,0} \cup (1-t) {\mathcal V}_{n-1}^d({\mathsf w}_{-1,1}), \qquad n =0,1,\ldots.

Proof of Theorem 5.4

We only need to prove the decomposition. If m \le n-1, it follows from from (?), (?) that {\mathsf S}_{m,\ell}^{n,({\beta},-1)} = c (1-t) {\mathsf S}_{m,\ell}^{n-1,({\beta},1)} \in (1-t) {\mathcal V}_{n-1}^d({\mathsf w}_{-1,1}), whereas if m = n, then {\mathsf S}_{n,\ell}^{n,({\beta},-s)} = Y_\ell^n \in {\mathcal H}_n^{d,0}.

Theorem

Theorem 5.5

MC62

For s = 2,3,\ldots, define

\begin{aligned} {\mathcal U}_n^d({\mathsf w}_{-1,-s}):= {\mathcal H}_{n}^{d,0} \bigcup_{j=1}^{s-1}P_j^{(2n-2j+d-2,-s)}(1-2t){\mathcal H}_{n-j}^{d,0} \cup (1-t)^s {\mathcal V}_{n-s}^d ({\mathsf w}_{-1,s}). \end{aligned}

Then {\mathcal U}_n^d({\mathsf w}_{-1,-s}) is the eigenspace of {\mathcal D}_{-s}; more precisely, {\mathcal D}_{-s} Z=\lambda_n^{(-s)}Z for all Z \in {\mathcal U}_n^d({\mathsf w}_{-1,-s}). Moreover, the space satisfies

\dim {\mathcal U}_n^d({\mathsf w}_{-1,-s}) = \binom{n+d-1}{d}

if -2n-d+j+s+2 is not a positive integer between 1 and j for 1 \le j \le s-1 and n \ge j.

Proof of Theorem 5.5

As in the case of s = 1, using (?), (?), the statement on the eigenspace follows readily from Theorem 5.2. As it is shown for the dimension of {\mathcal V}_n^d({\mathsf w}_{{\beta},-s}), the space {\mathcal U}_n^d({\mathsf w}_{-1,-s}) has the full dimension \binom{n+d-1}{d} if the Jacobi polynomials P_j^{(2n-2j+d-2,-s)} does not have the degree reduction, which holds if 2n-j+d-2-s +k =0 for a certain integer k, 1 \le k \le j, by [Sz, p. 64].

Uses Theorem 5.2

Example

Example 5.6

44RL

If s = 2, then the space {\mathcal U}_n^d({\mathsf w}_{-1,-2}) is given by

{\mathcal U}_n^d({\mathsf w}_{-1,-2}) = {\mathcal H}_n^d \cup \left(1+ (2n+d-4)(1-t) \right) {\mathcal H}_{n-1}^d \cup (1-t)^s {\mathcal V}_{n-2}^d ({\mathsf w}_{-1,2})

and it has the full dimension if -2n-d+5 \ne 1 or 2n-d+4 \ne 0 for n \ge 1. Thus, {\mathcal D}_{-2} has a complete basis of polynomials as eigenfunctions if d is odd. In the case that d is even, {\mathcal U}_n^d({\mathsf w}_{-1,-2}) is not well-defined for n = d/2-2.

Source and licence

The text on this page is from arXiv:2209.08186v2 by Lidia Fernandez, Teresa Perez, Miguel Pinar and Yuan Xu, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/2209/2209.08186.jsonl.