30.06.2013 Views

multiple time scale dynamics with two fast variables and one slow ...

multiple time scale dynamics with two fast variables and one slow ...

multiple time scale dynamics with two fast variables and one slow ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

exit point of a trajectory starting at q∈ M∩{|b|=δ} that spends a <strong>time</strong> t=O(1/ǫ) in<br />

B. Let V be a neighborhood of q in M. The image of V under the <strong>time</strong> t map is close in<br />

the C 1 -norm to<br />

{|a|=δ, yi− yi(0)=0, i>1}<br />

where yi(0) denotes the y-coordinates of q. In particular M is C 1 -close to{|a|=δ, yi−<br />

yi(0)=0, i>1} near ¯q.<br />

Remark: The key feature of both Exchange Lemmas (Theorems 2.3.2 <strong>and</strong><br />

2.4.1) is that we have traded information about transversality <strong>and</strong> variation of<br />

certain center directions (here: yi <strong>with</strong> yi> 1) near q <strong>with</strong> new information near<br />

the exit point ¯q given by a C 1 -closeness result to a certain submanifold of the<br />

unstable manifold W u (Sǫ). The idea used by J<strong>one</strong>s <strong>and</strong> Kopell [68] to achieve a<br />

tracking of the tangent spaces to M is to consider (k+1)-differential forms that<br />

are dual to (k+1) planes in k+l+n space <strong>and</strong> describe their evolution by a dif-<br />

ferential equation. As usual we shall simply write (k+1)-forms <strong>with</strong> the implicit<br />

assumption that all forms are sufficiently differentiable. A basic (k+1)-form is<br />

given by<br />

Pσ1···σk+1<br />

:= dσ1∧...∧dσk+1<br />

whereσ j∈{ai, bi, yi}. Furthermore we know that a basis of all forms is given by<br />

restricting to increasing indices. Here we agree on the ordering<br />

a1< a2

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!