NEAR OPTIMAL BOUNDS IN FREIMAN'S THEOREM
NEAR OPTIMAL BOUNDS IN FREIMAN'S THEOREM
NEAR OPTIMAL BOUNDS IN FREIMAN'S THEOREM
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
32 CASIM ABBAS<br />
that<br />
Here the energy E(ũ) is defined by<br />
⎧<br />
⎪⎨<br />
π ◦ Tu◦ j = J ◦ π ◦ Tu on ˙S<br />
(u<br />
⎪⎩<br />
∗λ) ◦ j = da + γ on ˙S<br />
dγ = d(γ ◦ j) = 0 on S<br />
E(ũ) < ∞.<br />
E(ũ) = sup<br />
ϕ∈<br />
<br />
˙S<br />
ũ ∗ d(ϕλ),<br />
(1.1)<br />
where consists of all smooth maps ϕ : R → [0, 1] with ϕ ′ (s) ≥ 0 for all s ∈ R.<br />
Note that equation (1.1) reduces to the usual pseudoholomorphic curve equation<br />
in the symplectization R × M if we set γ = 0. The following proposition, which is a<br />
modification of a result by Hofer [17], shows that solutions to problem (1.1) approach<br />
cylinders over periodic orbits of the Reeb vector field.<br />
PROPOSITION 1.5<br />
Let (M,λ) be a closed 3-dimensional manifold equipped with a contact form λ.Then<br />
the associated Reeb vector field has periodic orbits if and only if the associated PDE<br />
problem (1.1) has a nonconstant solution.<br />
Proof<br />
Let (S,j,Ɣ,ũ, γ ) be a nonconstant solution of (1.1). If Ɣ = ∅, then the results in [17]<br />
imply that, near a puncture, the solution is asymptotic to a periodic orbit (see also [3]<br />
for a complete proof). Here we use the fact that γ is exact near the punctures. The<br />
aim now is to show that, in the absence of punctures, the map a is constant while the<br />
image of u lies on a periodic Reeb orbit. Assume that Ɣ =∅.Since<br />
we find, after applying d, that<br />
u ∗ λ =−da ◦ j − γ ◦ j,<br />
ja =−d(da ◦ j) = u ∗ dλ.<br />
In view of the equation π ◦ Tu◦ j = J ◦ π ◦ Tu, we see that u ∗ dλ is a nonnegative<br />
integrand. Applying Stokes’s theorem, we obtain <br />
S u∗ dλ = 0, implying that<br />
π ◦ Tu≡ 0.