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.

In this case the Lyapunov coefficient formula simplifies (Guckenheimer <strong>and</strong><br />

Holmes [54], p.152):<br />

l GH<br />

1 =<br />

1<br />

16 [ f∗ xxx+ f ∗ xyy+ g ∗ xxy+ g ∗ yyy]+ 1<br />

[ f ∗ xy( f ∗ xx+ f ∗ yy)<br />

16ω0<br />

−g ∗ xy(g ∗ xx+ g ∗ yy)− f ∗ xxg ∗ xx+ f ∗ yyg ∗ yy] (6.14)<br />

Note that the linear transformation N is not unique. We adopt the convention<br />

that<br />

⎛ ⎞<br />

2Re(q1) −2Im(q1)<br />

N=<br />

⎜⎝ ⎟⎠<br />

2Re(q2) −2Im(q2)<br />

where q=(q1, q2) is the normalized eigenvector of the linearization L that satis-<br />

fies Lq=iω0q. Another common definition for (6.13) is (Perko [96], p.353):<br />

l Pe<br />

1 =<br />

3π<br />

4ω2 ([ f<br />

0<br />

∗ xy f ∗ yy+ f ∗ yyg ∗ yy− f ∗ xxg ∗ xx− g ∗ xyg ∗ xx− g ∗ xyg ∗ yy+ f ∗ xy f ∗ xx]<br />

+ω0[g ∗ yyy+ f ∗ xxx+ f ∗ xyy+ g ∗ xxy]) (6.15)<br />

The Hopf bifurcation theorem holds for any version of l1 as only the sign is<br />

relevant in this case:<br />

Theorem 6.4.1. (see e.g. [54, 88]) A non-degenerate Hopf bifurcation of (6.8) is su-<br />

percritical if l1< 0 <strong>and</strong> subcritical if l1> 0.<br />

Since we need not only a qualitative result such as Theorem 6.4.1, but a quan-<br />

titative <strong>one</strong> relating the Lyapunov coefficient to canard explosion, it is necessary<br />

to distinguish between the different conventions we reviewed above.<br />

155

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

Saved successfully!

Ooh no, something went wrong!