证明从$\mathcal{C}^0([a,b],\mathbb{R})$到$\mathbb{R}$的映射$\Psi(f)=\int^{b}_{a}\phi(f(x))dx$可微

你好！你前面关于$\Psi$良定义的推导完全正确，我来帮你把可微性的证明补全，一步步来：

一、先确认$\Psi$是良定义的（你的推导没问题，再梳理一遍） #

• 因为$f \in E = \mathcal{C}^0([a,b],\mathbb{R})$，而$[a,b]$是紧集，连续映射会把紧集映为紧集，所以$f([a,b])$是$\mathbb{R}$中的紧集；
• $\phi$是$\mathcal{C}^1$类函数，自然是连续函数，连续函数在紧集上有界且连续，因此$\phi \circ f$是$[a,b]$上的连续函数，必然黎曼可积；
• 所以$\Psi(f) = \int_a^b \phi(f(x))dx$对任意$f \in E$都有明确的定义，$\Psi$确实是良定义的。

二、证明$\Psi$是Fréchet可微的（泛函可微的标准定义） #

我们用Fréchet导数的定义来完成证明：泛函$\Psi: E \to \mathbb{R}$在$f \in E$处Fréchet可微，当且仅当存在一个有界线性泛函$\Psi'(f): E \to \mathbb{R}$，使得
$$\lim_{||h||\infty \to 0} \frac{|\Psi(f+h) - \Psi(f) - \Psi'(f)(h)|}{||h||\infty} = 0$$

步骤1：展开$\Psi(f+h) - \Psi(f)$ #

先写出差值的积分形式：
$$\Psi(f+h) - \Psi(f) = \int_a^b \left[ \phi(f(x)+h(x)) - \phi(f(x)) \right] dx$$

因为$\phi$是$\mathcal{C}^1$类函数，对每个固定的$x \in [a,b]$，我们可以用一元函数的泰勒公式（带拉格朗日余项）：
$$\phi(f(x)+h(x)) - \phi(f(x)) = \phi'(f(x))h(x) + r(x,h(x))$$
这里的余项$r(x,t)$有个关键性质：由于$\phi'$在紧集$f([a,b])$上是一致连续的（$\mathcal{C}^1$函数在紧集上的导数一致连续），所以对任意$\epsilon > 0$，存在$\delta > 0$，只要$|t| < \delta$，就对所有$x \in [a,b]$有$|r(x,t)| \leq \epsilon |t|$——这是一致的余项估计，对后面的收敛性很重要。

步骤2：定义候选导数并验证有界性 #

我们定义线性泛函$\Psi'(f): E \to \mathbb{R}$为：
$$\Psi'(f)(h) = \int_a^b \phi'(f(x))h(x)dx$$

先证明它是有界线性泛函：

• 线性性：显然，积分是线性的，所以$\Psi'(f)(\alpha h_1 + \beta h_2) = \alpha \Psi'(f)(h_1) + \beta \Psi'(f)(h_2)$；
• 有界性：因为$\phi'$在紧集$f([a,b])$上有界（连续函数在紧集上必有界），设$M = \max_{y \in f([a,b])} |\phi'(y)|$，则
  $$|\Psi'(f)(h)| \leq \int_a^b |\phi'(f(x))| \cdot |h(x)| dx \leq M \cdot ||h||_\infty \cdot (b-a)$$
  这说明$\Psi'(f)$是有界的，满足线性泛函有界的定义。

步骤3：验证Fréchet导数的极限条件 #

当$||h||\infty < \delta$时，对所有$x \in [a,b]$，$|h(x)| < \delta$，所以$|r(x,h(x))| \leq \epsilon |h(x)| \leq \epsilon ||h||\infty$。

现在计算余项的比值：
$$
\begin{align*}
\left| \frac{\Psi(f+h) - \Psi(f) - \Psi'(f)(h)}{||h||\infty} \right| &= \left| \frac{\int_a^b r(x,h(x))dx}{||h||\infty} \right| \
&\leq \frac{\int_a^b |r(x,h(x))| dx}{||h||\infty} \
&\leq \frac{\int_a^b \epsilon ||h||\infty dx}{||h||_\infty} \
&= \epsilon (b-a)
\end{align*}
$$

因为$\epsilon$可以任意小（只要$||h||\infty$足够小），所以当$||h||\infty \to 0$时，这个比值趋于0，完全满足Fréchet可微的定义。

补充：用Gateaux导数的思路（如果你之前走的是这个方向） #

如果你之前是想通过$\lambda \to 0$来算方向导数，也可以这样做：
对任意$h \in E$，$\lambda \in \mathbb{R}$，计算：
$$\lim_{\lambda \to 0} \frac{\Psi(f+\lambda h) - \Psi(f)}{\lambda} = \lim_{\lambda \to 0} \int_a^b \frac{\phi(f(x)+\lambda h(x)) - \phi(f(x))}{\lambda} dx$$

由$\phi$的$\mathcal{C}^1$性质，被积函数逐点收敛到$\phi'(f(x))h(x)$；同时，由中值定理，$\frac{\phi(f+\lambda h)-\phi(f)}{\lambda} = \phi'(f+\theta \lambda h)h$（$\theta \in (0,1)$），而$\phi'$在$f([a,b])$的某个邻域内有界（紧集的邻域上连续函数有界），当$|\lambda|$足够小时，$f+\theta \lambda h$落在这个邻域里，所以被积函数有界。

根据黎曼积分的控制收敛定理（或者勒贝格控制收敛定理），可以交换极限和积分，得到极限就是$\int_a^b \phi'(f(x))h(x)dx$，这就是Gateaux导数。再结合前面的一致余项估计，就能推出这也是Fréchet导数，因为Gateaux导数一致有界且满足 Lipschitz 型的余项估计时，就是Fréchet导数。

总结一下：你前面的良定义推导完全没问题，关键是利用$\phi$的$\mathcal{C}^1$性质给出一致的泰勒余项估计，然后验证Fréchet导数的定义即可～

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