Flockerzi Dietrich, Heineken Wolfram
Max Planck Institute for Dynamics of Complex Technical Systems, Sandtorstr. 1, D-39106 Magdeburg, Germany.
Chaos. 2006 Dec;16(4):048101; author reply 048102. doi: 10.1063/1.2357332.
It is claimed by Rhodes, Morari, and Wiggins [Chaos 9, 108-123 (1999)] that the projection algorithm of Maas and Pope [Combust. Flame 88, 239-264 (1992)] identifies the slow invariant manifold of a system of ordinary differential equations with time-scale separation. A transformation to Fenichel normal form serves as a tool to prove this statement. Furthermore, Rhodes, Morari, and Wiggins [Chaos 9, 108-123 (1999)] conjectured that away from a slow manifold, the criterion of Maas and Pope will never be fulfilled. We present two examples that refute the assertions of Rhodes, Morari, and Wiggins. In the first example, the algorithm of Maas and Pope leads to a manifold that is not invariant but close to a slow invariant manifold. The claim of Rhodes, Morari, and Wiggins that the Maas and Pope projection algorithm is invariant under a coordinate transformation to Fenichel normal form is shown to be not correct in this case. In the second example, the projection algorithm of Maas and Pope leads to a manifold that lies in a region where no slow manifold exists at all. This rejects the conjecture of Rhodes, Morari, and Wiggins mentioned above.
罗兹、莫拉里和威金斯[《混沌》9,108 - 123(1999)]声称,马斯和波普[《燃烧与火焰》88,239 - 264(1992)]的投影算法能够识别具有时间尺度分离的常微分方程组的慢不变流形。向费尼切尔范式的变换是证明这一说法的工具。此外,罗兹、莫拉里和威金斯[《混沌》9,108 - 123(1999)]推测,在远离慢流形的情况下,马斯和波普的准则永远不会得到满足。我们给出两个例子来反驳罗兹、莫拉里和威金斯的断言。在第一个例子中,马斯和波普的算法导致一个不是不变的流形,但接近一个慢不变流形。在这种情况下,罗兹、莫拉里和威金斯关于马斯和波普投影算法在向费尼切尔范式的坐标变换下是不变的这一说法被证明是不正确的。在第二个例子中,马斯和波普的投影算法导致一个位于根本不存在慢流形的区域的流形。这反驳了上述罗兹、莫拉里和威金斯的推测。