无限维希尔伯特空间二阶运算切向量实例及相关证明解析

一、无限维希尔伯特空间上的二阶运算切向量实例 #

假设我们有一个无限维希尔伯特空间 ( H )，取原点 ( 0 \in H )，考虑 ( 0 ) 点处的光滑函数芽空间 ( C^\infty(H)_0 )。这里给出两个直观的实例：

• 单方向二阶导数实例：固定任意非零向量 ( u \in H )，定义线性泛函 ( D: C^\infty(H)0 \to \mathbb{R} ) 为：
  [
  D(f) = \frac{d^2}{dt2}\bigg|{t=0} f(tu)
  ]
  这个泛函完全满足二阶运算切向量的核心要求：

  1. 线性性：( D(af + bg) = aD(f) + bD(g) ) 对所有实数 ( a,b ) 和光滑函数芽 ( f,g ) 成立；
  2. 零化常函数：常数函数的二阶导数为0，因此 ( D(c) = 0 )；
  3. 二阶莱布尼茨法则：展开 ( D(fg) ) 后会得到 ( D(f)g(0) + f(0)D(g) + 2\left(\frac{d}{dt}\bigg|{t=0} f(tu)\right)\left(\frac{d}{dt}\bigg|{t=0} g(tu)\right) )，包含了一阶导数的交叉项，符合二阶运算切向量的乘积微分规则。

• 混合二阶导数实例：取两个线性无关的向量 ( u, v \in H )，定义：
  [
  D(f) = \frac{\partial^2}{\partial t \partial s}\bigg|_{t=s=0} f(tu + sv)
  ]
  它同样满足线性性、零化常函数的条件，对乘积 ( fg ) 的微分结果会包含 ( D(f)g(0) + f(0)D(g) ) 以及 ( \partial_u f(0)\partial_v g(0) + \partial_v f(0)\partial_u g(0) ) 这两个一阶交叉项，是标准的二阶运算切向量。

二、《A Convenient Setting for Global Analysis》中的二阶运算切向量实例 #

在便利向量空间（满足光滑函数链式法则的完备局部凸空间）的框架下，书中的二阶运算切向量实例可以从方向导数的推广来构造：

考虑便利向量空间 ( E )（比如所有实数序列构成的 ( \mathbb{R}^\infty )，装备乘积拓扑），取原点 ( 0 \in E )，固定两个向量 ( u, v \in E )，定义线性泛函 ( D: C^\infty(E)_0 \to \mathbb{R} ) 为：
[
D(f) = \partial_u \partial_v f(0)
]
这里 ( \partial_u f(0) ) 是沿 ( u ) 的一阶方向导数，( \partial_u \partial_v f(0) ) 是先沿 ( v ) 再沿 ( u ) 的混合二阶方向导数。

这个实例的关键在于：它无法被表示为一阶运算切向量的组合（一阶切向量都是形如 ( f \mapsto \partial_w f(0) ) 的泛函，其中 ( w \in E )），因此是真正的二阶运算切向量。书中的证明正是通过构造这类混合二阶导数泛函，结合便利空间上光滑函数的高阶导数性质，验证了它满足二阶莱布尼茨法则，从而完成了二阶运算切向量存在性的证明。

如果你想拆解证明细节，可以先聚焦书中对“k阶莱布尼茨法则”的形式化定义，再结合便利空间上光滑函数的高阶导数与双线性映射的关联——这个实例本质上利用了光滑函数混合二阶导数的可交换性，确保了泛函的良定义性。

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