[论文解读] Bivariate Chebyshev-I Weighted Orthogonal Polynomials on Simplicial Domains

Mohammad Alqudah|arXiv (Cornell University)|Jul 1, 2015

Advanced Numerical Analysis Techniques参考文献 10被引用 4

一句话总结

本文在三角形区域上构建了一个显式闭式、按次数排序的二元切比雪夫-I正交多项式系统 $\mathscr{T}_{n,r}(u,v,w)$，其权函数为 $W(u,v,w) = u^{-1/2}v^{-1/2}(1-w)^\gamma$，其中 $\gamma \geq 1$。通过变量分离和一元切比雪夫多项式的正交性，证明了该多项式系统构成完备正交系，从而可利用伯恩斯坦-贝齐埃系数的递推关系实现高效计算。

ABSTRACT

We construct a simple closed-form representation of degree-ordered system of bivariate Chebyshev-I orthogonal polynomials $\mathscr{T}_{n,r}(u,v,w)$ on simplicial domains. We show that these polynomials $\mathscr{T}_{n,r}(u,v,w),$ $r=0,1,\dots,n;$ $n\geq 0$ form an orthogonal system with respect to the Chebyshev-I weight function.

研究动机与目标

• 开发一种在三角形区域上的、按次数排序的显式闭式二元正交多项式系统。
• 针对权函数 $W(u,v,w) = u^{-1/2}v^{-1/2}(1-w)^\gamma$，$\gamma \geq 1$，定义正交多项式，确保在不同次数与指标间保持正交性。
• 建立伯恩斯坦-贝齐埃系数的递推关系，以支持几何设计与逼近理论中的高效数值计算。
• 将正交多项式理论扩展至具有非均匀权函数的单形区域上的二元情形。
• 为基于具有显式结构的正交基在三角形上的谱方法与逼近提供理论基础。

提出的方法

• 将 $\mathscr{T}_{n,r}(u,v,w)$ 表示为 $u/(1-w)$ 的一元切比雪夫多项式与 $w$ 的正交多项式的乘积，以保证次数排序。
• 使用权函数 $W(u,v,w) = u^{-1/2}v^{-1/2}(1-w)^\gamma$ 以实现内积积分中的变量分离。
• 利用一元切比雪夫-I多项式 $T_r(t)$ 在 $[-1,1]$ 上关于权函数 $t^{-1/2}(1-t)^{-1/2}$ 的正交性，证明 $\mathscr{T}_{n,r}$ 与 $\mathscr{T}_{n,s}$ 在 $r \neq s$ 时相互正交。
• 将多项式表示为伯恩斯坦-贝齐埃形式，以支持几何设计应用。
• 通过二项式恒等式与切比雪夫多项式在伯恩斯坦基下的已知展开式，推导出伯恩斯坦-贝齐埃系数 $a_{ijk}^{n,r}$ 的显式公式。
• 通过正交性条件 $\langle B_{ijk}^{n-1}, \mathscr{T}_{n,r} \rangle = 0$ 建立系数的递推关系，实现逐步计算。

实验结果

研究问题

• RQ1 能否在具有非均匀权函数的三角形区域上，构建一个显式闭式、按次数排序的二元切比雪夫-I正交多项式系统？
• RQ2 由该系统生成的多项式 $\mathscr{T}_{n,r}(u,v,w)$ 是否关于权函数 $W(u,v,w) = u^{-1/2}v^{-1/2}(1-w)^\gamma$（$\gamma \geq 1$）构成完备正交系统？
• RQ3 这些正交多项式的伯恩斯坦-贝齐埃系数 $a_{ijk}^{n,r}$ 的显式形式是什么？
• RQ4 能否为系数 $a_{ijk}^{n,r}$ 推导出递推关系，以支持高效的数值计算？
• RQ5 这些多项式的结构在谱方法或几何建模等应用中如何被有效利用？

主要发现

• 通过变量分离与一元正交性，已证明二元多项式 $\mathscr{T}_{n,r}(u,v,w)$ 在三角形区域 $T$ 上关于权函数 $W(u,v,w) = u^{-1/2}v^{-1/2}(1-w)^\gamma$（$\gamma > -1$）构成完备正交系。
• 显式闭式表达式为 $\mathscr{T}_{n,r}(u,v,w) = (-1)^k \binom{n+r+1}{k} B_k^{n-r}(w, u+v) \sum_{i=0}^r c(i) B_i^r(u,v)$，其中 $k$ 为 $w$ 的次数。
• 伯恩斯坦-贝齐埃系数 $a_{ijk}^{n,r}$ 的显式表达式为 $a_{ijk}^{n,r} = (-1)^k \frac{\binom{n+r+1}{k} \binom{n-r}{k}}{\binom{n}{k}} M_{i,r}^{n-k}$（当 $0 \leq k \leq n-r$ 时），否则为零，其中 $M_{i,r}^{n-k}$ 为切比雪夫-I多项式在伯恩斯坦基展开中的系数。
• 推导出系数的递推关系：$(i+1)a_{i+1,j,k}^{n,r} + (j+1)a_{i,j+1,k}^{n,r} + (k+1)a_{i,j,k+1}^{n,r} = 0$，支持递归计算。
• 系数 $a_{i,n-i,0}^{n,r}$ 的显式形式为 $M_{i,r}^{n}$，为递推关系提供了初始条件。
• 该构造确保 $\mathscr{T}_{n,r}$ 与所有次数 $\leq n-1$ 的多项式正交，且与 $\mathscr{T}_{n,s}$（$r \neq s$）正交，从而确认了正交系的性质。