32、艰难证明雅可比恒等式及Löwner - Kufarev演化研究

艰难证明雅可比恒等式及Löwner - Kufarev演化研究

1. 向量场括号公式与雅可比恒等式证明的挑战

向量场在光滑流形上有多种理解方式，可视为光滑函数代数的导数、流的无穷小生成元或切丛的截面。计算向量场括号有三个全局公式：
-导数观点：通常将向量场解释为光滑函数代数上的导数，此时括号为导数的换位子。
-流公式：向量场的括号被视为一个场对另一个场的李导数。
-截面公式：对于流形 (M) 上的向量场 (X)、(Y) 以及 (m\in M)，有 ( X, Y = T(Y)(X(m)) - J(T(X)(Y(m))))，其中 (J: T^2M \to T^2M) 是规范对合。此公式使用较少，但本文将基于它给出雅可比恒等式的直观图示证明。

使用导数证明雅可比恒等式很简单，但用截面公式可能会让读者觉得不自然且难处理。不过，借助双向量丛和三向量丛，可从截面公式出发给出易于可视化的证明，这在更抽象的环境中也有重要意义。

2. 双向量丛基础

双向量丛是一个向量丛结构的正方形，若定义 (D \to B) 结构的运算相对于 (D \to A) 和 (B \to M) 的结构是态射，则它是双向量丛。
- 对任意向量丛 (q: A \to M)，应用切函子到其运算上，会在 (TA) 上得到以 (TM) 为基的向量丛结构，形成双向量丛。
- 当 (A) 为切丛 (TM) 时，可得双重或迭代切丛 (T^2M = T(TM))。
-