数学基础 -- 勒让德多项式之矩阵与内积

勒让德多项式与内积计算

1. 欧几里得空间中的向量内积

在欧几里得空间中，向量的内积定义为：

$$⟨\mathbf{v},\mathbf{w}⟩=x_1{y}_1+x_2{y}_2+\cdots +x_n{y}_n$$

如果向量 $\mathbf{v}=(x,y,z,h)$，则其与自身的内积为：

$$⟨\mathbf{v},\mathbf{v}⟩=x^2+y^2+z^2+h^2$$

这种内积计算方式适用于有限维向量，如二维或三维向量。

2. 为什么勒让德多项式的内积使用定积分？

勒让德多项式是一类函数，而不是简单的有限维向量。对于函数空间中的“向量”，其内积通过定积分来定义。两个函数 $f(x)$ 和 $g(x)$ 的内积定义为：

$$⟨f(x),g(x)⟩={\int }_a^{b}f(x)g(x)dx$$

对于勒让德多项式，内积的区间为 $[-1,1]$，因此：

$$⟨P_m(x),P_n(x)⟩={\int }_{-1}^1{P}_m(x)P_n(x)dx$$

这意味着勒让德多项式的正交性是在特定区间上通过积分来衡量的。

3. 勒让德多项式的定义

勒让德多项式 $P_n(x)$ 是一类常用的正交多项式，可以通过递归公式生成。前几项勒让德多项式为：

• $P_0(x)=1$
• $P_1(x)=x$
• $P_2(x)=\frac{1}{2}(3x^2-1)$
• $P_3(x)=\frac{1}{2}(5x^3-3x)$
• $P_4(x)=\frac{1}{8}(35x^4-30x^2+3)$

4. 勒让德多项式的矩阵表示

可以将勒让德多项式的系数作为列向量组成矩阵。对于 $P_0(x)$ 到 $P_3(x)$，我们可以写出如下矩阵表示：

$$P_0(x)=1\text{表示为}\left(\begin{array}{c}1\\ 0\\ 0\\ 0\end{array}\right)$$

$$P_1(x)=x\text{表示为}\left(\begin{array}{c}0\\ 1\\ 0\\ 0\end{array}\right)$$

$$P_2(x)=\frac{1}{2}(3x^2-1)\text{表示为}\left(\begin{array}{c}-\frac{1}{2}\\ 0\\ \frac{3}{2}\\ 0\end{array}\right)$$

$$P_3(x)=\frac{1}{2}(5x^3-3x)\text{表示为}\left(\begin{array}{c}0\\ -\frac{3}{2}\\ 0\\ \frac{5}{2}\end{array}\right)$$

矩阵 $M$ 为：

$$M=\left(\begin{array}{cccc}1& 0& -\frac{1}{2}& 0\\ 0& 1& 0& -\frac{3}{2}\\ 0& 0& \frac{3}{2}& 0\\ 0& 0& 0& \frac{5}{2}\end{array}\right)$$

5. 勒让德多项式的内积计算步骤

例子 1：计算 $P_1(x)$ 和 $P_2(x)$ 的内积

已知 $P_1(x)=x$ 和 $P_2(x)=\frac{1}{2}(3x^2-1)$，计算它们在区间 $[-1,1]$ 上的内积：

$$⟨P_1(x),P_2(x)⟩={\int }_{-1}^{1}x\cdot \frac{1}{2}(3x^2-1)dx$$

展开后：

$$=\frac{1}{2}{\int }_{-1}^{1}x(3x^2-1)dx$$

$$=\frac{1}{2}\left({\int }_{-1}^{1}3x^{3}dx-{\int }_{-1}^{1}xdx\right)$$

分别计算每一项：

1. ${\int }_{-1}^{1}3x^{3}dx=0$
2. ${\int }_{-1}^{1}xdx=0$

因此：

$$⟨P_1(x),P_2(x)⟩=\frac{1}{2}\times (0-0)=0$$

这验证了 $P_1(x)$ 和 $P_2(x)$ 的正交性。

例子 2：计算 $P_2(x)$ 与自身的内积

计算 $P_2(x)=\frac{1}{2}(3x^2-1)$ 的自内积：

$$⟨P_2(x),P_2(x)⟩={\int }_{-1}^1{\left(\frac{1}{2}(3x^2-1)\right)}^{2}dx$$

展开后：

$$=\frac{1}{4}{\int }_{-1}^1(9x^4-6x^2+1)dx$$

分别计算每一项：

1. ${\int }_{-1}^{1}9x^{4}dx=\frac{18}{5}$
2. ${\int }_{-1}^1(-6x^2)dx=-4$
3. ${\int }_{-1}^{1}1dx=2$

总和为：

$$\frac{1}{4}\left(\frac{18}{5}-4+2\right)=\frac{2}{5}$$

因此，$P_2(x)$ 的自内积为 $\frac{2}{5}$。

6. 总结

• 欧几里得空间中的向量内积是通过坐标的乘积和计算的。
• 函数空间中的内积需要通过定积分计算，适用于处理连续函数。
• 勒让德多项式在 $[-1,1]$ 区间上是正交的，并且它们的内积可以通过定积分验证。

通过上述步骤，我们可以深入理解勒让德多项式的正交性及其内积的计算过程。