无限维希尔伯特空间中利用标准正交基计算线性算子范数的方法探究

首先直接给结论：无限维希尔伯特空间上的有界线性算子，完全可以利用标准正交基来计算或估计其范数，核心思路是结合算子范数的定义和希尔伯特空间的正交展开特性。咱们先理清楚通用方法，再套用到你给出的具体算子上。

通用原理拆解 #

算子范数的定义是：
$$|T| = \sup_{|x|=1} |Tx|$$
对于任意单位向量$x$，它可以用标准正交基${e_i}{i\in I}$展开成：
$$x = \sum{i\in I} a_i e_i, \quad \sum_{i\in I} |a_i|^2 = 1$$
把这个展开式代入范数定义，就能得到：
$$|Tx|^2 = \left|\sum_{i\in I} a_i T e_i\right|^2 = \sum_{i,j\in I} a_i \overline{a_j} \langle T e_i, T e_j \rangle$$
换句话说，算子范数的平方，等价于矩阵$M = (\langle T e_i, T e_j \rangle)_{i,j\in I}$的最大奇异值（如果$TT^{*$是紧自伴算子，那就是它的最大特征值的平方根）；如果算子不是紧的，那就是这个矩阵的算子范数（作为$\ell}2(I)$上的算子）。

简单分两种情况记：

• 若$T$是紧算子：$TT^$是紧自伴算子，存在最大特征值$\lambda_{\text{max}}$，此时$|T| = \sqrt{\lambda_{\text{max}}}$，直接解$TT^{*$的特征值问题就行，而$TT}$在基${e_i}$下的矩阵就是上面的$M$。
• 若$T$不是紧算子：$|T| = \sup_{\sum |a_i|^2=1} \sqrt{\sum_{i,j} a_i \overline{a_j} \langle T e_i, T e_j \rangle}$，本质就是求矩阵$M$的上确界范数。

套用到你的具体算子 #

你给出的算子是：
$$T(f) = \pi \int_0^{2\pi} f(x),dx + \frac{i}{2} \int_\pi^{2\pi} \frac{f(x)}{x} ,dx$$
这里先提个小疑问：你说定义域是$L^{2[-\pi,\pi]$，但积分区间到了$2\pi$，推测可能是笔误，大概率是$L}2[0,2\pi]$（不然$f$在$(\pi,2\pi)$上没定义，第二个积分直接为0，算子就太简单了），下面我按$L^{2[0,2\pi]$来计算，要是确实是$L}2[-\pi,\pi]$，最后我会补充说明简化情况。

首先，这个算子是从$L^2[0,2\pi]$到$\mathbb{C}$的有界线性泛函（$\mathbb{C}$是一维希尔伯特空间），对于线性泛函，咱们可以结合里斯表示定理和标准正交基来算范数：

第一步：用里斯表示定理转化 #

根据里斯表示定理，存在唯一的$g \in L^2[0,2\pi]$，使得$T(f) = \langle f, g \rangle$（内积定义为$\langle f, g \rangle = \int_0^{2\pi} f(x)\overline{g(x)}dx$）。对比算子定义，咱们能直接写出$g$：
$$\overline{g(x)} = \pi + \frac{i}{2} \cdot \frac{\chi_{[\pi,2\pi]}(x)}{x}$$
也就是：
$$g(x) = \pi - \frac{i}{2} \cdot \frac{\chi_{[\pi,2\pi]}(x)}{x}$$
此时算子范数$|T|$就等于$|g|$，接下来用标准正交基验证这个结果。

第二步：用傅里叶标准正交基计算 #

$L^2[0,2\pi]$的标准正交傅里叶基是：
$$\left{ \frac{1}{\sqrt{2\pi}}, \frac{\cos(nx)}{\sqrt{\pi}}, \frac{\sin(nx)}{\sqrt{\pi}} \right}{n=1}^\infty$$
根据帕塞瓦尔恒等式，$|g|^2 = \sum{k} |\langle g, e_k \rangle|^2$，咱们逐个计算基向量的内积：

1. 常数基$e_0 = \frac{1}{\sqrt{2\pi}}$：
   $$\langle g, e_0 \rangle = \int_0^{2\pi} g(x) \cdot \frac{1}{\sqrt{2\pi}} dx = \frac{1}{\sqrt{2\pi}} \left( \pi \cdot 2\pi - \frac{i}{2} \int_\pi^{2\pi} \frac{1}{x} dx \right) = \sqrt{2\pi} \cdot \pi - \frac{i \ln2}{2\sqrt{2\pi}}$$
   它的模平方是：
   $$|\langle g, e_0 \rangle|^2 = 2\pi^3 + \frac{(\ln2)^2}{8\pi}$$
2. 余弦基$e_n^\cos = \frac{\cos(nx)}{\sqrt{\pi}}$：
   $$\langle g, e_n^\cos \rangle = \int_0^{2\pi} g(x) \cdot \frac{\cos(nx)}{\sqrt{\pi}} dx = -\frac{i}{2\sqrt{\pi}} \int_\pi^{2\pi} \frac{\cos(nx)}{x} dx$$
   记$C_n = \int_\pi^{2\pi} \frac{\cos(nx)}{x} dx$，则它的模平方是$\frac{C_n^2}{4\pi}$。
3. 正弦基$e_n^\sin = \frac{\sin(nx)}{\sqrt{\pi}}$：
   $$\langle g, e_n^\sin \rangle = -\frac{i}{2\sqrt{\pi}} \int_\pi^{2\pi} \frac{\sin(nx)}{x} dx$$
   记$S_n = \int_\pi^{2\pi} \frac{\sin(nx)}{x} dx$，则它的模平方是$\frac{S_n^2}{4\pi}$。

把所有项加起来，根据帕塞瓦尔恒等式，这个和等于$\int_0^{2\pi} |g(x)|^2 dx$，直接计算积分更简单：
$$\int_0^{2\pi} |g(x)|^2 dx = \int_0^\pi \pi^2 dx + \int_\pi^{2\pi} \left( \pi^2 + \frac{1}{4x^2} \right) dx = 2\pi^3 + \frac{1}{8\pi}$$
所以最终算子范数是：
$$|T| = \sqrt{2\pi^3 + \frac{1}{8\pi}}$$

补充：如果定义域确实是$L^2[-\pi,\pi]$ #

那$f(x)$在$(\pi,2\pi)$上视为0，第二个积分直接为0，算子简化为$T(f) = \pi \int_0^\pi f(x)dx$，用同样的方法计算，范数就是$\pi \sqrt{\pi}$。

内容的提问来源于stack exchange，提问作者user1868607