计算遍历平均导数的最小二乘阴影法的收敛性

对于参数化双曲系统 $u_{i+1} = f(u_i,s)$，遍历平均 $\langle J \rangle = \lim_{n\to\infty} \frac{1}{n} \sum_{i=1}^n J(u_i,s)$ 对参数 $s$ 的导数可以通过最小二乘灵敏度方法计算。该方法求解一个约束最小二乘问题，并从解中计算所需导数 $d\langle J \rangle/ds$ 的近似值。本文证明了当最小二乘问题的规模趋于无穷时，计算出的近似值收敛到真实导数。