检验函数与分布收敛性：分布T的证明及支撑集求解技术问询

好的，咱们一步步来解决这个分布论的问题，分三个部分逐一拆解：

1. 证明T是一个分布 #

要证明T是分布，需要验证它是线性且连续的线性泛函（从测试函数空间$\mathcal{D}(\mathbb{R})$到$\mathbb{C}$）：

线性性验证 #

对于任意测试函数$\varphi, \psi \in \mathcal{D}(\mathbb{R})$，以及复数$\lambda \in \mathbb{C}$，直接展开泛函定义：
$$
\langle T, \lambda\varphi + \psi \rangle = \sum_{m=1}^{+\infty} \left( (\lambda\varphi+\psi)\left(\frac{1}{m}\right) - (\lambda\varphi+\psi)(0) - \frac{(\lambda\varphi+\psi)'(0)}{m} \right)
$$
将求和式拆分后，显然等于$\lambda\langle T, \varphi \rangle + \langle T, \psi \rangle$，完全符合线性泛函的要求。

连续性验证 #

分布的连续性要求：若测试函数序列$\varphi_k \to 0$（在$\mathcal{D}(\mathbb{R})$中收敛，即所有阶导数一致收敛到0，且所有$\varphi_k$的支集包含在同一个紧集内），则$\langle T, \varphi_k \rangle \to 0$。

利用泰勒展开，对任意$\varphi \in \mathcal{D}(\mathbb{R})$，存在光滑函数$h(x)$使得：
$$
\varphi(x) = \varphi(0) + \varphi'(0)x + x^2 h(x)
$$
代入泛函定义得：
$$
\varphi\left(\frac{1}{m}\right) - \varphi(0) - \frac{\varphi'(0)}{m} = \frac{1}{m^2} h\left(\frac{1}{m}\right)
$$
由于$\varphi_k$的支集在紧集$K$上，$h_k(x)$（对应$\varphi_k$的h函数）在$K$上有界，设界为$M_k$。当$\varphi_k \to 0$时，$\varphi_k$的二阶导数一致收敛到0，因此$M_k \to 0$。

此时$\langle T, \varphi_k \rangle = \sum_{m=1}^{+\infty} \frac{h_k(1/m)}{m^2}$，其绝对值满足：
$$
\left| \langle T, \varphi_k \rangle \right| \leq M_k \sum_{m=1}^{+\infty} \frac{1}{m^2}
$$
因为级数$\sum_{m=1}^{+\infty} \frac{1}{m^{2}$收敛（等于$\pi}2/6$），当$M_k \to 0$时，$\langle T, \varphi_k \rangle \to 0$，连续性得证。

综上，T是一个分布。

2. 证明$\text{Supp}(T) = {0} \cup \left{ \frac{1}{m} : m \in \mathbb{N}^\star \right}$ #

分布的支集$\text{Supp}(T)$定义为：所有满足“任意邻域内都存在测试函数$\varphi$使得$\langle T, \varphi \rangle \neq 0$”的点的集合。我们分情况讨论：

情况1：$x \notin {0} \cup {1/m}$ #

此时x要么是负数，要么落在区间$(1/(m+1), 1/m)$（$m \in \mathbb{N}^\star$），要么大于1。取x的邻域U，使得U与${0} \cup {1/m}$无交集。对任意$\varphi \in \mathcal{D}(U)$，$\varphi(1/m)=0$（所有1/m不在U内），$\varphi(0)=0$且$\varphi'(0)=0$（0不在U内），因此$\langle T, \varphi \rangle = 0$，说明x不在支集中。

情况2：$x = 1/m_0$（$m_0 \in \mathbb{N}^\star$） #

取邻域$U = \left( \frac{1}{m_0+1}, \frac{1}{m_0-1} \right)$（$m_0>1$时；$m_0=1$时取$U=(1/2, 2)$），构造测试函数$\varphi \in \mathcal{D}(U)$，使得$\varphi(1/m_0)=1$，其余1/m（不在U内）处$\varphi(1/m)=0$，且$\varphi(0)=0$、$\varphi'(0)=0$。此时：
$$
\langle T, \varphi \rangle = \varphi\left(\frac{1}{m_0}\right) - \varphi(0) - \frac{\varphi'(0)}{m_0} + \sum_{m \neq m_0} 0 = 1 \neq 0
$$
说明1/m0的任意邻域都存在这样的φ，因此1/m0在支集中。

情况3：$x=0$ #

取邻域$U=(-\varepsilon, \varepsilon)$（$\varepsilon < 1$），构造测试函数$\varphi(x) = x^2 \psi(x)$，其中$\psi \in \mathcal{D}(U)$，$\psi(0)=1$且$\psi(1/m)=1$对所有$1/m \in U$（即$m > 1/\varepsilon$）。此时：
$$
\langle T, \varphi \rangle = \sum_{m=1}^{+\infty} \left( \varphi\left(\frac{1}{m}\right) - 0 - 0 \right) = \sum_{m > 1/\varepsilon} \frac{1}{m^2} \cdot 1
$$
这个级数是收敛的非零值，说明0的任意邻域都存在这样的φ，因此0在支集中。

综上，$\text{Supp}(T) = {0} \cup \left{ \frac{1}{m} : m \in \mathbb{N}^\star \right}$。

3. 计算$\langle T, \varphi_m \rangle$ #

题目中$\varphi_m$满足：在$[\frac{1}{m},1]$的邻域内$\varphi_m = \frac{1}{\sqrt{m}}$，在$[0, \frac{1}{m+1}]$的邻域内为0。我们直接计算泛函值：

首先，$\varphi_m$在0的邻域为0，因此$\varphi_m(0)=0$，$\varphi_m'(0)=0$，泛函简化为：
$$
\langle T, \varphi_m \rangle = \sum_{k=1}^{+\infty} \varphi_m\left(\frac{1}{k}\right)
$$
分析k的取值：

• 当$k \leq m$时，$\frac{1}{k} \geq \frac{1}{m}$，属于$\varphi_m$取$\frac{1}{\sqrt{m}}$的区域，因此$\varphi_m(\frac{1}{k}) = \frac{1}{\sqrt{m}}$；
• 当$k \geq m+1$时，$\frac{1}{k} \leq \frac{1}{m+1}$，属于$\varphi_m$取0的区域，因此$\varphi_m(\frac{1}{k}) = 0$。

求和可得：
$$
\langle T, \varphi_m \rangle = \sum_{k=1}^m \frac{1}{\sqrt{m}} = m \cdot \frac{1}{\sqrt{m}} = \sqrt{m}
$$

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