[论文解读] Tree algebras over topological vector spaces in rough path theory

Thomas Cass, Martin P. Weidner|arXiv (Cornell University)|Apr 25, 2016

Advanced Topics in Algebra参考文献 15被引用 11

一句话总结

该论文通过在拓扑向量空间上构建树代数，提出了一套严谨的广义巴拿赫空间上的分叉粗糙路径框架，建立了Grossman-Larson代数与Connes-Kreimer代数之间的对偶性。证明了基于对所有阶导数的光滑函数进行测试的新RDE（粗糙微分方程）解定义，与经典的Davie-Friz-Victoir解定义在无限维情形下也等价，即使在非几何驱动情形下依然成立。

ABSTRACT

We work with non-planar rooted trees which have a label set given by an arbitrary vector space $V$. By equipping $V$ with a complete locally convex topology, we show how a natural topology is induced on the tree algebra over $V$. In this context, we introduce the Grossman-Larson and Connes-Kreimer topological Hopf algebras over $V$, and prove that they form a dual pair in a certain sense. As an application we define the class of branched rough paths over a general Banach space, and propose a new definition of a solution to a rough differential equation (RDE) driven by one of these branched rough paths. We show equivalence of our definition with a Davie-Friz-Victoir-type definition, a version of which is widely used for RDEs with geometric drivers, and we comment on applications to RDEs with manifold-valued solutions.

研究动机与目标

• 通过将一般巴拿赫空间作为基础模型空间，将粗糙路径理论扩展至无限维状态空间。
• 为任意拓扑向量空间上的树代数构建一个拓扑框架，以支持对无限维分叉粗糙路径的分析。
• 通过使用具有任意阶导数的光滑函数进行测试，定义RDE的新解概念。
• 即使在非几何驱动情形下，也建立该新解定义与广泛使用的Davie-Friz-Victoir方法之间的等价性。
• 通过基于光滑函数的坐标不变测试，为流形上的RDE解提供几何一致的定义。

提出的方法

• 在配备完备局部凸拓扑的向量空间 $V$ 上构造树代数，从而在带标签的根非平面树代数上诱导出自然的拓扑结构。
• 在 $V$-标记树的空间上引入两个对偶的拓扑霍普夫代数——Grossman-Larson代数与Connes-Kreimer代数，其对偶性通过尊重乘法与余乘法结构的配对建立。
• 定义映射 $\Psi_{V,f,y,\nabla}$，将每棵树映射为一个涉及 $f$ 的迭代导数与向量场 $V$ 的多重线性映射，编码每棵树对解增量的贡献。
• 提出RDE的新解定义：$\|y_t - \Psi_{V,\mathrm{id},y_s,\nabla}(\mathbf{x}_{s,t})\| \leq \theta(\omega(s,t))$，其中 $\theta(h)/h \to 0$ 当 $h \to 0$，$\theta$ 表征高阶误差。
• 使用向量空间上的典范联络，并将其推广至流形上的一般联络，确保解概念的坐标不变性。
• 将该理论应用于证明：即使在无限维情形和非几何驱动下，新解定义也与Davie-Friz-Victoir定义等价。

实验结果

研究问题

• RQ1 能否通过分叉粗糙路径在无限维巴拿赫空间中发展出RDE的严谨解理论？
• RQ2 如何将经典的Davie-Friz-Victoir解定义推广以适应非几何驱动和无限维状态空间？
• RQ3 基于对任意阶导数的光滑函数进行测试的解概念，是否与标准的Davie-Friz-Victoir定义等价？
• RQ4 如何将带标签根树的代数结构扩展至拓扑向量空间，以支持无限维分析？
• RQ5 在流形上定义RDE解时，联络的作用是什么？如何使解概念独立于坐标选择？

主要发现

• 该论文构建了在任意完备局部凸拓扑向量空间上树代数的完整拓扑框架，支持无限维分析。
• 在 $V$-标记树上，建立了Grossman-Larson代数与Connes-Kreimer代数之间的拓扑对偶性，将有限维情形下的对偶性推广至无限维。
• 基于近似 $y_t \approx \Psi_{V,\mathrm{id},y_s,\nabla}(\mathbf{x}_{s,t})$ 且误差项趋于零的新RDE解定义，被证明与经典的Davie-Friz-Victoir定义等价。
• 解概念在流形微分同胚下保持不变，如推论5.6所示，证实了其几何一致性。
• 该框架允许通过测试光滑实值函数来定义流形上的RDE解，即使增量 $y_t - y_s$ 在经典意义下未良好定义。
• 该理论为研究具有流形值解和无限维情形下随机粗糙路径的RDE提供了严谨基础。