离散测度下正交多项式π_N支撑点取值特性的思路确认请求

嘿，完全理解你只需要核对思路的需求，咱们来拆解这个证明的核心逻辑方向：

• 先锚定离散测度下正交多项式的核心定义：这里的正交性是指对任意$i\neq k$，$\int \pi_i(t)\pi_k(t)d\lambda_N(t) = \sum_{j=1}^N \pi_i(t_j)\pi_k(t_j)w_j = 0$（$w_j$是测度在$t_j$处的正权重），而且$\pi_0$到$\pi_{N-1}$是线性无关的$0$到$N-1$次首一多项式。
• 接着看递推式里的系数$\alpha_{N-1}$、$\beta_{N-1}$：它们是完全基于正交性定义的：
  • $\alpha_{N-1} = \frac{\int t\pi_{N-1}(t)^2d\lambda_N(t)}{\int \pi_{N-1}(t)^2d\lambda_N(t)}$
  • $\beta_{N-1} = \frac{\int \pi_{N-1}(t)^2d\lambda_N(t)}{\int \pi_{N-2}(t)^2d\lambda_N(t)}$（$N\geq2$时）
• 关键一步：证明$\pi_N(t)$与$\pi_0(t),\pi_1(t),...,\pi_{N-1}(t)$都正交
  • 把$\pi_N(t)$的递推式代入正交性积分$\int \pi_N(t)\pi_k(t)d\lambda_N(t)$，分情况讨论：
    • 当$k=N-1$：展开后利用$\alpha_{N-1}$的定义，直接可得积分结果为0；
    • 当$k=N-2$：展开后结合$t\pi_{N-2}(t)$可表示为$\pi_{N-1}(t)$加低次正交多项式的线性组合，再利用$\beta_{N-1}$的定义，能推导出积分结果为0；
    • 当$k\leq N-3$：利用$t\pi_{N-1}(t)$是$N$次多项式，可分解为$\pi_N(t)$加低次正交多项式组合，再结合低次多项式间的正交性，也能得到积分结果为0。
• 最后推导结论：$\pi_N(t)$是$N$次首一多项式，现在它满足$\sum_{j=1}^N \pi_N(t_j)\pi_k(t_j)w_j=0$对所有$k=0,1,...,N-1$。把这个看作关于$\pi_N(t_1)w_1, ..., \pi_N(t_N)w_N$的线性方程组，其系数矩阵是由正交多项式在支撑点的值构成的Gram矩阵——因为正交多项式线性无关且权重$w_j>0$，这个矩阵可逆，所以唯一解就是每个$\pi_N(t_j)w_j=0$，而$w_j>0$，因此$\pi_N(t_j)=0$对所有$j=1,...,N$。

内容的提问来源于stack exchange，提问作者Riemann-bitcoin.