关于斯蒂尔切斯积分泛函与向量对齐条件的证明及泛函范数计算问题

嘿，这个问题是泛函分析里结合Riesz表示定理的经典例子，咱们一步步拆解清楚～

先把核心定义再明确一遍，避免混淆：

• 我们的函数空间是$X=C[a,b]$，用的是上确界范数$|x|=\sup_{t\in[a,b]}|x(t)|$；$\Gamma={t\in[a,b]\mid |x(t)|=|x|}$就是$x$取到最大模值的所有点的集合。
• 所谓“对齐”，其实就是泛函分析里常说的泛函达到范数的情况：$x^\in X^$与$x\in X$对齐，等价于$x^*(x)=|x*||x|$（这是柯西-施瓦茨不等式取等号的情形）。

第一步：先搞定$x^*$的范数计算 #

对于由斯蒂尔切斯积分定义的有界线性泛函$x^*(x)=\int_ab x(t)dv(t)$，它的范数正好等于函数$v$在$[a,b]$上的总变差，也就是：
$$|x^*|=V_ab(v)$$
这个结论是$C[a,b]$空间上Riesz表示定理的直接结果——$C[a,b]$的对偶空间$C[a,b]^*$和有界变差函数空间$BV[a,b]$是等距同构的，泛函对应到它的表示函数，范数就对应总变差。

要是你想手动验证的话，分两步来：

• 上界估计：对任意连续函数$x$，$|x^{*(x)|=\left|\int_a}b x(t)dv(t)\right|\leq |x|\int_a^b |dv(t)|=|x|V_a^{b(v)$，所以$|x}*|\leq V_a^b(v)$；
• 下界估计：可以构造一列连续函数$x_n$，去逼近$v$的变差对应的符号函数（比如对$v$的变差做划分，造分段线性函数，让$x_n(t)$在$v$递增的区间取1，递减区间取-1），这些$x_n$的范数都是1，而且$x^{*(x_n)$会趋近于$V_a}b(v)$，所以$|x^*|\geq V_a^b(v)$；
  两边一结合，就得到$|x^*|=V_ab(v)$了。

第二步：证明对齐的等价条件 #

我们要证的是：$x^*(x)=|x*||x|$ 当且仅当 $v$的变差只集中在$\Gamma$上，且在$\Gamma$中$x(t)>0$的点处$v$非递减，$x(t)<0$的点处$v$非递增。

必要性：从对齐推条件 #

假设$x^*(x)=|x*||x|$，把范数代入就是：
$$\int_a^b x(t)dv(t)=V_a^b(v)\cdot|x|$$
咱们把$\Gamma$分成两部分：$\Gamma^+={t\in\Gamma\mid x(t)=|x|}$（$x$取正最大值的点），$\Gamma^-={t\in\Gamma\mid x(t)=-|x|}$（$x$取负最大值的点），显然$\Gamma=\Gamma^+\cup\Gamma-$。

利用有界变差函数的Jordan分解：$v=v^+-v-$，其中$v^{+$是$v$的正变差函数（对应$v$递增的部分），$v}-$是负变差函数（对应$v$递减的部分），总变差$V_a^b(v)=V_ab(v^+)+V_ab(v^-)$。

把原等式改写一下：
$$\int_a^b x(t)dv^+(t) - \int_a^b x(t)dv^-(t) = |x|(V_a^b(v+)+V_a^b(v-))$$
移项整理后得到：
$$\int_a^b (x(t)-|x|)dv^+(t) + \int_a^b (x(t)+|x|)dv^-(t)=0$$
现在看这两个积分项：

• 对所有$t$，$x(t)-|x|\leq0$，而$dv^+(t)$是正测度（只有非负的变差），所以第一个积分$\leq0$；
• 对所有$t$，$x(t)+|x|\geq0$，而$dv^-(t)$也是正测度，所以第二个积分$\geq0$；
  两个加起来等于0，只能是每一项都等于0。

对于第一个积分等于0：只有当$x(t)-|x|=0$的时候，也就是$t\in\Gamma^+$，$dv+$才有非零贡献——换句话说，$v^{+$的变差只集中在$\Gamma}+$上，也就是$v$在$\Gamma^+$之外不会递增。

对于第二个积分等于0：只有当$x(t)+|x|=0$的时候，也就是$t\in\Gamma^-$，$dv-$才有非零贡献——也就是$v^{-$的变差只集中在$\Gamma}-$上，$v$在$\Gamma^-$之外不会递减。

合起来就是：$v$的所有变差都集中在$\Gamma$上，且在$\Gamma^{+$（$x>0$）处$v$非递减，在$\Gamma}-$（$x<0$）处$v$非递增，必要性就证完了。

充分性：从条件推对齐 #

假设$v$的变差只集中在$\Gamma$上，且在$\Gamma$中$x(t)>0$处$v$非递减，$x(t)<0$处$v$非递增。

那计算$x^*(x)$的时候，$\Gamma$之外的积分贡献为0，所以只需要算$\Gamma$上的积分：

• 在$\Gamma^{+$上，$x(t)=|x|$，$v$非递减，这部分积分是$|x|$乘以$v$在$\Gamma}+$上的增量（也就是正变差）；
• 在$\Gamma^{-$上，$x(t)=-|x|$，$v$非递增，这部分积分是$-|x|$乘以$v$在$\Gamma}-$上的增量（因为$v$递减，增量是负的，所以整体是$|x|$乘以这部分的正变差）；

把两部分加起来，就是$|x|$乘以$v$的总变差，也就是$|x|V_a^b(v)=|x||x*|$，正好满足对齐的定义，充分性也证完了。

最后总结一下 #

• 斯蒂尔切斯积分泛函的范数，就是它的表示函数$v$的总变差；
• 对齐的条件本质上是：泛函的“作用能量”完全集中在$x$取到最大模的点上，并且在$x$正的最大值点处泛函表示函数递增（贡献正的积分值），在$x$负的最大值点处表示函数递减（同样贡献正的积分值），这样总和刚好达到范数的乘积。

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