证明导数映射Df：ℓ₁×ℓ₁→ℝ的C⁰连续性的技术问询

嘿，我来帮你理清楚这个问题的推导脉络，把未完成的部分补全：

首先明确我们的映射定义：
设 $f\colon \ell_1\to \mathbf R$，定义为 $f((a_n)) = \sum_{n\geq 1} \frac{g(na_n)}{n}$，其中辅助函数 $g\colon\mathbf R\to \mathbf R$ 是 $g(x) = \mathrm{ln}(1+x^2)$。

我们要证明的是导数映射 $Df\colon \ell_1\times \ell_1\to \mathbf R$ 是连续（$C^0$）的，这里导数的定义是：
$$Df((a_n),(b_n)) = \lim_{t\to 0}\frac{f\big((a_n)+t(b_n)\big) - f\big((a_n)\big)}{t}$$

你已经完成的关键推导步骤非常到位：

• 通过直接计算这个极限，我们可以得到 $Df((a_n),(b_n))=\sum_{n\geq 1}b_n g'(a_n)$；
• 利用中值定理可以证得 $|g'(x)|\leq 1$，由此直接推出 $|Df((a_n),(b_n))|\leq |(b_n)|_1$，这说明 $Df$ 关于第二个变量是有界线性的。

接下来我们完成核心的连续性证明：要确认 $Df$ 作为从 $\ell_1\times\ell_1$ 到 $\mathbb{R}$ 的二元映射是连续的，也就是对任意的 $(a,b)\in\ell_1\times\ell_1$，任意 $\epsilon>0$，存在 $\delta>0$，当 $|a'-a|_1<\delta$ 且 $|b'-b|_1<\delta$ 时，$|Df(a',b')-Df(a,b)|<\epsilon$。

我们把差值拆成两部分分别估计：
$$
\begin{align*}
|Df(a',b')-Df(a,b)| &= \left|\sum_{n=1}^\infty b'n g'(a'n) - \sum{n=1}^\infty b_n g'(a_n)\right| \
&\leq \left|\sum{n=1}^\infty (b'_n - b_n)g'(a'n)\right| + \left|\sum{n=1}^\infty b_n(g'(a'_n)-g'(a_n))\right|
\end{align*}
$$

第一部分估计 #

利用已经得到的 $|g'(x)|\leq1$，直接有：
$$\left|\sum_{n=1}^\infty (b'_n - b_n)g'(a'n)\right| \leq \sum{n=1}^\infty |b'_n - b_n| = |b'-b|_1$$
只要取 $\delta < \frac{\epsilon}{2}$，这部分就会小于 $\frac{\epsilon}{2}$。

第二部分估计 #

先分析 $g'(x)$ 的性质：$g'(x)=\frac{2x}{1+x^2}$，计算它的差值：
$$|g'(x)-g'(y)| = 2\left|\frac{x(1+y^2)-y(1+x2)}{(1+x^2)(1+y2)}\right| = 2|x-y|\left|\frac{1-xy}{(1+x^2)(1+y2)}\right|$$
可以验证 $\left|\frac{1-xy}{(1+x^2)(1+y2)}\right|\leq1$（对任意实数x,y都成立），因此 $|g'(x)-g'(y)|\leq2|x-y|$，即 $g'$ 是Lipschitz连续的，常数为2。

那么第二部分的估计可以写成：
$$\left|\sum_{n=1}^\infty b_n(g'(a'n)-g'(a_n))\right| \leq 2\sum{n=1}^\infty |b_n|\cdot|a'_n - a_n|$$

因为 $b\in\ell_1$，所以对给定的 $\epsilon>0$，存在正整数 $N$，使得 $\sum_{n=N+1}^\infty |b_n| < \frac{\epsilon}{8}$。对于前 $N$ 项，取 $\delta_1 = \frac{\epsilon}{4\sum_{n=1}^N |b_n|}$（如果前N项和为0，这部分直接为0），当 $|a'-a|1<\delta_1$ 时，前N项的和小于 $2\cdot\delta_1\cdot\sum{n=1}^N |b_n| = \frac{\epsilon}{4}$；后N项的和小于 $2\cdot\frac{\epsilon}{8}\cdot|a'-a|_1 < \frac{\epsilon}{4}$（限制 $\delta<1$ 即可）。因此第二部分总共小于 $\frac{\epsilon}{2}$。

综合结论 #

取 $\delta = \min\left(\frac{\epsilon}{2}, \delta_1, 1\right)$，当 $|a'-a|_1<\delta$ 且 $|b'-b|_1<\delta$ 时，两部分的和都小于 $\frac{\epsilon}{2}$，加起来就小于 $\epsilon$，由此证明了 $Df$ 是连续的。

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