关于希尔伯特空间上紧算子维基百科文章谱定理部分的疑问及优化建议

Hey Eddy, let's break down your questions about that confusing Wikipedia section step by step, and I'll also share some thoughts on how the article could be polished to avoid this kind of confusion.

第一个问题：$h'(0)=0$的推导为何看起来绕圈？ #

首先得明确这段的核心目标：利用极值点的性质推导紧自伴算子的谱特性——具体来说，当$y$是使得$\frac{\langle Ty, y \rangle}{\langle y, y \rangle}$取极值的向量时，我们要通过这个极值条件推导出算子$T$的特征值/特征向量性质。

维基百科的写法之所以显得循环，是因为它没把简化逻辑说透：

• 首先，既然$y$是极值点，那么函数$h(t) = \frac{\langle T(y+tz), y+tz \rangle}{\langle y+tz, y+tz \rangle}$在$t=0$处的导数$h'(0)$必然为0，这是极值点的基本性质；
• 然后用商的求导法则展开$h'(0)$时，分母在$t=0$处的值是$\langle y,y \rangle$，分母的导数在$t=0$处是$2\text{Re}\langle y,z \rangle$，但结合$h'(0)=0$的条件，最终可以简化为分子的导数在$t=0$处必须为0，也就是$\left. \frac{d}{dt}\langle T(y+tz), y+tz \rangle \right|_{t=0} = 0$；
• 维基百科的问题在于，它没有明确指出这个简化方向，而是来回罗列表达式，导致读者看不出推导的目的。如果能先点明“因为$y$是极值点，所以$h'(0)=0$，而通过商导法则可简化为分子导数为0”，就能消除循环感。

第二个问题：如何从$\langle Ty - my, y \rangle = 0$推广到任意$z$的$\text{Re}\langle Ty - my, z \rangle = 0$？ #

这里的关键是利用极值点的变分性质——既然$y$是极值点，那么对任意方向$z$的微小扰动$y+tz$，都要满足$h'(0)=0$。我们来补全维基百科跳过的核心推导步骤：

1. 先计算两个导数：

   • $\left. \frac{d}{dt}\langle T(y+tz), y+tz \rangle \right|_{t=0} = \langle Ty, z \rangle + \langle Tz, y \rangle$，由于我们讨论的是自伴紧算子（$T=T^*$），所以$\langle Tz, y \rangle = \overline{\langle Ty, z \rangle}$，因此这个导数等于$2\text{Re}\langle Ty, z \rangle$；
   • $\left. \frac{d}{dt}\langle y+tz, y+tz \rangle \right|_{t=0} = 2\text{Re}\langle y, z \rangle$。

2. 根据商的求导法则，$h'(0)=0$意味着分子为0：
   $$\left. \frac{d}{dt}\langle T(y+tz), y+tz \rangle \right|{t=0} \times \langle y,y \rangle - \langle Ty,y \rangle \times \left. \frac{d}{dt}\langle y+tz, y+tz \rangle \right|{t=0} = 0$$

3. 代入上面的导数结果，并两边除以2：
   $$\text{Re}\langle Ty, z \rangle \times \langle y,y \rangle - \langle Ty,y \rangle \times \text{Re}\langle y,z \rangle = 0$$

4. 结合$m = \frac{\langle Ty,y \rangle}{\langle y,y \rangle}$（即$\langle Ty,y \rangle = m\langle y,y \rangle$），代入后整理：
   $$\text{Re}\left( \langle Ty,z \rangle \langle y,y \rangle - m\langle y,y \rangle \langle y,z \rangle \right) = 0$$
   提取$\langle y,y \rangle$（不为0），就得到：
   $$\text{Re}\langle Ty - my, z \rangle = 0$$

维基百科直接跳过了这个从变分条件到任意$z$的推导，所以你会觉得结论突兀——补上这些步骤，整个逻辑就通顺了。

对维基百科该小节的优化建议 #

为了让这段内容更易懂，建议做以下调整：

• 开篇明确说明这段讨论的是自伴紧算子（非自伴紧算子不满足这个极值推导的前提）；
• 梳理$h'(0)=0$的推导逻辑：先点明极值点的性质，再逐步展开商导法则，明确简化到分子导数为0的核心步骤；
• 补全从$\langle Ty - my,y \rangle=0$到任意$z$成立$\text{Re}\langle Ty - my,z \rangle=0$的完整推导过程；
• 增加一句总结：这个结论最终可以推出$Ty=my$（因为对任意$z$，实部为0，取$z=Ty-my$就能得到$|Ty-my|^2=0$），也就是$y$是$T$的特征向量，这正是紧自伴算子谱定理的核心结论之一。

备注：内容来源于stack exchange，提问作者Eddy