arXivDaily arXiv每日学术速递 周一至周五更新
北美退伍军人节(Veterans Day),12 日无更新
arXiv 1707.04765math.ATmath.CT
收藏

阿贝尔函子演算中高阶链式法则的第一步

A first step toward higher order chain rules in abelian functor calculus

Christina Osborne, Amelia Tebbe

摘要:

本科微积分的基本工具之一是链式法则。高阶方向导数的概念是由Huang、Marcantognini和Young提出的,同时还提出了相应的高阶链式法则。当Johnson和McCarthy建立阿贝尔函子演算时,他们证明了一个类似于$n = 1$时的方向导数链式法则的函子链式法则。在与Bauer,Johnson和Riehl的合作中,我们定义了迭代方向导数的一个类比,并对Huang等人的链式法则提供了一个类比的归纳证明。本文包括对Bauer等人的链式法则的初步研究,其涉及当$n=2$ .本文给出了阿贝尔函子的二阶高阶方向导数链式法则的求法。这个证明在精神上与Bauer等人的证明有根本的不同,因为它只依赖于交叉效应的性质和函子的线性化。

英文摘要:

One of the fundamental tools of undergraduate calculus is the chain rule. The notion of higher order directional derivatives was developed by Huang, Marcantognini, and Young, along with a corresponding higher order chain rule. When Johnson and McCarthy established abelian functor calculus, they proved a chain rule for functors that is analogous to the directional derivative chain rule when $n = 1$. In joint work with Bauer, Johnson, and Riehl, we defined an analogue of the iterated directional derivative and provided an inductive proof of the analogue to the chain rule of Huang et al. This paper consists of the initial investigation of the chain rule found in Bauer et al., which involves a concrete computation of the case when $n=2$. We describe how to obtain the second higher order directional derivative chain rule for abelian functors. This proof is fundamentally different in spirit from the proof given in Bauer et al. as it relies only on properties of cross effects and the linearization of functors.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑