AI 中文总结
本文研究随时间参数化的矩阵指数映射的时间导数，推导并重构其求和公式，建立与相关导数的联系，为指数映射导数提供统一显式框架。
AI 中文摘要
我们研究矩阵指数 $B(t)=\exp(A(t))$ 的时间导数，其中 $A(t)$ 是 $\mathrm{Mat}(n)$ 中随时间参数化的曲线。从泰勒级数展开出发，我们推导得到一个嵌套求和公式，随后将其重构为双重求和。该表达式借助欧拉贝塔函数转化为积分表示，并进一步用李括号和伴随表示来表述。之后，我们将此扩展至一类问题并验证一个知名结果。最后，我们建立其与Gateaux和Fréchet导数的联系，证明了后者的存在性。这些结果为理解指数映射的导数提供了统一且显式的框架。
英文摘要
We study the time derivative of the matrix exponential $B(t)=\mathrm{exp}(A(t))$, where $A(t)$ is a time-parametrized curve in $\mathrm{Mat}(n)$. Starting from the Taylor series expansion, we derive a nested summation formula, which is then reformulated into a double summation. This expression is converted into an integral representation using Euler's beta function, and further expressed in terms of Lie brackets and the adjoint representation. Later, we extend this to a family of problems and verify a well-known result. Finally, we establish connections to the Gateaux and Fréchet derivatives, proving the latter's existence. These results offer a unified and explicit framework for understanding the derivative of the exponential map.
Comments6 pages
