arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 0810.5282math.DS
收藏

平面解析向量场鲁棒normal forms的自动计算

Automated computation of robust normal forms of planar analytic vector fields

Tomas Johnson, Warwick Tucker

摘要:

我们构造了一个自动验证算法,计算一个接近身份的变量变量变换,使一般的鞍点到一个正常的形式。该变换在基础向量场中是鲁棒的,并且在鞍点的可计算邻域上是解析的。规范形式适用于计算鞍点附近的流动,以及轨迹通过鞍点所需的时间。几个例子说明了这种方法的有效性。

英文摘要:

We construct an auto-validated algorithm that calculates a close to identity change of variables which brings a general saddle point into a normal form. The transformation is robust in the underlying vector field, and is analytic on a computable neighborhood of the saddle point. The normal form is suitable for computations aimed at enclosing the flow close to the saddle, and the time it takes a trajectory to pass it. Several examples illustrate the usefulness of this method.

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

↑