泛函一阶变分是否存在链式法则？

好问题！泛函的一阶变分确实存在链式法则，不过得先把复合泛函的结构理清楚，我来一步步给你推导和解释：

先回顾一阶变分的定义 #

根据你给出的定义：

泛函$J(\rho)$的一阶变分定义为$\delta J[\rho; h] = \left. \frac{d}{d \epsilon} J(\rho + \epsilon h) \right|_{\epsilon = 0}$，其中$\rho$、$h$为函数，$\epsilon$为标量。

本质上，一阶变分就是泛函的Gateaux导数，描述泛函在某个函数点处沿方向$h$的线性变化率。

复合泛函的链式法则推导 #

假设我们有一个复合泛函结构：

• 外层是泛函$J[\phi]$，它以函数$\phi$为输入
• 内层是一个“函数值依赖于$\rho$”的映射，或者说$\phi$是$\rho$的泛函，记为$\phi[\rho]$（比如$\phi$可以是$\rho$的积分、微分，或者更复杂的函数变换）

我们要研究复合泛函$K[\rho] = J\left( \phi[\rho] \right)$的一阶变分$\delta K[\rho; h]$。

根据一阶变分的定义展开：
$$
\delta K[\rho; h] = \left. \frac{d}{d \epsilon} K(\rho + \epsilon h) \right|{\epsilon=0} = \left. \frac{d}{d \epsilon} J\left( \phi[\rho + \epsilon h] \right) \right|{\epsilon=0}
$$

令$\psi(\epsilon) = \phi[\rho + \epsilon h]$，那么上式就变成了泛函$J$作用于参数化函数族$\psi(\epsilon)$时，对$\epsilon$的导数在$\epsilon=0$处的值。这里我们可以结合Gateaux导数的链式规则：

1. 首先，$\psi(\epsilon)$在$\epsilon=0$处对$\epsilon$的导数，就是$\phi$在$\rho$处的一阶变分：
   $$
   \left. \frac{d}{d \epsilon} \psi(\epsilon) \right|{\epsilon=0} = \left. \frac{d}{d \epsilon} \phi[\rho + \epsilon h] \right|{\epsilon=0} = \delta \phi[\rho; h]
   $$
   我们把这个导数记为$k = \delta \phi[\rho; h]$，它是一个函数，代表$\phi$沿$h$方向的变分。

2. 然后，外层泛函$J$在$\phi[\rho]$处沿$k$方向的一阶变分，就是：
   $$
   \delta J\left[ \phi[\rho]; k \right] = \left. \frac{d}{d t} J\left( \phi[\rho] + t k \right) \right|_{t=0}
   $$

把两者结合起来，就得到了复合泛函的一阶变分链式法则：
$$
\delta K[\rho; h] = \delta J\left[ \phi[\rho]; \delta \phi[\rho; h] \right]
$$

用通俗的话讲：复合泛函的一阶变分，等于外层泛函在里层泛函输出的函数点处，沿里层泛函变分方向的一阶变分。

具体例子验证 #

举个简单的例子帮你理解：
设外层泛函是积分型泛函$J[\phi] = \int_0^1 \left( \phi(x) \right)^2 dx$，内层泛函是$\phi[\rho] = \rho(x) + \rho'(x)$（$\rho$的一阶导数加自身）。

首先计算里层的一阶变分：
$$
\delta \phi[\rho; h] = \left. \frac{d}{d \epsilon} (\rho+\epsilon h) + (\rho+\epsilon h)' \right|_{\epsilon=0} = h(x) + h'(x)
$$

然后计算外层泛函在$\phi[\rho]$处沿$k$方向的一阶变分：
$$
\delta J[\phi; k] = \left. \frac{d}{d t} \int_0^1 (\phi + t k)^2 dx \right|_{t=0} = 2 \int_0^1 \phi(x) k(x) dx
$$

根据链式法则，复合泛函$K[\rho] = J[\phi[\rho]] = \int_0^1 (\rho+\rho')^2 dx$的一阶变分就是：
$$
\delta K[\rho; h] = 2 \int_0^1 (\rho(x)+\rho'(x))(h(x)+h'(x)) dx
$$

你可以直接对$K[\rho]$求一阶变分验证，结果完全一致，这就证明了链式法则的正确性。

成立条件 #

最后补充一下，这个链式法则成立的前提是：

• 内层泛函$\phi[\rho]$在$\rho$处Gateaux可微（即一阶变分存在）
• 外层泛函$J[\phi]$在$\phi[\rho]$处Gateaux可微

只要满足这两个可微性条件，链式法则就一定成立。

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