20.07.2013 Views

NEAR OPTIMAL BOUNDS IN FREIMAN'S THEOREM

NEAR OPTIMAL BOUNDS IN FREIMAN'S THEOREM

NEAR OPTIMAL BOUNDS IN FREIMAN'S THEOREM

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

HOLOMORPHIC OPEN BOOK DECOMPOSITIONS 39<br />

The binding orbit has period 2πγ1(0), since<br />

and it is nondegenerate and elliptic.<br />

′′ γ 1<br />

γ1(0)β(0) =− (0)<br />

γ ′′<br />

2<br />

(0) /∈ Z,<br />

Example 2.2<br />

For the contact form Tdθ+(1/k)(xdy−ydx) = Tdθ+(r 2 /k)dφ the central orbit<br />

S 1 ×{0} is degenerate, but<br />

is a local model near the binding if<br />

In this case,<br />

and we note that<br />

If<br />

λ = (1 − r 2 )(T dθ+ r2<br />

k dφ)<br />

k, T > 0, kT /∈ Z, and kT ≥ 1<br />

2 .<br />

µ(r) = 2rT<br />

k (1 − r2 ) 2 > 0 and<br />

A(r) = 1<br />

µ 2 (r)<br />

γ ′′<br />

2<br />

(r)γ ′<br />

1<br />

α(r)<br />

β(r) =−γ ′ 2 (r)<br />

γ ′ 1<br />

′′ ′<br />

(r) − γ 1 (r)γ 2 (r) =<br />

1 − 2r2<br />

=<br />

(r) kT<br />

γ ′′<br />

1 (0)<br />

γ ′′<br />

2<br />

m<br />

=<br />

n<br />

(0) =−kT,<br />

4kr<br />

T (1 − r2 .<br />

) 4<br />

for integers n, m, then the invariant torus Tr is foliated with periodic orbits. The<br />

case m = 0 is only possible if r = 1/ √ 2.Ifr is sufficiently small, then |m| ≥2.<br />

Indeed, we would otherwise be able to find sequences rl ↘ 0 and {nl} ⊂Z such that<br />

kT/(1 − 2r 2 l ) = nl, which is impossible. The binding orbit has period 2πT while<br />

the periodic orbits close to the binding orbit have much larger periods equal to<br />

τ = 2πTm (1 − r2 ) 2<br />

.<br />

1 − 2r2 Example 2.3<br />

Consider the contact form λ = T (1 − r 2 )dθ + (r 2 /k)dφ on S 1 × D. Itisalsoa<br />

local model near the binding if k, T > 0, kT ≥ 1/2, andkT is not an integer. We

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

Saved successfully!

Ooh no, something went wrong!