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.

<strong>with</strong>δ>0 sufficiently small. The same holds forǫ> 0 sufficiently small so that<br />

(2.18) is still valid <strong>and</strong> we can findλǫ> 0 <strong>and</strong>γǫ< 0 which are the weak unstable<br />

<strong>and</strong> weak stable eigenvalues near Sǫ. In equations (2.18) we can rectify the <strong>slow</strong><br />

flow. Without loss of generality we assume that the <strong>slow</strong> flow is pointing in<br />

the direction y1 so that we can reduce the problem of analyzing the flow near a<br />

normally hyperbolic <strong>slow</strong> manifold Sǫ to:<br />

a ′ = Λ(a, b, y,ǫ)a<br />

b ′ = Γ(a, b, y,ǫ)b (2.19)<br />

y ′ = ǫ(U+ H(a, b, y,ǫ)(a, b))<br />

where U = (1, 0,...,0) T . Observe that the stable <strong>and</strong> unstable manifolds W s<br />

<strong>and</strong> W u of Sǫ are given by{a=0} <strong>and</strong>{b=0} respectively. Let M be a (k+1)-<br />

dimensional invariant manifold. M is the manifold we want to follow in phase<br />

space. We remark that the dimensional requirement on M can be generalized<br />

but for simplicity we shall only consider the case of (k+ 1) dimensions. Suppose<br />

M intersects the boundary of the region/box B in{b=δ} at some point q. If q is<br />

close enough to the stable manifold W s (Sǫ)={a=0} then a trajectory starting at<br />

q stays near Sǫ for a long <strong>time</strong> (e.g. a <strong>time</strong> that is O(1/ǫ) on the <strong>fast</strong> <strong>time</strong> <strong>scale</strong> t).<br />

We want to find estimates on the <strong>fast</strong> coordinates (a, b) to quantify the situation<br />

more precisely.<br />

Lemma 2.3.1. There exists constants ca, cb, K> 0 such that for s≤t the following<br />

three results hold<br />

(R1)|b(t)|≤cb|b(s)|e γ0(t−s)<br />

(R2)|a(t)|≥ca|a(s)|e λ0(t−s)<br />

(R3)| s<br />

a(σ)dσ|≤K (independent ofǫ, t, s)<br />

t<br />

32

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

Saved successfully!

Ooh no, something went wrong!