Content-Type: multipart/mixed; boundary="-------------0206271432168"

This is a multi-part message in MIME format.

---------------0206271432168
Content-Type: text/plain; name="02-281.comments"
Content-Transfer-Encoding: 7bit
Content-Disposition: attachment; filename="02-281.comments"

Mathematics Subject Classification: 37D50, 37A40
---------------0206271432168
Content-Type: text/plain; name="02-281.keywords"
Content-Transfer-Encoding: 7bit
Content-Disposition: attachment; filename="02-281.keywords"

Lorentz gas, billiards, dispersing, infinite measure, ergodicity, recurrence, hyperbolicity, hyperbolic systems with singularities
---------------0206271432168
Content-Type: application/x-tex; name="aplgpp.tex"
Content-Transfer-Encoding: 7bit
Content-Disposition: inline; filename="aplgpp.tex"

\documentclass[12pt,twoside]{article} 
\usepackage{amsfonts}
\usepackage{graphicx} 
%\usepackage{showkeys}

\setlength{\topmargin}{-.5truecm}
\setlength{\oddsidemargin}{+.8truecm}
\setlength{\evensidemargin}{+.8truecm}
\setlength{\textwidth}{15truecm}
\setlength{\textheight}{22truecm}

%%% The above is a format that I think is ok with both US and A4
%%% paper. To maximize the format use respectively
%\input{myus}
%\input{mya4}

\pagestyle{myheadings} 
\markboth{Marco Lenci}{Aperiodic Lorentz gas}

\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{rmrk}[theorem]{Remark}

%%% usual stuff

\newcommand{\R} {{\mathbb R}}
\newcommand{\C} {{\mathbb C}}
\newcommand{\Q} {{\mathbb Q}}
\newcommand{\Z} {{\mathbb Z}}
\newcommand{\N} {{\mathbb N}}
\newcommand{\qed} {\hfill {\small Q.E.D.} \par\medskip}
\newcommand{\skippar} {\par\medskip}
\newcommand{\ds} {\displaystyle}
\newcommand{\proof} {\noindent \textsc{Proof.} }
\newcommand{\proofof}[1] {\noindent \textsc{Proof of {#1}.} }
\newcommand{\article}[3] {\textsc{{#1}}, {\itshape {#2}}, {{#3}}.}
\newcommand{\book}[3] {\textsc{{#1}}, {\itshape {#2}}, {{#3}}.}
\newcommand{\vol} {\textbf}
\newcommand{\eps} {\varepsilon}
\newcommand{\rset}[2] {\left\{ #1 \: \left| \: #2 \right. \! \right\} }
\newcommand{\lset}[2] {\left\{ \left. \! #1 \: \right| \: #2 \right\} }
\newcommand{\nota}[1] {\medskip\par {\bf nota: #1 } \medskip\par}

\renewcommand{\iff} {if, and only if,\ }

%%% definitions for this work (words + symbols)

\newcommand{\fn} {function}
\newcommand{\bi} {billiard}
\newcommand{\me} {measure}
\newcommand{\tr} {trajector}
\newcommand{\erg} {ergodic}
\newcommand{\sy} {system}
\newcommand{\hyp} {hyperbolic}
\newcommand{\sca} {scatterer}
\renewcommand{\o} {orbit}

\newcommand{\si} {\mathcal{S}}  % singularity set
\newcommand{\Sc} {\mathcal{O}}  % scatterer (obstacle)
\renewcommand{\a} {\alpha}      % scatterer index
\renewcommand{\b} {\beta}       % (second) scatterer index
\newcommand{\is} {\mathcal{I}}  % index set (of \a)
\newcommand{\ij} {\mathcal{J}}  % another index set
\newcommand{\nh} {\mathcal{N}}  % index of neighbors
\newcommand{\ps} {\mathcal{M}}  % phase space
\newcommand{\x} {x}             % phase space point
\newcommand{\y} {y}             % another phase space point
\newcommand{\ts} {\mathrm{T}}   % tangent space
\newcommand{\co} {\mathcal{C}}  % cone
\newcommand{\ph} {\varphi}      % angle
\newcommand{\wu} {W^u}          % local unstable manifold
\newcommand{\ws} {W^s}          % local stable manifold
\newcommand{\wsu} {W^{s(u)}}    % local stable OR unstable manifold

%%% indexes equations within sections

\newcommand{\sect}[1] {\section{{#1}} \setcounter{equation}{0}}
\renewcommand{\theequation} {\thesection.\arabic{equation}}

\newcommand{\fig}[3] {
\medskip\smallskip
\begin{figure}[ht]
        \centering
        \includegraphics[width=#2]{#1.eps}
        \begin{minipage}[t]{0.75\linewidth} 
                \caption{\baselineskip=14pt {#3}}
                \protect\label{#1}
        \end{minipage}
\end{figure}
\medskip
}

\newenvironment{remark}
{\begin{rmrk} \em}
{\end{rmrk}}

%%% end of definitions


\begin{document}

\title{Aperiodic Lorentz gas: recurrence and ergodicity}

\author{
        \textsc{Marco Lenci} \\
        Department of Mathematical Sciences \\
        Stevens Institute of Technology \\
        Hoboken, NJ \ 07030, \ U.S.A. \\
        \footnotesize{E-mail: \texttt{mlenci@stevens-tech.edu}}
}

\date{June 2002}

\maketitle

\begin{abstract}
        We prove that any generic (i.e., possibly aperiodic) Lorenz
        gas in two dimensions, with finite horizon and non-degenerate
        geometrical features, is ergodic if it is recurrent. We also
        give examples of aperiodic recurrent gases.

        \bigskip\noindent
        Mathematics Subject Classification: 37D50, 37A40.
\end{abstract}

\sect{Introduction}
\label{sec-intro}

By Lorentz gas (LG) we mean the free motion of a point particle in the
plane subject to elastic collisions against a fixed array of
dispersing \sca s. Each \sca\ $\Sc_\a$ is an open, bounded, connected,
simply connected, strictly convex domain of $\R^2$, with smooth
boundary, and is labeled by the variable $\a \in \is$. The \sca s are
assumed to be pairwise disjoint. A LG is called \emph{periodic} when
$\cup_{\a \in \is} \Sc_\a$ is left invariant by $G$, a discrete group
of translations in the plane, whose fundamental domain $\R^2 / G$ is
compact.

Notice the departure from the usual terminology, whereby `Lorentz gas'
means `periodic Lorentz gas' (PLG). To avoid possible confusions let
us also recall that some literature calls `Lorentz gas' the dynamical
\sy\ defined on $\R^2 / G$, in the periodic case. However, common
practice has nowadays christened such \sy s \emph{Sinai \bi s}.

\skippar

The LG has a long and honorable history. It was first introduced in
its periodic and three-dimensional version by Lorentz in 1905, to
describe the motion of an electron in a crystal \cite{lo}.  Later in
the century it became extremely popular in statistical mechanics and
\erg\ theory. The scientific community was seeking a rather realistic
model whose stochastic properties could be rigorously proven---in
particular Boltzmann's Ergodic Hypothesis (namely, \erg ity). It is
because of this connection with statistical mechanics that it was
renamed `Lorentz \emph{gas}'. At this point the periodicity condition
had lost its \emph{raison d'\^etre}, but still remained in virtually
all the publications (at least as far as I know), on grounds of
mathematical convenience.

As a matter of fact, most of the massive literature in this area of
research is actually concerned with Sinai \bi s, and many results on
the PLG were generated as corollaries of theorems on the Sinai \bi.
It is definitely outside the scope of this introduction to mention all
that is known about these \sy s, but it is worthwhile to recall that
they are so termed after Sinai, who in 1970 proved that they possess
the $K$-property. The same result was extended to higher dimension
by Sinai and Chernov in 1987 \cite{sc}. (A rather complete reference
on \bi s is \cite{t}. The hasty reader may find a brief history of
\emph{dispersing} \bi s in the introduction of \cite{l1}.)

\skippar

Turning to LGs, it is not surprising that much less work has been done
on them: the relevant invariant \me\ for these \sy s is infinite, and
ordinary \erg\ theory does not apply. Still it makes sense to pose the
question of the stochastic properties; only, one must utilize a more
refined \erg\ theory (as found, e.g., in the beautiful book by
Aaronson \cite{a}). For instance, the most sound definition of \erg
ity in infinite \me\ is the \emph{indecomposability} of the \sy\ 
modulo the \me. That is, a dynamical \sy\ endowed with an invariant
\me\ $\mu$ is \erg\ when the only invariant subsets mod $\mu$ have
\me\ zero or are complements of zero-\me\ sets (cf.\ Definition
\ref{def-erg} later on).

Another question that arises immediately for infinite-\me\ \sy s is
that of recurrence (cf.\ Definition \ref{def-rec}), because the
Poincar\'e Recurrence Theorem does not hold. For the PLG this has
baffled mathematicians for decades, and was answered in the
affirmative only in the last few years, by Schmidt \cite{sch} and
Conze \cite{co} independently. Both proofs use the Central Limit
Theorem (for a suitable class of observables) obtained by Bunimovich
and Sinai in 1981 \cite{bs}. All these results assume \emph{finite
horizon}: that is, the free path between collisions must be bounded
above.

Recurrence implies \erg ity (in the above sense) by a result of
Sim\'anyi \cite{si}.

We finish this short review of the PLG by mentioning a few other
important properties that are not so central in the present work.
Again for finite-horizon gases, the dynamics is diffusive and
converges to a Brownian motion upon suitable rescaling \cite{bs} (see
also \cite{bsc}.) The finite-horizon condition appears to be
physically relevant, as infinite-horizon PLGs are believed to have a
super-diffusive behavior (the mean square displacement at time $t$
increasing like $t \log t$) \cite{b}. A promising generalization of
the Central Limit Theorem is contained in a recent work by Sz\'asz and
Varj\'u \cite{sv}.

\skippar

In this paper we treat the generic LG with finite horizon. Subject to
very mild conditions on the curvature of the \sca s and their relative
position (cf.\ (\ref{cond-k})-(\ref{cond-tau})), we prove that
recurrence implies \erg ity (Theorem \ref{thm-erg}) and we give
several examples of recurrent aperiodic LGs (Propositions
\ref{prop-fin-mod} and \ref{prop-inf-mod}).

The exposition is thus organized: In Section \ref{sec-prel} we lay
down the necessary definitions and basic facts about \bi\ dynamics.
In Section \ref{sec-hyp} we show that our \sy s are \hyp.  In Section
\ref{sec-erg} we give the \erg ity result. In Section \ref{sec-rec} we
prove recurrence for a class of \sy s.

Throughout the paper we use the theory of \hyp\ \sy s with
singularities without really reviewing it for the reader. Rather, we
try to be as precise as possible as to what part of the theory we are
applying, or we need to modify, at any given time. Standard references
include \cite{cfs, sc, lw}.

\bigskip

\noindent
\textbf{Acknowledgments.} My thanks to N.~Chernov, N.~Sim\'anyi and
D.~Sz\'asz for having shared with me their expertise on this subject.
This work was partially supported by COFIN--MIUR, Italy (project: {\em
``Sistemi dinamici classici, quantistici e stocastici''}).

\sect{Preliminaries}
\label{sec-prel}

We study the \bi\ dynamics on $\R^2 \setminus \cup_{\a \in \is}
\Sc_\a$ (notation introduced in Section \ref{sec-intro}): A material
point moves with constant velocity until it hits the boundary of its
allowed domain. The point is then instantaneously scattered by the
obstacle according to the Fresnel law: the angle of incidence equals
the angle of reflection. It is clear that in this process the modulus
of the velocity never changes (a consequence of the conservation of
energy for this singular Hamiltonian \sy). So this modulus is
conventionally fixed to be 1. The dynamical \sy\ thus defined is
called the \emph{\bi\ flow} on $\R^2 \setminus \cup_{\a \in \is}
\Sc_\a$.

Since for most of the time the dynamics is trivial, we take the point
of view of discrete dynamical \sy s, and consider the Poincar\'e
cross-section corresponding to collisions with the obstacles. More
precisely, we restrict our phase space to points of the type $\x =
(q,v)$, with $q \in \partial \Sc_\a$, for some $\alpha$, and $v \in
\ts_q \R^2 = \R^2$, such that $|v| = 1$ and $v$ points outwardly with
respect to $\Sc_\a$. Any such point is also called a \emph{line
  element} and the whole set is denoted by $\ps$. Given an $\x \in
\ps$ we define $T \x =: \x_1 =: (q_1,v_1)$ to be first line element,
in the forward (flow-)\tr y of $\x$, that belongs to $\ps$ (see
Fig.~\ref{faplg1}). $T$ is then the Poincar\'e map induced by the flow
on the cross-section $\ps$, and the $T$-\o\ of $\x$ is the sequence of
snapshots of the flow-\tr y of $\x$, taken immediately after each
collision. (In this work I will try to be as consistent as possible
and use the term `\o' for an \o\ of a map, such as $T$; and `\tr y'
for an \o\ of the \bi\ flow.)

\fig{faplg1} {4.7in} {Basic definitions for the \bi\ map.}

A convenient way to parametrize the phase space is to consider, for
each $\a$, the set $\ps_\a := S_{L_\a} \times [0,\pi]$, where $S_L$ is
the circle of circumference $L$ (i.e., the interval $[0,L]$ after
identification of the endpoints). A pair $(r,\ph) \in \ps_\a$
represents the unit vector, based on $q \in \partial \Sc_\a$, that
forms an angle $\ph$ with the clockwise tangent vector to $\partial
\Sc_\a$ in $q$; and $q$ is determined as the point whose clockwise
distance along $\partial \Sc_\a$ (from a certain fixed origin) is
$r$---see again Fig.~\ref{faplg1}. $L_\a$ is thus the length of the
closed curve $\partial \Sc_\a$. With a forgivable abuse of notation,
then, the phase space is rewritten as $\ps = \sqcup_{\a \in \is}
\ps_\a$ (the symbol denoting disjoint union).

We endow $\ps$ with the \me\ $\mu$ defined by $d\mu(r,\ph) = \sin\ph
\, dr d\ph$. This is the physically relevant \me\ because it is
induced on $\ps$ by the Liouville \me\ for the \bi\ flow (which, by
the way, is the uniform \me\ both in the position and in the momentum
coordinates). Hence $\mu$ is preseved by $T$ \cite{cfs}. Obviously
$\mu(\ps) = \infty$. From a mathematical point of view, this is
perhaps the most significant feature of the Lorentz gas.

It is well known that \sy s of the \bi\ type are discontinuous: any
line element $\x$ whose \tr y is tangent to the next obstacle, say
$\Sc_\b$, is a point of discontinuity for $T$, because other line
elements arbitrarily close to $\x$ may hit or miss $\Sc_\b$, which
causes $T \x$ to end up in completely different regions of the phase
space. The discontinuity set is then given by $\si := \si^{+} :=
T^{-1} \partial \ps$. Analogously, $\si^{-} := T \partial \ps$ is the
discontinuity set of $T^{-1}$. It is not hard to deduce that the
differential of $T$ blows up at $\si$ (see below). Therefore $\si$ is
usually called the \emph{singularity set}. It is made up of smooth
curves (\emph{singularity lines}) with the property that the endpoints
of any curve belong to other such curves \cite{s,sc,lw}.

For all elements in $\ps \setminus \si$, the differential of $T$ is
known (\cite[\S 14]{lw}, \cite[\S 3]{l1}) and, however, easily
computed with the help of Fig.~\ref{faplg1} and a little
patience. Denote by $\tau = \tau(\x) = \tau(r,\ph)$ the \emph{free
path} of the line element $\x$. Also, if $\x \in \ps_\a$, call
$k_\a(r)$ the curvature of $\partial \Sc_\a$ in the base-point of
$\x$: this is a smooth \fn\ by hypothesis, and positive by
convention. Also set $(r_1, \ph_1) := \x_1 = T \x$; $k = k_\a (r)$;
$k_1 = k_\b (r_1)$ (if $\x_1 \in \ps_\b$). Then
\begin{equation}
        D T_\x = \left[ 
        \begin{array}{cc} 
                \ds -\frac{\sin \ph} {\sin \ph_1} - \frac{k \tau}  
                {\sin \ph_1} & 
                \ds \frac{\tau} {\sin \ph_1} \ \ \\ \\
                \ds k + k_1 \frac{\sin \ph} {\sin \ph_1} + 
                \frac{ k k_1 \tau} {\sin \ph_1} \ \ &
                \ds -1 - \frac{k_1 \tau} {\sin \ph_1}
        \end{array}
        \right]. 
        \label{dmap}
\end{equation}

Before introducing the class of \sy s that we treat in this work
we need a very important, although standard, definition.

\begin{definition}
        The dynamical \sy\ $(\ps, T, \mu)$ is said to be
        \emph{recurrent} (in the sense of Poincar\'e) if, for every
        measurable set $A$, the \o\ of $\mu$-almost every $\x \in A$
        returns to $A$ at least once (and thus infinitely many times,
        due to the invariance of $\mu$). 
        \label{def-rec}
\end{definition}

We need not require the above property to hold for both the forward
and backward \o s because our \sy s are reversible; i.e., there exists
a map $I$ on $\ps$ such that $I^2 = id$ and $T^{-1} I T = I$. (This
map is of course $I(r,\ph) = (r,\pi-\ph)$.)

Since the Poincar\'e Recurrence Theorem fails here ($\mu(\ps) =
\infty$), one cannot take Definition \ref{def-rec} for granted and
indeed there are obvious cases of non-recurrent \sy s---think of a LG
with finitely many \sca s. (In fact these open \bi s are usually
studied only on the recurrent part of their phase space \cite{lm,
st}.)

\skippar

Let us accept the abuse of notation whereby $k(\x)$ means $k_\a(r)$,
for $\x = (r,\ph) \in \ps_\a$. Then we denote by $\mathcal{X}$ the
class of all \emph{recurrent} LGs for which there exist four positive
numbers, $k_m, k_M, \tau_m, \tau_M$, such that, $\forall \x \in \ps$,
\begin{eqnarray}
        && k_m \le k(\x) \le k_M;               \label{cond-k} \\ 
        && \tau_m \le \tau(\x) \le \tau_M.      \label{cond-tau}
\end{eqnarray}
The first condition is of a physical nature: we want to model a gas,
something that does not look much different in different parts of the
plane. In fact, this condition and the convexity of the \sca s imply
that no $\Sc_\a$ can be too big or too small; more precisely 
\begin{eqnarray}
        & 2 k_M^{-1} \le diam(\Sc_\a) \le 2 k_m^{-1}; &
        \label{diam-sca} \\
        & 2 \pi k_M^{-1} \le L_\a \le 2 \pi k_m^{-1}. &
        \label{len-sca}
\end{eqnarray}

Condition (\ref{cond-tau}) is primarily dictated by mathematical
feasibility, as we will see later. However, the existence of an upper
bound for the free path (which goes by the name of
\emph{finite-horizon condition}) does make a difference in the
dynamics, as recalled in the Introduction.

\skippar

For a given $\x$, define $\co(\x) := \rset {(dr, d\ph) \in \ts_\x \ps}
{dr \, d\ph \le 0}$, that is, the second and fourth quadrant of $\ts_\x
\ps$ in the $\{ \partial / \partial r, \partial / \partial \ph \}$
basis. This is usually called the \emph{unstable cone} at $\x$
\cite{lw, l1}. Take $u = (dr, d\ph) \in \co(\x)$. Any such vector is
called \emph{unstable}. The checkered sign configuration of
(\ref{dmap}) implies that $DT_\x u =: (dr_1, d\ph_1) \in \co(T \x)$,
and
\begin{eqnarray}
        (dr_1)^2 &\ge& \left( \frac{\sin \ph} {\sin \ph_1} \right)^2
        \left( 1 + \frac{k \tau} {\sin \ph} \right)^2 dr^2; \\ 
        (d\ph_1)^2 &\ge& \left( 1 + \frac{k_1 \tau} {\sin \ph_1}
        \right)^2 d\ph^2. 
\end{eqnarray}
Therefore, if we define the metric
\begin{equation}
        \| u \|_{\x}^2 = \| (dr, d\ph) \|_{(r,\ph)}^2 := \sin^2 \ph \:
        dr^2 + d\ph^2, 
        \label{inc-norm}
\end{equation}
and set $\lambda := 1 + k_m \tau_m > 1$, we obtain from
(\ref{cond-k})-(\ref{cond-tau}):
\begin{equation}
        \| DTu \|_{\x_1} \ge \lambda \, \| u \|_{\x}.
        \label{inc-lambda}
\end{equation}
We name (\ref{inc-norm}) the \emph{increasing norm} for unstable
vectors.

\sect{Hyperbolicity}
\label{sec-hyp}

In this section we see how to construct local stable and unstable
manifolds (LSUMs) for a.e.\ point of $\ps$, and how to prove that they
are absolutely continuous w.r.t.\ $\mu$. Although the subject is very
standard, it is useful for later purposes to state the definition of
LSUM. 

For $n \in \N \cup \{ \infty \}$, let us denote $\si_n^{\pm} :=
\bigcup_{i=0}^{n-1} T^{\mp i} \si^{\pm}$.

\begin{definition}
        Given a point $\x \in \ps \setminus \si_\infty^{+(-)}$, we
        define a {\em local (un)stable manifold $\wsu$ for $T$ at
        $\x$} to be a $C^1$ curve containing $\x$ in its
        (one-dimensional) interior, not intersecting
        $\si_\infty^{+(-)}$, and such that:
        \begin{itemize} 
                \item[(a)] The tangent spaces to $\wsu$ are included 
                in the pull-backwards (or push-forwards) of all future 
                (past) stable (unstable) cones. (E.g., in the unstable 
                case, this means: $\forall \y \in \wu$, $\ts_\y \wu 
                \subset \bigcap_{n\le 0} DT_{T^n \y}^{-n} \co(\y)$);

                \item[(b)] $\forall \y \in \wsu$, $d(T^n \y, T^n \x)
                \to 0$, as $n \to +\infty(-\infty)$;

                \item[(c)] If $\wsu_0$ is another such manifold, then
                so is $\wsu \cap \wsu_0$. 
        \end{itemize}
        \label{def-lsum}
\end{definition}

Condition \emph{(c)} is a sort of uniqueness property. For this reason
we refer to any LSUM as \emph{the} LSUM at $\x$ and denote it by
$\wsu(\x)$.  One readily sees that $T^{-1} \wu(\x)$ is a LUM at
$T^{-1} \x$ and $T \ws(\x)$ is a LSM at $T\x$. This earns the two
collections of local stable and unstable manifolds the name of
\emph{local invariant foliations}.

Condition $\emph{(a)}$ states that the tangent vectors to, say,
$\wu(\x)$ are unstable `at all orders'. This and (\ref{inc-lambda})
imply that if $\y \in \wu(\x)$ then, $\forall n \le 0$, $d_\|(T^n \y,
T^n \x) \le d_\|(\y, \x) \lambda^{n}$, where $d_\|$ is the distance in
the $\| \,\cdot\, \|$-norm.  We therefore say that $\wu(\x)$ is
\emph{exponentially unstable} in the increasing metric. We will see
later that this property holds for the Riemannian metric too.

\skippar

We do not recall the other basic notions of hyperbolic theory, such as
the definition of absolutely continuous foliation. (The reader who
would like to review the fundamentals of Pesin's theory, especially in
the context of \bi s, can consult \cite{ks,sc} and the references
therein.)

Even as concerns proofs, we only show the details of a couple of
lemmas that are specific to our \sy, and simply sketch the remaining
customary arguments---mainly to convince the reader that the
infiniteness of $\mu$ is no big trouble. It will also be noticed that
the recurrence property is \emph{not} needed here.

\skippar

The first observation one has to make to prove that a certain \bi\ is
\hyp\ is that the singularities are not a big obstruction. The lemma
that does the job is the following.

\begin{lemma}
        For a.e.\ $\x \in \ps$, these exists a $C_0 = C_0(\x)$ such that,
        $\forall n \ne 0$, 
        \begin{displaymath}
                d_\| (T^n \x, \si^{+} \cup \si^{-} \cup \partial \ps) 
                \ge C_0 \, |n|^{-4}.
        \end{displaymath}
        \label{lemma-appr}
\end{lemma}

This is in turn based on the next lemma, whose formulation needs two
extra definitions. Let $\si_\a^{\pm} := \si^{\pm} \cap \ps_\a$. Also,
for $A \subseteq \ps$ and $\eps>0$, set
\begin{equation}
        A_{(\eps)} := \rset{\x\in\ps} {d_\|(\x,A) \le \eps}.
        \label{a-eps}
\end{equation} 

\begin{lemma}
        There exists a constant $C_1$, \emph{independent of $\a \in 
        \is$}, such that, for $\eps>0$ small enough,
        \begin{displaymath}
                \mu \left( ( \si_\a^{+} \cup \si_\a^{-} \cup 
                \partial \ps_\a )_{(\eps)} \right) \le C_1 \, \eps.
        \end{displaymath}
        \label{lemma-sing}
\end{lemma}

\proofof{Lemma \ref{lemma-sing}} Obviously we can treat
$(\si_\a^{\pm})_{(\eps)}$ and $(\ps_\a)_{(\eps)}$ separately. For the
latter case the assertion is immediate since $(\ps_\a)_{(\eps)} = \{
(r,\ph) \in \ps_\a \,|\, \ph \le \eps \mbox{ or } \ph \ge \pi - \eps
\}$ and $L_\a$ is bounded above. (Remember that $\ps_\a$ is a cylinder
based on the circle of length $L_\a$.)

As for $\si_\a^{+}$, it is easy to see that it is composed of a
finite number of strictly increasing smooth curves $\gamma$, and this
number does not depend on $\a$. In fact, any \sca\ ``seen'' from
$\Sc_\a$ can only generate two tangent elements $(r,\ph)$ for any
given $r$, and, since $\Sc_\a$ is convex, $\ph$ must grow as $r$
increases (cf.\ Fig.~\ref{faplg1}). But the number of accessible \sca
s (we will also call them \emph{nearest neighbors}) is bounded above,
due to the finite-horizon condition and (\ref{diam-sca}). Notice that
the length of each $\gamma$ cannot exceed $L_\a + \pi$, which is less
than some universal constant by (\ref{len-sca}).

Analogous reasoning works for $\si_\a^{-}$, except that the curves are
strictly decreasing. 

So we only need prove that $\mu (\gamma_{(\eps)}) \le C_2 \, \eps$,
with $C_2$ independent of $\a$. This is essentially contained in
\cite[Lemma 2]{sc} but since the terminology used there is rather
different from that of the present work, we give a simple
``analytical'' proof here.

First of all, if $\gamma$ keeps away from $\partial \ps_\a$, the
result is obvious as $d_\|$ is equivalent to the Riemannian distance
$d$ there. So it suffices to look at, say, $\gamma \cap \{ \ph \le
\delta \}$, for some $\delta>0$. Since $k_\a (r)$ is bounded below,
$\gamma$ can only intersect $\{ \ph = 0 \}$ transversally. Therefore,
without loss of generality, we can focus on the case $\gamma = \{ 0 \}
\times [0, \delta]$. Given $\x = (r,\ph) \in \ps_\a$, the ball in the
unstable metric $B_\| (\x,\eps)$ is more or less an ellipse of
semiaxes $\eps / \sin\ph$ and $\eps$; and is certainly contained in
the rectangle $[ r - \eps / \sin (\ph-\eps) , r + \eps / \sin
(\ph-\eps) ] \times [ \ph - \eps, \ph + \eps ]$ (notice that this
might exceed $\ps_\a$).

\fig{faplg2} {4.2in} {The set $A_\eps$ as in the proof of Lemma
\ref{lemma-sing}.}

Hence, with the help of Fig.~\ref{faplg2}, we see that the ``right''
part of $\gamma_{(\eps)}$ is contained in $A_\eps := \rset{(r,\ph) \in
\ps_\a} {0 \le \ph \le \delta; \ 0 \le r \le h(\ph)}$, with
\begin{equation}
        h(\ph) = \left\{ 
        \begin{array}{cr}
                \ds \frac{\eps} {\sin (\ph - 2\eps) } & \quad \ph \in 
                [2\eps, \delta]; \\ 
                \infty & \quad \ph \in [0, 2\eps).
        \end{array}
        \right.
\end{equation}
But this is evidently an overestimate, as the right part of
$\gamma_{(\eps)}$ only comprises values of $r$ within $[0,
L_\a/2]$. Set $\ph_\eps$ so that $h( \ph_\eps ) = L_\a / 2$. This
means that
\begin{equation}
        \ph_\eps = \arcsin \left( \frac{2\eps} {L_\a} \right) + 2\eps
        \simeq 2\eps \left( \frac1 {L_\a} + 1 \right).
        \label{sing-20}
\end{equation}
(We say that $a \simeq b$ if both quantities depend on $\eps$ and $a/b
\to 1$, as $\eps \to 0^{+}$.) Discarding the exceeding part of
$A_\eps$, we split the reminaing part in two pieces:
\begin{eqnarray}
        A_\eps^{(1)} &=& [0, L_\a/2] \times [0, \ph_\eps]; \\
        A_\eps^{(2)} &=& \{ \ph_\eps \le \ph \le \delta; \ 0 \le r \le 
        h(\ph) \}. 
\end{eqnarray}
One can estimate $\mu( A_\eps^{(1)} )$ from above using the Lebesgue
\me; (\ref{sing-20}) and (\ref{len-sca}) ensure that this is less than
some $C_3 \, \eps$. On the other hand, for $\delta$ small,
\begin{eqnarray}
        \frac{ \mu (A_\eps^{(2)}) } {\eps} &=& \int_{\ph_\eps}^\delta
        \frac{\sin \ph} {\sin (\ph - 2\eps)} \, d\ph \simeq
        \int_{\ph_\eps}^\delta \frac{\ph} {\ph - 2\eps} \, d\ph =
        \int_{\ph_\eps - 2\eps}^{\delta - 2\eps} \left( 1 +
        \frac{2\eps} y \right) dy = \nonumber \\
        &=& \delta - \ph_\eps + 2\eps [ \log(\delta - 2\eps) - 
        \log( \ph_\eps - 2\eps ) ] \le 2\delta, 
\end{eqnarray}
as $\eps \to 0^{+}$, since from (\ref{sing-20}) $\ph_\eps - 2\eps
\simeq 2\eps / L_\a$.
\qed

\proofof{Lemma \ref{lemma-appr}} Without loss of generality we will
only consider forward semi\o s. Denote
\begin{equation}
        \nh_n(\a) := \rset{\b \in \is} { \exists \x \in \ps_\a, \:
        k \le n, \mbox{ such that } T^k \x \in \ps_\b }.
        \label{appr-10}
\end{equation}
In other words, $\nh_n(\a)$ is the index set of all
\emph{$k^{th}$-nearest neighbors} of $\Sc_\a$, for $k \le n$. By the
same line of reasoning as in the previous proof, it is clear that 
\begin{equation}
        \# \nh_n(\a) \le C_4 \, n^2,
        \label{appr-20}
\end{equation}
$C_4$ not depending on $\a$. Consider an $\x \in \ps_\a$. If the
inequality $d_\| (T^n \x, \si^{+} \cup \si^{-} \cup \partial \ps) \le
n^{-4}$ is verified only for a finite number of $n$'s, then $C_0(\x)$
can be found so that $d_\| (T^n \x, \si^{+} \cup \si^{-} \cup \partial
\ps) \ge C_0 \, n^{-4}$ foa all $n>0$. This does \emph{not} happen if,
and only if, $\x \in \ps_\a$ and
\begin{equation}
        T^n \x \in \bigcap_{m\ge 1} \: \bigcup_{n\ge m} 
        \left( \left( \si^{+} \cup \si^{-} \cup \partial \ps
        \right)_{(n^{-4})} \right). 
        \label{appr-30}
\end{equation}
But the arguments above about the phase-space accessibility of \o s
starting in $\ps_\a$ show that (\ref{appr-30}) is equivalent to
\begin{equation}
        \x \in \ps_\a \cap \, \bigcap_{m\ge 1} \: \bigcup_{n\ge m}
        T^{-n} \left( \bigcup_{\b \in \nh_n(\a)} \left( \si_\b^{+}
        \cup \si_\b^{-} \cup \partial \ps_\b \right)_{(n^{-4})}
        \right). 
        \label{appr-40}
\end{equation}
The \me\ of the above r.h.s.\ is zero by Borel-Cantelli, as the \me\
of the individual terms decreases like $n^{-2}$ (by Lemma
\ref{lemma-sing}, (\ref{appr-20}), and the invariance of $\mu$ w.r.t.\
$T$). Taking the union over $\a \in \is$ completes the proof.  
\qed

The existence and absolute continuity of the local invariant
foliations is a local matter. More precisely, for $\x \in \ps$, it has
to do with the behavior of $DT$ on a sequence of balls centered at
$T^n \x$ and of shrinking radii, as $|n| \to \infty$.

Say we want to consider LUMs. Lemma \ref{lemma-appr} implies that, for
some $C_5>0$, no element of the sequence $\{ B_\| (T^n \x, C_5
\lambda^{-|n|}) \}_{n\le 0}$ can intersect the singularities or the
boundary of the phase space. So, inside those balls, we have a
\emph{bona fide} Pesin's theory. The invariance of the unstable cones
($DT \co(\x) \subset \co(T\x)$) and (\ref{inc-lambda}) provide the
streching mechanism for \emph{unstable curves} (curves whose tangent
vectors are everywhere unstable). And the fact that $DT^{-n} \co(T^n
\x)$ collapses to a line (in this case, an easy consequence of
(\ref{inc-lambda}) and the invariance of $\mu$) proves that the
process of pushing forward unstable curves ``from the past'' has a
limit, which is precisely the LUM $\wu(\x)$.  To make things even
simpler, we are dealing with a \emph{uniformly hyperbolic} \sy\
(w.r.t.\ $\| \,\cdot\, \|$) and standard results \cite[\S6]{kh} show
that $\wu(\x)$ is as regular as $T$ is (meaning, away from $\si^{+}$).

Condensing in the same way the arguments for the absolute continuity
is impossible. Suffice it to say that the major task is to control the
\emph{distorsion coefficient} of $T$ along the sequence of shrinking
balls. The distorsion coefficient is a certain logarithmic derivative
of $|DT u|$, for some vector $u$, with $|u| = 1$; and the requirement
is that it grows less than exponentially as $n \to -\infty$. General
results on finite-horizon \bi s show that this quantity can increase
at most like a negative power of $\sin \ph_n$, with $(r_n, \ph_n) :=
\y_n \in B_\| (T^n \x, C_5 \lambda^n)$ (we are simplifying a bit
here---see \cite[\S7]{l1}).  But $\sin\ph_n \ge C_6 \min \{ \ph_n,
\pi-\ph_n \} = C_6 \, d_\|( \y_n, \partial \ps)$ and Lemma
\ref{lemma-appr} says in particular that this distance does not
approach zero faster than $|n|^{-4}$. Which verifies the requirement.

\begin{remark}
        The above also proves that the LSUMs are exponentially
        (un)stable w.r.t.\ the Riemannian metric. In fact $| \,\cdot\,
        |_{(r,\ph)} \le (\sin \ph)^{-1} \, \| \,\cdot\, \|_{(r,\ph)}$
        and in Definition \ref{def-lsum}, \emph{(b)} the polynomial
        growth of $(\sin \ph)^{-1}$ is tamed by the exponential
        contraction of $d_\|(T^n \y, T^n \x)$. Hence the convergence
        rate is any $\lambda' < \lambda$.
\end{remark}

None of the above assertions depend on the infiniteness of $\mu$, or
the non-compact\-ness of the \bi. To describe it in lay terms, the
particle has no way of knowing whether it is traveling in a plane or
in a torus, by only looking at small neighborhoods of its \o.

\sect{Ergodicity} 
\label{sec-erg}

For dynamical \sy s with an infinite invariant \me, the many available
definitions of \erg ity fail to be equivalent. The definition that is
usually retained is the following \cite{a}:

\begin{definition}
        A dynamical \sy\ $(\ps, T, \mu)$ is \erg\ if every $A
        \subseteq \ps$, measurable and invariant mod $\mu$ (i.e.,
        $\mu( T^{-1} A \, \Delta \, A) = 0$), has either zero \me\ 
        or full \me\ (i.e., $\mu (\ps \setminus A) = 0$).
        \label{def-erg}
\end{definition}

Definition \ref{def-erg} does not require the \sy\ to be recurrent,
but it usually makes little sense if there is a dissipative part (thus
causing the whole \sy\ to be dissipative). We do not have that problem
here.

The goal of this section is to prove the next result.

\begin{theorem}
        Let the Lorentz gas $\{ \Sc_\a \}_{\a \in \is}$ belong to
        $\mathcal{X}$. The associated dynamical \sy\ $(\ps, T, \mu)$
        is \erg.  
        \label{thm-erg}
\end{theorem}


The essential tool to work out Theorem \ref{thm-erg} is the \emph{local
\erg ity theorem}, also known as the \emph{fundamental theorem} for
\hyp\ \bi s. We state it in a rather technical guise that is
convenient for our purposes.

\begin{theorem}
        Let $A$ be a full-\me\ subset of $\ps$. Then, for any $\x_0$ that
        possesses a semi\o\ (i.e., $\x_0 \in \ps \setminus
        \si_\infty^{+}$, or $\x_0 \in \ps \setminus \si_\infty^{-}$),
        there is a neighborhood $U$ of $\x_0$ with the following
        property:

        A.e.\ two points $\x', \x'' \in U$ are connected by a finite
        alternating sequence of LSUMs, $\ws(\x_1), \wu(\x_2), ... ,
        \wu(\x_m)$, with $\x_1 := \x'$ and $\x_m := \x''$. Each LSUM
        intersects the next transversally in a point of $A$. Also
        $\x_1, ... , \x_m \in A$.
        \label{thm-loc-erg}
\end{theorem}

We do not give the complete proof of the local \erg ity theorem. As the
name suggests, most of it is strictly local and does not require $\mu$
to be finite \cite[\S\S8-12]{lw}. The technical conditions that are
called for are all verified for dispersing \bi s; this has been known
since \cite{s}.

The non-local part in the proof of Theorem \ref{thm-loc-erg} is in
general the most laborious and for this reason has its own name, the
\emph{tail bound} \cite[\S13]{lw}. We state it here in the form of a
lemma and prove it in detail. 

First we assume that the LSUMs are maximal; i.e., for every $\x$ for
which a LUM exists, we take $\wu(\x)$ to be the union of all the LUMs
at $\x$. This implies that, for a.e.\ $\x$, $\partial \wu(\x) \subset
\partial \ps \cup \si_\infty^{-}$.  (It might also happen that
$\partial \wu(\x)$ intersects the closure of $\si_\infty^{-}$---which
is typically the whole $\ps$---but standard reasonings show that this
cannot occur for more than a null-\me\ set of $\x$'s. See
\cite[Rk.~8.9]{l1}.)  The analogous statement holds of course for
$\ws(\x)$.

If $\y \in \partial \wu(\x) \cap T^m \si^{-}$, for some $m \ge 0$, we
say that $\wu(\x)$ is \emph{cut} by $T^m \si^{-}$ at $\y$.  The radius
of $\wu(\x)$ is defined as the minimum distance, \emph{along $\wu(\x)$
and in the increasing metric}, between $\x$ and the two endpoints of
$\wu(\x)$.

\begin{lemma}
        For every $\x_0 \in \ps$, there is a neighborhood $U_0$ of 
        $\x_0$, and a $\delta_0 > 0$ such that, $\forall \eta > 0$, 
        $\exists M$ that verifies
        \begin{displaymath}
                \mu \left( \rset{\x \in U_0} {\wu(\x) \mbox{ \emph{has
                radius}} < \delta \mbox{ \emph{because it is cut by}} 
                \bigcup_{m=M+1}^\infty T^m \si^{-} } \right) \le
                \eta \delta,
        \end{displaymath}
        for every $\delta \le \delta_0$.
        \label{lemma-tail}
\end{lemma}

\proofof{Lemma \ref{lemma-tail}} Let $Y = Y(U_0, \delta, M)$ be the set in
the statement of the lemma and, $\forall \x \in Y$, set $m(\x)$ to be
the smallest integer such $T^m \si^{-}$ cuts $\wu(\x)$ within a
distance $\delta$ of $\x$. If we define $Y_m := \rset{\x \in Y} {m(\x)
= m}$, then
\begin{equation}
        \mu(Y) = \sum_{m>M} \mu(Y_m) = \sum_{m>M} \mu(T^{-m} \, Y_m).
        \label{tail-10}
\end{equation}
The first equality holds because the $Y_m$'s are the level sets of the
\fn\ $m$; the second equality is due to the invariance of $\mu$.

For $\x \in Y_m$ denote by $\y = \y(\x) \in \partial \wu(\x) \cap T^m
\si^{-}$ the point where the cut occurs.  By the exponential
contraction of $\wu(\x)$, the portion of $T^{-m} \wu(\x)$ between
$T^{-m} \x$ and $T^{-m} \y \in \si^{-}$ has length less than $\delta
\lambda^{-m}$ (in the increasing metric). So $d_\|(T^{-m} \x, \si^{-})
< \delta \lambda^{-m}$.

Let $\a \in \is$ so that $\x_0 \in \ps_\a$, and select any $U_0
\subseteq \ps_\a$.  Following the line of reasoning of Lemma
\ref{lemma-appr}, $T^{-m} Y_m \subset \cup_{\b \in \nh_m(\a)} \,
\ps_\b$. This and the above imply that
\begin{equation}
        T^{-m} \x \in \bigcup_{\b \in \nh_m(\a)}
        (\si_\beta^{-})_{(\delta \lambda^{-m})}, 
        \label{tail-20}
\end{equation}
whose measure, by Lemma \ref{lemma-sing} and (\ref{appr-20}), is $\le
C_1 C_4 \, m^2 \, \delta \lambda^{-m}$. Therefore, from
(\ref{tail-10}),
\begin{equation}
        \frac{\mu(Y)} \delta \le C_1 C_4 \sum_{m>M}  m^2 \,
        \lambda^{-m} \to 0,
\end{equation}
as $M \to +\infty$.
\qed

\begin{lemma}
        Fixed an $\a \in \is$ and denoted by $T_\a$ the first return
        map induced by $T$ on $\ps_\a$ (this is well defined a.e.\ by
        recurrence), $(\ps_\a, T_\a, \mu)$ is \erg.  
        \label{lemma-erg}
\end{lemma}

\proof We proceed in three steps:

\skippar
\noindent
\textsc{Step 1:} {\itshape The LSUMs relative to $T$ are also LSUMs
relative to $T_\a$.} Let us see to it. In Definition \ref{def-lsum},
part \emph{(c)} has nothing to do with $T$ or $T_\a$. Part \emph{(a)}
is obvious since $T_\a^k \y = T^{n_k} \y$, for some $n_k < 0$. For
part \emph{(b)} it is sufficient to prove that if $\y \in \wsu(\x)$
then the (future or past) return times to $\ps_a$ are the same for
$\y$ and $\x$. But this follows from \emph{(b)} itself as, by
definition, $d_\| (\ps_\a, \ps_\b) = \infty$ when $\a \ne \b$;
therefore the sequence of \sca s hit is the same for for $\y$ and
$\x$.

\skippar
\noindent
\textsc{Step 2:} {\itshape Any $\x_0$ that possesses a semi\o\
has a neighborhood $U$ contained in one \erg\ component.}
This is Hopf's idea. Take a measurable $f$, continuous (and thus
uniformly continuous) on $\ps_\a$, and consider its forward and
backward \erg\ averages w.r.t.\ $T_\a$:
\begin{equation}
        f^{\pm}(\x) := \lim_{n \to +\infty} \frac1n \sum_{k=0}^{n-1}
        (f \circ T_\a^{\pm k})(\x).
\end{equation}
By a standard application of Birkhoff's Theorem, the set 
\begin{equation}
        A := \rset{\x \in \ps} {f^{+}(\x), f^{-}(\x) \mbox{ exist and
        coincide} }
\end{equation}
has full \me. Let us use it in Theorem \ref{thm-loc-erg}. In the
resulting neighborhood $U$, a.e.\ two points $\x', \x''$ are connected
by a curvilinear polyline made up of LSUMs. Call $\y$ the intersection
point between $\ws(\x_1)$ and $\wu(\x_2)$. From Step 1 and the uniform
continuity of $f$, $f^{+}(\y) = f^{+}(\x_1)$ and $f^{-}(\y) =
f^{-}(\x_2)$. But $f^{+}(\y) = f^{-}(\y)$ because $\y \in
A$. Proceeding this way we conclude that $f^{+}(\x') = f^{+}(\x'')$;
that is, $f^{+}$ is a.e.\ constant in $U$.  This continues to hold for
every $f \in L^1(\ps)$, via Birkhoff's Theorem and customary density
arguments.

\skippar
\noindent
\textsc{Step 3:} {\itshape There is only one \erg\ component for
$(\ps_\a, T_\a, \mu)$.} The set of points that fail to have a semi\o\
is $\si_\infty^{+} \cap \si_\infty^{-}$. But, as explained in Section
\ref{sec-hyp}, $\si_\infty^{+}$ and $\si_\infty^{-}$ are countable
unions of smooth curves, respectively strictly increasing and strictly
decreasing.  Therefore there can be at most one point of intersection
for each pair of increasing--decreasing curves; that is, at most
countably many points. Hence $\ps_\a \setminus ( \si_\infty^{+} \cap
\si_\infty^{-} )$ is path-connected.  
\qed

Now it is simple to prove the main result of Section \ref{sec-erg}.

\skippar

\proofof{Theorem \ref{thm-erg}} We claim that the \erg\ decomposition
of $T$ is coarser than the partition $\{ \ps_\a \}_{\a \in \is}$. In
fact the existence of $A, B$, invariant subsets, such that $\mu(A \cap
\ps_\a), \mu(B \cap \ps_\a) > 0$, for some $\a \in \is$, contradicts
Lemma \ref{lemma-erg}.

Therefore, if there were more than one \erg\ component, there would
be two nearest neighbors $\Sc_\a$ and $\Sc_\b$ such that $\ps_\a$ and
$\ps_\b$ are contained in two different invariant sets. But this is
absurd since one can always find $A \subset \ps_\a$, $\mu(A) > 0$,
such that $T(A) \subset \ps_\b$.
\qed

\sect{Recurrence}
\label{sec-rec}

We have recalled in the introduction that a finite-horizon periodic
Lorentz gas is recurrent (as in Definition \ref{def-rec})
\cite{co,sch} and thus belongs to $\mathcal{X}$ (conditions
(\ref{cond-k})-(\ref{cond-tau}) being trivially satisfied).
Here we present other examples from the class $\mathcal{X}$. 

\begin{definition}
        The LG $\{ \Sc_\a \}_{\a \in \is}$ is called a \emph{finite
        modification} of the finite-horizon PLG $\{ \Sc_\a \}_{\a \in
        \is_P}$ if $\is = (\is_P \setminus \is_1 ) \cup \is_2$, where:
        \begin{itemize} 
                \item[(a)] $\is_1$ is a finite subset of $\is_P$;

                \item[(b)] $\is_2$ is the index set of a finite LG
                such that $d (\Sc_\a, \Sc_\b) > 0$ for any $\a \in
                \is_2$, $\b \in \is_P \setminus \is_1$.
        \end{itemize}
        \label{def-fin-mod}
\end{definition}

\begin{remark}
        Calling the above a `perturbation' does not seem
        appropriate, as the modification can be arbitrarily big,
        provided it is finite.
\end{remark}

An example of a finite modification of a PLG is illustrated in
Fig.~\ref{faplg3}. Since it is clear that Definition \ref{def-fin-mod}
implies (\ref{cond-k})-(\ref{cond-tau}), we focus on recurrence.

\begin{proposition}
        A finite modification of a PLG is recurrent.
        \label{prop-fin-mod}
\end{proposition}

\proof Let us introduce $\ij := \rset{\b \in \is} {\b \in \nh_1(\a),
  \mbox{ for some } \a \in \is_2}$. This is $\is_2$ plus the indices
of the nearest neighbors to the \sca s labeled by $\is_2$ (cf.\ 
Fig.~\ref{faplg3}). Also denote $\ps_\ij := \sqcup_{\a \in \ij}
\ps_\a$. We proceed in three steps:

\fig{faplg3} {4in} {A finite modification of a periodic Lorentz
gas. The inner dashed square encloses the \sca s associated to
$\is_2$; the outer square corresponds to $\ij$.}

\noindent
\textsc{Step 1:} {\itshape A.e.\ $\x \in \ps_\ij$ returns to
$\ps_\ij$.} First of all, for \emph{every} $\x \in \ps_{\is_2}$
(notation understood), $T\x \in \ps_\ij$. Then consider the set $\rset
{\x \in \ps_{\ij \setminus \is_2}} {T^n \x \not\in \ps_\ij, \, \forall
n>0}$. The forward \o\ of every point there lies the ``periodic part''
of the plane. One uses the recurrence of a PLG to conclude that this
set has \me\ zero.

\skippar
\noindent
\textsc{Step 2:} {\itshape Denoted by $T_\ij$ the return map to
$\ps_\ij$ (well defined a.e.\ by Step 1), $T_\ij$ is recurrent.}  This
is the Poincar\'e Theorem applied to $(\ps_\ij, T_\ij, \mu)$.

\skippar
\noindent
\textsc{Step 3:} {\itshape $T$ is recurrent.} It suffices to prove
that $\ps_\ij$ is a global cross-section (mod $\mu$) for $T: \ps
\longrightarrow \ps$. But a positive-\me\ subset of $\ps$ whose \o\
never intersects $\ps_\ij$ would contradict the \erg ity of a PLG.
\qed

If the \sy s above seem too close to those already known, we provide
further examples of LGs whose aperiodicity is not limited to a compact
region of $\R^2$.

\begin{proposition}
        There are LGs in the class $\mathcal{X}$ that are not finite
        modifications of PLGs.
        \label{prop-inf-mod}
\end{proposition}

\proof We present an algorithm to construct such gases
explicitly. Start with a PLG $\mathcal{L}_0 := \{ \Sc_\a \}_{\a \in
\is_0}$ and denote by $T_0$ the corresponding \bi\ map. Furthermore,
fix an index $\a \in \is_0$ and a point $O \in \Sc_\a$ which will be
our origin from now on.

For $\x \in \ps_\a$, denote by $n_1 = n_1(\x, T_0) \in \N \cup \{
+\infty \}$ the first return time of $\x$ to $\ps_\a$, w.r.t.\ $T_0$.
Indicated by $q(\x)$ the point in $\R^2$ corresponding to $\x$, we
define
\begin{equation}
        A_0(R) := \rset{\x \in \ps_\a} { \sup_{0<k<n_1} dist( q(T_0^k
        \x), O) \le R }, 
        \label{inf-mod-10}
\end{equation}
where $dist$ is the distance in $\R^2$. Since $T_0$ is recurrent,
$A_0(R) \nearrow \ps_a$ mod $\mu$, as $R \to +\infty$. Hence there is
an $R_0$ such that $\mu( \ps_\a \setminus A_0(R_0) ) \le \eps_0$. Here
$\{ \eps_k \}$ is a sequence of positive numbers such that $\eps_k
\searrow 0$, for $k \to +\infty$.

Now modify $\mathcal{L}_0$ in the annulus of radii $R_0$ and $R_0 +
\rho$ ($\rho$ is a sufficiently large fixed quantity). This means that
one can modify the shape, the position and the number of \sca s within
that annulus. Call the resulting LG $\mathcal{L}_1 := \{ \Sc_\a \}_{\a
\in \is_1}$, and the resulting map $T_1$. This is a finite
modification of a PLG. Furthermore, denoted by $T_{\a,k}$ the first
return map to $\ps_a$ relative to $T_k$, it is obvious that
$\left. \left( T_{\a,1} \right) \right|_{A_0(R_0)} = \left. \left(
T_{\a,0} \right) \right|_{A_0(R_0)}$.

It is clear that this process can be repeated recursively. Starting
with $\mathcal{L}_k$, a finite modification of a PLG, one defines
$A_k(R)$ as in (\ref{inf-mod-10}), with $T_k$ in the place of $T_0$.
By Proposition \ref{prop-fin-mod}, $A_k(R) \nearrow \ps_a$ mod $\mu$,
as $R \to +\infty$.  One then chooses $R_k > R_{k-1} + \rho$ such that
\begin{equation}
        \mu( \ps_\a \setminus A_k(R_k) ) \le \eps_k
        \label{inf-mod-20}
\end{equation}
and makes a modification in the annulus of radii $R_k$ and $R_k +
\rho$, to obtain $\mathcal{L}_{k+1}$ and $T_{k+1}$. We emphasize that
this modification can be made so that the curvature of the \sca s and
the free path among them stay bounded above and below, to comply with
(\ref{cond-k})-(\ref{cond-tau}).  Evidently, 
\begin{eqnarray}
        & A_k(R_k) = A_{k+1}(R_k) \subseteq A_{k+1}(R_{k+1}); & 
        \label{inf-mod-30} \\
        & \left. \left( T_{\a,k+1} \right) \right|_{A_k(R_k)}
        = \left. \left( T_{\a,k} \right) \right|_{A_k(R_k)}. &
        \label{inf-mod-40}
\end{eqnarray}
Since we never change the LG twice in the same region of the plane,
this modification process has a limit, which we call
$\bar{\mathcal{L}}$, with the corresponding maps, $\bar{T}$ for the LG
and $\bar{T}_\a$ for the returns to $\ps_a$.  In other words, from
(\ref{inf-mod-20})-(\ref{inf-mod-40}), $\bar{T}_\a: \ps_\a
\longrightarrow \ps_\a$ is well defined a.e.\ via $\left. \left(
\bar{T}_\a \right) \right|_{A_k(R_k)} = \left. \left( T_{\a,k} \right)
\right|_{A_k(R_k)}$.

By construction, \emph{all} points of $\cup_k A_k(R_k)$ come back to
$\ps_a$. So, as far as $\bar{T}$ is concerned, $\ps_a$ is contained in
$B$, the \emph{conservative} part of $\bar{\ps}$ (i.e., the complement
of its dissipative part \cite{a}). $B$ is obviously
$\bar{T}$-invariant.

We claim that the LSUMs of $\bar{T}$ that intersect $B$ are wholly
contained in $B$, mod $\mu$.  (The LSUMs exist a.e.\ and are
absolutely continuous by Section \ref{sec-hyp}---no recurrence was
used there.)  More precisely, this means that there is a set $B_0$,
$\mu( B \Delta B_0 ) = 0$, such that, called $B_1$ the union of all
the LSUMs based in $B_0$, we have $\mu( B \Delta B_1 ) = 0$.

In fact, take $\x \in B \cap \ps_\b$, $\b \in \bar{\is}$; passing
maybe to a full-\me\ subset $B_0$, we can assume that $\x$ returns to
$\ps_\b$ infinitely many times, both in the past and in the
future. Then any $\y \in \ws(\x)$, say, returns to $\ps_\b$ infinitely
many times in the future (Step 1 of Lemma \ref{lemma-erg}). Therefore,
save for a null-\me\ set of exceptions, $\y$ cannot be part of a
wandering set and thus belongs to $B$.

At this point, Theorem \ref{thm-loc-erg} proves that the decomposition
$\{ B, \bar{\ps} \setminus B \}$ is coarser than $\{ \ps_\a \}_{\a \in
\bar{\is}}$. That $B = \bar{\ps}$ mod $\mu$ follows from the
invariance of $B$ as in the proof of Theorem \ref{thm-erg}.  
\qed

\footnotesize

\begin{thebibliography}{BSC}
        \bibitem[A]{a} \book{J.~Aaronson} {An introduction to infinite
        ergodic theory} {Americal Mathematical Society, Providence,
        RI, 1997}

        \bibitem[B]{b} \article{P.~M.~Bleher} {Statistical properties
        of two-dimensional periodic Lorentz gas with infinite horizon}
        {J. Statist. Phys. \vol{66} (1992), no.~1-2, 315--373}

        \bibitem[BS]{bs} \article{L.~A.~Bunimovich and Ya.~G.~Sinai}
        {Statistical properties of Lorentz gas with periodic
        configuration of scatterers} {Comm. Math. Phys. \vol{78}
        (1980/81), no.~4, 479--497}

        \bibitem[BSC]{bsc} \article{L.~A.~Bunimovich, Ya.~G.~Sinai and
        N.~I.~Chernov} {Statistical properties of two-dimensional
        hyperbolic billiards} {Russian Math. Surveys \vol{46} (1991),
        no.~4, 47--106}

        \bibitem[Co]{co} \article{J.-P.~Conze} {Sur un crit\`ere de
        r\'ecurrence en dimension 2 pour les marches stationnaires,
        applications} {Ergodic Theory Dynam. Systems \vol{19} (1999),
        no.~5, 1233--1245}

        \bibitem[CFS]{cfs} \book{I.~P.~Cornfeld, S.~V.~Fomin and
        Ya.~G.~Sinai} {Ergodic theory} {Springer-Verlag, New York, 1982}

        \bibitem[KH]{kh} \book{A.~Katok and B.~Hasselblatt} {Modern
        theory of dynamical systems} {Cambridge University Press,
        Cambridge, 1995}

        \bibitem[KS]{ks} \book{A.~Katok and J.-M.~Strelcyn (in
        collaboration with F.~Ledrappier and F.~Przytycki)} {Invariant
        manifolds, entropy and billiards; smooth maps with
        singularities} {LNM 1222, Springer-Verlag, Berlin-New York,
        1986}

        \bibitem[L]{l1} \article{M.~Lenci} {Semi-dispersing billiards
        with an infinite cusp I} {to appear in Comm. Math. Phys.}

%       \bibitem[L2]{l2} \article{M.~Lenci} {Semi-dispersing billiards
%       with an infinite cusp II} {preprint}

        \bibitem[LW]{lw} \article{C.~Liverani and M.~Wojtkowski}
        {Ergodicity in Hamiltonian systems} {in: Dynamics Reported:
        Expositions in Dynamical Systems (N.S.), \vol{4},
        Springer-Verlag, Berlin, 1995}

        \bibitem[LM]{lm} \article{A.~Lopez and R.~Markarian} {Open
        billiards: invariant and conditionally invariant probabilities
        on Cantor sets} {SIAM J. Appl. Math. \vol{56} (1996), no.~2,
        651--680}

%       \bibitem[LMau]{lmau} \article{A.~Lopez and R.~D.~Mauldin}
%       {Generic properties of open billiards}
%       {J. Math. Anal. Appl. \vol{205} (1997), no.~1, 251--258}
        
        \bibitem[Lo]{lo} \article{H.~A.~Lorentz} {The motion of
        electrons in metallic bodies I, II, and III} {Koninklijke
        Akademie van Wetenschappen te Amsterdam, Section of
        Sciences, \vol{7} (1905), 438--453, 585--593, 684--691}

%       \bibitem[P]{p} \article{Ya.~B.~Pesin} {Lyapunov characteristics
%       exponents and smooth ergodic theory} {Russ. Math. Surveys
%       \vol{32} (1977), no.~4, 55--114}
%      
%       \bibitem[PS]{ps} \article{C.~Pugh and M.~Shub} {Ergodic
%       attractors} {Trans. Am. Math. Soc. \vol{312} (1989), no.~1,
%       1--54}

        \bibitem[Sch]{sch} \article{K.~Schmidt} {On joint recurrence}
        {Comptes Rendu Acad. Sci. Paris S\'er. I Math. \vol{327}
        (1998), no.~9, 837--842}

        \bibitem[Si]{si} \article{N.~Sim\'anyi} {Towards a proof of
        recurrence for the Lorentz process} {in: Dynamical Systems and
        Ergodic Theory, Banach Center Publications, Vol.\ 23, PWN,
        Polish Scientific Publishers, Warsaw, 1989}

        \bibitem[S]{s} \article{Ya.~G.~Sinai} {Dynamical systems with
        elastic reflections} {Russ. Math. Surveys \vol{25} (1970),
        no.~2, 137--189}

        \bibitem[SC]{sc} \article{Ya.~G.~Sinai and N.~I.~Chernov}
        {Ergodic properties of certain systems of two-dimensional
        discs and three-dimensional balls} {Russ. Math. Surveys
        \vol{42} (1987), no.~3, 181--207}

        \bibitem[St]{st} \article{L.~Stoyanov} {Spectrum of the Ruelle
        operator and exponential decay of correlations for open
        billiard flows} {Amer. J. Math. \vol{123} (2001), no.~4,
        715--759}

%       \bibitem[Sz}{sz} \book{D.~sz\'asz} {Hard ball systems and the
%       Lorentz gas} {EMS 101, Springer-Verlag, Berlin-New York,
%       2000}

        \bibitem[SzV]{sv} \article{D.~Sz\'asz and T.~Varj\'u} {Local
        limit theorems and recurrence for the planar Lorentz process}
        {to appear in Ergodic Theory Dynam. Systems}
        
        \bibitem[T]{t} \book{S.~Tabachnikov} {Billiards} {Soci\'et\'e
        math\'ematique de France, Paris, 1995}
\end{thebibliography}

\end{document}



---------------0206271432168
Content-Type: application/postscript; name="faplg1.eps"
Content-Transfer-Encoding: 7bit
Content-Disposition: inline; filename="faplg1.eps"

%!PS-Adobe-2.0 EPSF-2.0
%%Title: faplg1.eps
%%Creator: fig2dev Version 3.2.3 Patchlevel 
%%CreationDate: Fri Apr  5 19:49:20 2002
%%For: mlenci@goose-island.math.stevens-tech.edu (Marco Lenci)
%%BoundingBox: 0 0 508 283
%%Magnification: 1.0000
%%EndComments
/$F2psDict 200 dict def
$F2psDict begin
$F2psDict /mtrx matrix put
/col-1 {0 setgray} bind def
/col0 {0.000 0.000 0.000 srgb} bind def
/col1 {0.000 0.000 1.000 srgb} bind def
/col2 {0.000 1.000 0.000 srgb} bind def
/col3 {0.000 1.000 1.000 srgb} bind def
/col4 {1.000 0.000 0.000 srgb} bind def
/col5 {1.000 0.000 1.000 srgb} bind def
/col6 {1.000 1.000 0.000 srgb} bind def
/col7 {1.000 1.000 1.000 srgb} bind def
/col8 {0.000 0.000 0.560 srgb} bind def
/col9 {0.000 0.000 0.690 srgb} bind def
/col10 {0.000 0.000 0.820 srgb} bind def
/col11 {0.530 0.810 1.000 srgb} bind def
/col12 {0.000 0.560 0.000 srgb} bind def
/col13 {0.000 0.690 0.000 srgb} bind def
/col14 {0.000 0.820 0.000 srgb} bind def
/col15 {0.000 0.560 0.560 srgb} bind def
/col16 {0.000 0.690 0.690 srgb} bind def
/col17 {0.000 0.820 0.820 srgb} bind def
/col18 {0.560 0.000 0.000 srgb} bind def
/col19 {0.690 0.000 0.000 srgb} bind def
/col20 {0.820 0.000 0.000 srgb} bind def
/col21 {0.560 0.000 0.560 srgb} bind def
/col22 {0.690 0.000 0.690 srgb} bind def
/col23 {0.820 0.000 0.820 srgb} bind def
/col24 {0.500 0.190 0.000 srgb} bind def
/col25 {0.630 0.250 0.000 srgb} bind def
/col26 {0.750 0.380 0.000 srgb} bind def
/col27 {1.000 0.500 0.500 srgb} bind def
/col28 {1.000 0.630 0.630 srgb} bind def
/col29 {1.000 0.750 0.750 srgb} bind def
/col30 {1.000 0.880 0.880 srgb} bind def
/col31 {1.000 0.840 0.000 srgb} bind def

end
save
newpath 0 283 moveto 0 0 lineto 508 0 lineto 508 283 lineto closepath clip newpath
-69.0 394.0 translate
1 -1 scale

/cp {closepath} bind def
/ef {eofill} bind def
/gr {grestore} bind def
/gs {gsave} bind def
/sa {save} bind def
/rs {restore} bind def
/l {lineto} bind def
/m {moveto} bind def
/rm {rmoveto} bind def
/n {newpath} bind def
/s {stroke} bind def
/sh {show} bind def
/slc {setlinecap} bind def
/slj {setlinejoin} bind def
/slw {setlinewidth} bind def
/srgb {setrgbcolor} bind def
/rot {rotate} bind def
/sc {scale} bind def
/sd {setdash} bind def
/ff {findfont} bind def
/sf {setfont} bind def
/scf {scalefont} bind def
/sw {stringwidth} bind def
/tr {translate} bind def
/tnt {dup dup currentrgbcolor
  4 -2 roll dup 1 exch sub 3 -1 roll mul add
  4 -2 roll dup 1 exch sub 3 -1 roll mul add
  4 -2 roll dup 1 exch sub 3 -1 roll mul add srgb}
  bind def
/shd {dup dup currentrgbcolor 4 -2 roll mul 4 -2 roll mul
  4 -2 roll mul srgb} bind def
 /DrawEllipse {
	/endangle exch def
	/startangle exch def
	/yrad exch def
	/xrad exch def
	/y exch def
	/x exch def
	/savematrix mtrx currentmatrix def
	x y tr xrad yrad sc 0 0 1 startangle endangle arc
	closepath
	savematrix setmatrix
	} def

/$F2psBegin {$F2psDict begin /$F2psEnteredState save def} def
/$F2psEnd {$F2psEnteredState restore end} def

$F2psBegin
%%Page: 1 1
10 setmiterlimit
 0.06000 0.06000 sc
/Times-Italic ff 360.00 scf sf
3497 4271 m
gs 1 -1 sc (v) col0 sh gr
% Arc
7.500 slw
n 6988.6 3256.7 313.4 -64.4 -128.4 arcn
gs col0 s gr

30.000 slw
% Ellipse
n 1942 6514 21 21 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 7809 4489 21 21 0 360 DrawEllipse gs col0 s gr

/Times-Roman ff 180.00 scf sf
7476 4166 m
gs 1 -1 sc (1) col0 sh gr
/Times-Roman ff 180.00 scf sf
6966 2891 m
gs 1 -1 sc (1) col0 sh gr
/Times-Roman ff 180.00 scf sf
6741 3769 m
gs 1 -1 sc (1) col0 sh gr
/Symbol ff 360.00 scf sf
4790 3806 m
gs 1 -1 sc (t) col0 sh gr
% Arc
7.500 slw
n 2591.0 4674.1 289.1 35.3 -19.2 arcn
gs col0 s gr

% Polyline
15.000 slw
gs  clippath
4056 4243 m 4038 4185 l 3894 4230 l 4018 4224 l 3911 4287 l cp
eoclip
n 2450 4699 m
 4033 4219 l gs col0 s gr gr

% arrowhead
7.500 slw
n 3911 4287 m 4018 4224 l 3894 4230 l 3911 4287 l  cp gs 0.00 setgray ef gr  col0 s
% Polyline
15.000 slw
gs  clippath
6199 1858 m 6146 1887 l 6218 2019 l 6188 1900 l 6271 1991 l cp
eoclip
n 6967 3341 m
 6180 1886 l gs col0 s gr gr

% arrowhead
7.500 slw
n 6271 1991 m 6188 1900 l 6218 2019 l 6271 1991 l  cp gs 0.00 setgray ef gr  col0 s
% Polyline
 [60 30 15 30] 0 sd
gs  clippath
2349 4956 m 2365 4898 l 2218 4859 l 2327 4920 l 2203 4917 l cp
eoclip
n 1930 6311 m 1927 6309 l 1920 6305 l 1907 6297 l 1890 6287 l 1868 6273 l
 1843 6257 l 1817 6240 l 1790 6223 l 1765 6205 l 1741 6188 l
 1720 6171 l 1700 6155 l 1682 6140 l 1666 6124 l 1651 6108 l
 1637 6091 l 1624 6074 l 1613 6058 l 1603 6043 l 1592 6026 l
 1582 6009 l 1572 5990 l 1562 5971 l 1552 5950 l 1542 5929 l
 1532 5908 l 1522 5885 l 1513 5862 l 1504 5839 l 1495 5816 l
 1487 5793 l 1479 5769 l 1471 5747 l 1464 5724 l 1457 5702 l
 1451 5681 l 1445 5660 l 1439 5639 l 1434 5619 l 1429 5596 l
 1423 5574 l 1418 5551 l 1414 5528 l 1409 5505 l 1405 5482 l
 1401 5458 l 1397 5434 l 1394 5410 l 1391 5386 l 1389 5362 l
 1387 5338 l 1386 5316 l 1385 5294 l 1385 5272 l 1385 5252 l
 1386 5232 l 1388 5213 l 1389 5194 l 1392 5176 l 1395 5156 l
 1399 5137 l 1403 5117 l 1409 5097 l 1415 5078 l 1422 5058 l
 1430 5038 l 1438 5019 l 1448 5000 l 1457 4982 l 1468 4965 l
 1478 4949 l 1489 4933 l 1501 4919 l 1512 4906 l 1524 4894 l
 1536 4883 l 1548 4874 l 1560 4864 l 1573 4856 l 1587 4848 l
 1601 4841 l 1617 4834 l 1633 4828 l 1650 4823 l 1668 4818 l
 1687 4814 l 1706 4811 l 1726 4809 l 1745 4808 l 1765 4807 l
 1785 4807 l 1806 4807 l 1826 4808 l 1846 4810 l 1867 4812 l
 1884 4815 l 1902 4817 l 1920 4820 l 1940 4824 l 1961 4828 l
 1984 4833 l 2008 4838 l 2035 4845 l 2064 4851 l 2094 4859 l
 2127 4867 l 2160 4876 l 2194 4884 l 2226 4893 l 2257 4901 l
 2284 4908 l 2306 4914 l
 2343 4924 l gs col0 s gr gr
 [] 0 sd
% arrowhead
n 2203 4917 m 2327 4920 l 2218 4859 l 2203 4917 l  cp gs 0.00 setgray ef gr  col0 s
% Polyline
 [60 30 15 30] 0 sd
gs  clippath
7183 3437 m 7128 3413 l 7069 3552 l 7144 3454 l 7124 3576 l cp
eoclip
n 7802 4294 m 7798 4293 l 7791 4292 l 7778 4290 l 7758 4287 l 7733 4283 l
 7703 4278 l 7670 4272 l 7636 4266 l 7603 4260 l 7570 4253 l
 7539 4246 l 7511 4240 l 7485 4233 l 7461 4226 l 7440 4219 l
 7419 4212 l 7401 4204 l 7383 4195 l 7366 4187 l 7348 4176 l
 7330 4164 l 7312 4152 l 7295 4138 l 7278 4123 l 7261 4108 l
 7245 4091 l 7229 4074 l 7214 4056 l 7199 4037 l 7185 4019 l
 7173 4000 l 7161 3982 l 7151 3963 l 7141 3945 l 7133 3928 l
 7125 3911 l 7119 3894 l 7112 3875 l 7106 3856 l 7101 3837 l
 7097 3817 l 7093 3797 l 7090 3777 l 7088 3756 l 7086 3736 l
 7085 3717 l 7085 3698 l 7085 3680 l 7086 3662 l 7087 3646 l
 7088 3631 l 7090 3617 l 7092 3604 l 7095 3587 l 7099 3571 l
 7103 3555 l 7109 3539 l 7115 3522 l 7122 3503 l 7130 3484 l
 7138 3467 l
 7150 3439 l gs col0 s gr gr
 [] 0 sd
% arrowhead
n 7124 3576 m 7144 3454 l 7069 3552 l 7124 3576 l  cp gs 0.00 setgray ef gr  col0 s
/Times-Italic ff 360.00 scf sf
1502 5434 m
gs 1 -1 sc (r) col0 sh gr
/Times-Italic ff 360.00 scf sf
7403 4099 m
gs 1 -1 sc (r) col0 sh gr
/Times-Italic ff 360.00 scf sf
2304 4557 m
gs 1 -1 sc (q) col0 sh gr
/Times-Italic ff 360.00 scf sf
6593 3627 m
gs 1 -1 sc (q) col0 sh gr
/Times-Italic ff 360.00 scf sf
6068 2351 m
gs 1 -1 sc (v) col0 sh gr
/Symbol ff 360.00 scf sf
3006 4773 m
gs 1 -1 sc (j) col0 sh gr
/Symbol ff 360.00 scf sf
6801 2771 m
gs 1 -1 sc (j) col0 sh gr
/Times-Roman ff 180.00 scf sf
6186 2426 m
gs 1 -1 sc (1) col0 sh gr
% Polyline
n 2475 4695 m
 6960 3345 l gs col0 s gr 
% Polyline
n 2467 4691 m
 3600 5119 l gs col0 s gr 
% Polyline
n 6956 3356 m
 7436 2291 l gs col0 s gr 
% Polyline
15.000 slw
n 1175 5188 m 1175 5219 l 1176 5252 l 1178 5285 l 1180 5320 l 1183 5355 l
 1186 5391 l 1190 5428 l 1195 5466 l 1201 5505 l 1207 5544 l
 1214 5584 l 1222 5624 l 1230 5665 l 1240 5706 l 1250 5747 l
 1261 5788 l 1272 5829 l 1284 5870 l 1297 5909 l 1311 5948 l
 1325 5987 l 1339 6024 l 1355 6060 l 1370 6095 l 1386 6128 l
 1403 6160 l 1420 6191 l 1437 6220 l 1455 6248 l 1473 6274 l
 1492 6298 l 1511 6321 l 1530 6343 l 1550 6363 l 1572 6382 l
 1594 6400 l 1618 6417 l 1642 6432 l 1667 6446 l 1693 6458 l
 1720 6469 l 1748 6479 l 1776 6487 l 1806 6494 l 1836 6499 l
 1867 6504 l 1899 6506 l 1931 6508 l 1963 6508 l 1996 6507 l
 2029 6505 l 2062 6501 l 2095 6497 l 2128 6491 l 2161 6484 l
 2193 6476 l 2225 6468 l 2257 6459 l 2288 6449 l 2318 6438 l
 2347 6427 l 2377 6415 l 2405 6402 l 2433 6390 l 2460 6376 l
 2488 6363 l 2516 6347 l 2544 6332 l 2572 6315 l 2600 6298 l
 2628 6280 l 2656 6262 l 2684 6242 l 2712 6222 l 2740 6201 l
 2767 6180 l 2795 6157 l 2822 6135 l 2849 6111 l 2875 6087 l
 2901 6063 l 2926 6038 l 2950 6013 l 2974 5988 l 2997 5963 l
 3019 5938 l 3040 5914 l 3060 5889 l 3079 5864 l 3098 5840 l
 3115 5816 l 3131 5793 l 3146 5769 l 3161 5746 l 3175 5723 l
 3188 5700 l 3199 5678 l 3210 5657 l 3220 5635 l 3230 5613 l
 3239 5591 l 3247 5568 l 3255 5545 l 3261 5522 l 3267 5499 l
 3272 5475 l 3275 5451 l 3278 5427 l 3279 5402 l 3279 5378 l
 3278 5353 l 3275 5328 l 3271 5304 l 3266 5280 l 3259 5255 l
 3250 5231 l 3241 5208 l 3229 5185 l 3217 5162 l 3203 5139 l
 3187 5117 l 3170 5096 l 3152 5075 l 3132 5054 l 3111 5034 l
 3088 5014 l 3063 4994 l 3038 4975 l 3013 4958 l 2987 4941 l
 2959 4924 l 2931 4907 l 2900 4890 l 2868 4873 l 2835 4856 l
 2800 4839 l 2764 4822 l 2726 4806 l 2687 4789 l 2647 4773 l
 2606 4757 l 2564 4741 l 2521 4726 l 2478 4711 l 2434 4697 l
 2390 4683 l 2345 4670 l 2301 4657 l 2256 4645 l 2212 4634 l
 2169 4623 l 2126 4613 l 2083 4604 l 2042 4596 l 2001 4589 l
 1962 4583 l 1923 4577 l 1886 4572 l 1850 4569 l 1815 4566 l
 1781 4564 l 1749 4562 l 1718 4562 l 1688 4563 l 1657 4564 l
 1627 4567 l 1598 4570 l 1571 4575 l 1544 4580 l 1518 4587 l
 1493 4595 l 1469 4604 l 1445 4614 l 1423 4626 l 1401 4639 l
 1380 4653 l 1360 4668 l 1342 4684 l 1324 4701 l 1307 4720 l
 1291 4739 l 1277 4760 l 1263 4782 l 1250 4804 l 1239 4828 l
 1228 4852 l 1219 4877 l 1211 4902 l 1203 4928 l 1197 4955 l
 1191 4982 l 1187 5010 l 1183 5038 l 1180 5067 l 1178 5096 l
 1176 5126 l 1175 5157 l
 cp gs col0 s gr 
% Polyline
n 6950 3375 m 6938 3402 l 6926 3430 l 6915 3459 l 6905 3488 l 6896 3518 l
 6888 3549 l 6881 3580 l 6875 3612 l 6870 3644 l 6866 3677 l
 6863 3711 l 6862 3744 l 6862 3778 l 6863 3813 l 6866 3847 l
 6870 3881 l 6876 3915 l 6884 3949 l 6893 3983 l 6904 4016 l
 6917 4049 l 6931 4081 l 6947 4112 l 6965 4142 l 6984 4171 l
 7005 4199 l 7028 4226 l 7052 4252 l 7078 4277 l 7106 4300 l
 7135 4322 l 7166 4342 l 7199 4362 l 7233 4380 l 7269 4396 l
 7306 4411 l 7346 4425 l 7388 4438 l 7423 4447 l 7461 4455 l
 7499 4463 l 7540 4469 l 7581 4475 l 7624 4480 l 7669 4484 l
 7715 4487 l 7762 4489 l 7810 4491 l 7860 4491 l 7911 4491 l
 7963 4489 l 8016 4487 l 8070 4484 l 8124 4480 l 8180 4476 l
 8235 4470 l 8292 4463 l 8348 4456 l 8404 4448 l 8461 4439 l
 8517 4429 l 8573 4418 l 8628 4407 l 8683 4395 l 8737 4382 l
 8790 4369 l 8842 4355 l 8893 4340 l 8942 4325 l 8990 4310 l
 9037 4294 l 9081 4277 l 9125 4260 l 9166 4243 l 9206 4225 l
 9243 4207 l 9279 4188 l 9313 4169 l 9345 4150 l 9375 4131 l
 9403 4111 l 9429 4091 l 9453 4071 l 9475 4050 l 9498 4026 l
 9518 4001 l 9536 3975 l 9551 3949 l 9564 3923 l 9574 3895 l
 9582 3867 l 9588 3839 l 9592 3809 l 9593 3780 l 9593 3749 l
 9590 3718 l 9585 3687 l 9578 3655 l 9569 3623 l 9558 3591 l
 9545 3558 l 9530 3526 l 9514 3493 l 9496 3460 l 9477 3428 l
 9456 3396 l 9434 3364 l 9411 3332 l 9387 3301 l 9362 3271 l
 9336 3241 l 9309 3212 l 9282 3183 l 9255 3155 l 9227 3129 l
 9199 3103 l 9171 3077 l 9143 3053 l 9114 3030 l 9086 3007 l
 9058 2985 l 9030 2964 l 9003 2944 l 8975 2925 l 8941 2902 l
 8907 2880 l 8872 2859 l 8838 2839 l 8803 2820 l 8769 2802 l
 8734 2785 l 8698 2768 l 8662 2753 l 8626 2739 l 8590 2726 l
 8553 2713 l 8516 2702 l 8479 2692 l 8442 2683 l 8405 2675 l
 8368 2668 l 8332 2663 l 8295 2658 l 8259 2655 l 8224 2653 l
 8188 2651 l 8154 2651 l 8120 2652 l 8086 2653 l 8053 2656 l
 8020 2659 l 7988 2663 l 7956 2668 l 7925 2674 l 7894 2680 l
 7863 2688 l 7831 2695 l 7800 2704 l 7768 2714 l 7736 2724 l
 7704 2735 l 7672 2747 l 7639 2761 l 7606 2775 l 7572 2790 l
 7538 2807 l 7505 2824 l 7471 2843 l 7437 2862 l 7404 2883 l
 7371 2905 l 7338 2927 l 7306 2951 l 7275 2975 l 7245 3000 l
 7215 3026 l 7187 3052 l 7159 3079 l 7133 3107 l 7107 3135 l
 7083 3163 l 7061 3192 l 7039 3221 l 7019 3251 l 7000 3281 l
 6982 3312 l 6966 3343 l
 cp gs col0 s gr 
$F2psEnd
rs

---------------0206271432168
Content-Type: application/postscript; name="faplg2.eps"
Content-Transfer-Encoding: 7bit
Content-Disposition: inline; filename="faplg2.eps"

%!PS-Adobe-2.0 EPSF-2.0
%%Title: faplg2.eps
%%Creator: fig2dev Version 3.2.3 Patchlevel 
%%CreationDate: Sat Jun  8 18:16:13 2002
%%For: mlenci@goose-island.math.stevens-tech.edu (Marco Lenci)
%%BoundingBox: 0 0 596 250
%%Magnification: 1.0000
%%EndComments
/$F2psDict 200 dict def
$F2psDict begin
$F2psDict /mtrx matrix put
/col-1 {0 setgray} bind def
/col0 {0.000 0.000 0.000 srgb} bind def
/col1 {0.000 0.000 1.000 srgb} bind def
/col2 {0.000 1.000 0.000 srgb} bind def
/col3 {0.000 1.000 1.000 srgb} bind def
/col4 {1.000 0.000 0.000 srgb} bind def
/col5 {1.000 0.000 1.000 srgb} bind def
/col6 {1.000 1.000 0.000 srgb} bind def
/col7 {1.000 1.000 1.000 srgb} bind def
/col8 {0.000 0.000 0.560 srgb} bind def
/col9 {0.000 0.000 0.690 srgb} bind def
/col10 {0.000 0.000 0.820 srgb} bind def
/col11 {0.530 0.810 1.000 srgb} bind def
/col12 {0.000 0.560 0.000 srgb} bind def
/col13 {0.000 0.690 0.000 srgb} bind def
/col14 {0.000 0.820 0.000 srgb} bind def
/col15 {0.000 0.560 0.560 srgb} bind def
/col16 {0.000 0.690 0.690 srgb} bind def
/col17 {0.000 0.820 0.820 srgb} bind def
/col18 {0.560 0.000 0.000 srgb} bind def
/col19 {0.690 0.000 0.000 srgb} bind def
/col20 {0.820 0.000 0.000 srgb} bind def
/col21 {0.560 0.000 0.560 srgb} bind def
/col22 {0.690 0.000 0.690 srgb} bind def
/col23 {0.820 0.000 0.820 srgb} bind def
/col24 {0.500 0.190 0.000 srgb} bind def
/col25 {0.630 0.250 0.000 srgb} bind def
/col26 {0.750 0.380 0.000 srgb} bind def
/col27 {1.000 0.500 0.500 srgb} bind def
/col28 {1.000 0.630 0.630 srgb} bind def
/col29 {1.000 0.750 0.750 srgb} bind def
/col30 {1.000 0.880 0.880 srgb} bind def
/col31 {1.000 0.840 0.000 srgb} bind def

end
save
newpath 0 250 moveto 0 0 lineto 596 0 lineto 596 250 lineto closepath clip newpath
1.0 392.0 translate
1 -1 scale

/cp {closepath} bind def
/ef {eofill} bind def
/gr {grestore} bind def
/gs {gsave} bind def
/sa {save} bind def
/rs {restore} bind def
/l {lineto} bind def
/m {moveto} bind def
/rm {rmoveto} bind def
/n {newpath} bind def
/s {stroke} bind def
/sh {show} bind def
/slc {setlinecap} bind def
/slj {setlinejoin} bind def
/slw {setlinewidth} bind def
/srgb {setrgbcolor} bind def
/rot {rotate} bind def
/sc {scale} bind def
/sd {setdash} bind def
/ff {findfont} bind def
/sf {setfont} bind def
/scf {scalefont} bind def
/sw {stringwidth} bind def
/tr {translate} bind def
/tnt {dup dup currentrgbcolor
  4 -2 roll dup 1 exch sub 3 -1 roll mul add
  4 -2 roll dup 1 exch sub 3 -1 roll mul add
  4 -2 roll dup 1 exch sub 3 -1 roll mul add srgb}
  bind def
/shd {dup dup currentrgbcolor 4 -2 roll mul 4 -2 roll mul
  4 -2 roll mul srgb} bind def
/reencdict 12 dict def /ReEncode { reencdict begin
/newcodesandnames exch def /newfontname exch def /basefontname exch def
/basefontdict basefontname findfont def /newfont basefontdict maxlength dict def
basefontdict { exch dup /FID ne { dup /Encoding eq
{ exch dup length array copy newfont 3 1 roll put }
{ exch newfont 3 1 roll put } ifelse } { pop pop } ifelse } forall
newfont /FontName newfontname put newcodesandnames aload pop
128 1 255 { newfont /Encoding get exch /.notdef put } for
newcodesandnames length 2 idiv { newfont /Encoding get 3 1 roll put } repeat
newfontname newfont definefont pop end } def
/isovec [
8#055 /minus 8#200 /grave 8#201 /acute 8#202 /circumflex 8#203 /tilde
8#204 /macron 8#205 /breve 8#206 /dotaccent 8#207 /dieresis
8#210 /ring 8#211 /cedilla 8#212 /hungarumlaut 8#213 /ogonek 8#214 /caron
8#220 /dotlessi 8#230 /oe 8#231 /OE
8#240 /space 8#241 /exclamdown 8#242 /cent 8#243 /sterling
8#244 /currency 8#245 /yen 8#246 /brokenbar 8#247 /section 8#250 /dieresis
8#251 /copyright 8#252 /ordfeminine 8#253 /guillemotleft 8#254 /logicalnot
8#255 /hypen 8#256 /registered 8#257 /macron 8#260 /degree 8#261 /plusminus
8#262 /twosuperior 8#263 /threesuperior 8#264 /acute 8#265 /mu 8#266 /paragraph
8#267 /periodcentered 8#270 /cedilla 8#271 /onesuperior 8#272 /ordmasculine
8#273 /guillemotright 8#274 /onequarter 8#275 /onehalf
8#276 /threequarters 8#277 /questiondown 8#300 /Agrave 8#301 /Aacute
8#302 /Acircumflex 8#303 /Atilde 8#304 /Adieresis 8#305 /Aring
8#306 /AE 8#307 /Ccedilla 8#310 /Egrave 8#311 /Eacute
8#312 /Ecircumflex 8#313 /Edieresis 8#314 /Igrave 8#315 /Iacute
8#316 /Icircumflex 8#317 /Idieresis 8#320 /Eth 8#321 /Ntilde 8#322 /Ograve
8#323 /Oacute 8#324 /Ocircumflex 8#325 /Otilde 8#326 /Odieresis 8#327 /multiply
8#330 /Oslash 8#331 /Ugrave 8#332 /Uacute 8#333 /Ucircumflex
8#334 /Udieresis 8#335 /Yacute 8#336 /Thorn 8#337 /germandbls 8#340 /agrave
8#341 /aacute 8#342 /acircumflex 8#343 /atilde 8#344 /adieresis 8#345 /aring
8#346 /ae 8#347 /ccedilla 8#350 /egrave 8#351 /eacute
8#352 /ecircumflex 8#353 /edieresis 8#354 /igrave 8#355 /iacute
8#356 /icircumflex 8#357 /idieresis 8#360 /eth 8#361 /ntilde 8#362 /ograve
8#363 /oacute 8#364 /ocircumflex 8#365 /otilde 8#366 /odieresis 8#367 /divide
8#370 /oslash 8#371 /ugrave 8#372 /uacute 8#373 /ucircumflex
8#374 /udieresis 8#375 /yacute 8#376 /thorn 8#377 /ydieresis] def
/Times-Roman /Times-Roman-iso isovec ReEncode
/Times-Italic /Times-Italic-iso isovec ReEncode
 /DrawEllipse {
	/endangle exch def
	/startangle exch def
	/yrad exch def
	/xrad exch def
	/y exch def
	/x exch def
	/savematrix mtrx currentmatrix def
	x y tr xrad yrad sc 0 0 1 startangle endangle arc
	closepath
	savematrix setmatrix
	} def

/$F2psBegin {$F2psDict begin /$F2psEnteredState save def} def
/$F2psEnd {$F2psEnteredState restore end} def

$F2psBegin
%%Page: 1 1
10 setmiterlimit
 0.06000 0.06000 sc
% Polyline
7.500 slw
 [90] 0 sd
n 2400 3882 m 2403 3882 l 2408 3882 l 2419 3882 l 2435 3882 l 2457 3882 l
 2485 3882 l 2519 3882 l 2558 3881 l 2600 3881 l 2646 3881 l
 2693 3881 l 2741 3880 l 2788 3880 l 2834 3879 l 2879 3879 l
 2921 3878 l 2962 3878 l 3000 3877 l 3036 3877 l 3070 3876 l
 3103 3875 l 3134 3875 l 3164 3874 l 3192 3873 l 3220 3872 l
 3248 3871 l 3275 3870 l 3304 3868 l 3333 3867 l 3362 3865 l
 3391 3863 l 3421 3861 l 3451 3859 l 3480 3857 l 3511 3855 l
 3541 3852 l 3571 3850 l 3601 3847 l 3631 3844 l 3660 3841 l
 3689 3838 l 3717 3834 l 3745 3831 l 3772 3828 l 3797 3824 l
 3822 3820 l 3846 3817 l 3869 3813 l 3890 3809 l 3911 3805 l
 3931 3802 l 3950 3798 l 3968 3794 l 3990 3788 l 4012 3783 l
 4033 3777 l 4053 3770 l 4073 3764 l 4092 3756 l 4110 3749 l
 4128 3740 l 4145 3732 l 4160 3723 l 4175 3713 l 4189 3703 l
 4201 3693 l 4213 3683 l 4223 3672 l 4232 3662 l 4240 3651 l
 4247 3639 l 4253 3628 l 4259 3616 l 4263 3605 l 4267 3593 l
 4270 3581 l 4273 3569 l 4275 3555 l 4276 3541 l 4275 3527 l
 4274 3512 l 4272 3497 l 4269 3481 l 4264 3465 l 4258 3450 l
 4251 3434 l 4243 3418 l 4233 3403 l 4222 3388 l 4210 3373 l
 4197 3359 l 4182 3345 l 4166 3332 l 4149 3319 l 4130 3306 l
 4115 3297 l 4098 3287 l 4080 3277 l 4061 3268 l 4040 3259 l
 4019 3249 l 3996 3240 l 3971 3231 l 3946 3222 l 3919 3212 l
 3892 3203 l 3863 3194 l 3834 3186 l 3803 3177 l 3772 3169 l
 3741 3161 l 3709 3153 l 3677 3145 l 3645 3138 l 3613 3131 l
 3581 3125 l 3549 3118 l 3517 3113 l 3486 3107 l 3455 3102 l
 3424 3097 l 3393 3092 l 3363 3088 l 3334 3084 l 3305 3080 l
 3276 3076 l 3246 3073 l 3216 3069 l 3184 3066 l 3151 3063 l
 3116 3060 l 3080 3057 l 3042 3054 l 3002 3051 l 2961 3048 l
 2917 3045 l 2871 3042 l 2824 3039 l 2776 3036 l 2727 3033 l
 2679 3030 l 2633 3027 l 2588 3025 l 2547 3023 l 2511 3021 l
 2479 3019 l 2453 3018 l 2433 3017 l 2419 3016 l 2409 3015 l
 2404 3015 l
 2402 3015 l gs col0 s gr  [] 0 sd
% Polyline
n 4350 3000 m 450 3000 l 450 3900 l 4350 3900 l
 cp gs col0 s gr 
% Polyline
 [90] 0 sd
n 2396 3882 m 2393 3882 l 2388 3882 l 2377 3882 l 2361 3882 l 2339 3882 l
 2311 3882 l 2277 3882 l 2238 3881 l 2196 3881 l 2150 3881 l
 2103 3881 l 2055 3880 l 2008 3880 l 1962 3879 l 1917 3879 l
 1875 3878 l 1834 3878 l 1796 3877 l 1760 3877 l 1726 3876 l
 1693 3875 l 1662 3875 l 1632 3874 l 1604 3873 l 1576 3872 l
 1548 3871 l 1521 3870 l 1492 3868 l 1463 3867 l 1434 3865 l
 1405 3863 l 1375 3861 l 1345 3859 l 1316 3857 l 1285 3855 l
 1255 3852 l 1225 3850 l 1195 3847 l 1165 3844 l 1136 3841 l
 1107 3838 l 1079 3834 l 1051 3831 l 1024 3828 l 999 3824 l
 974 3820 l 950 3817 l 927 3813 l 906 3809 l 885 3805 l
 865 3802 l 846 3798 l 828 3794 l 806 3788 l 784 3783 l
 763 3777 l 743 3770 l 723 3764 l 704 3756 l 686 3749 l
 668 3740 l 651 3732 l 636 3723 l 621 3713 l 607 3703 l
 595 3693 l 583 3683 l 573 3672 l 564 3662 l 556 3651 l
 549 3639 l 543 3628 l 537 3616 l 533 3605 l 529 3593 l
 526 3581 l 523 3569 l 521 3555 l 520 3541 l 521 3527 l
 522 3512 l 524 3497 l 527 3481 l 532 3465 l 538 3450 l
 545 3434 l 553 3418 l 563 3403 l 574 3388 l 586 3373 l
 599 3359 l 614 3345 l 630 3332 l 647 3319 l 666 3306 l
 681 3297 l 698 3287 l 716 3277 l 735 3268 l 756 3259 l
 777 3249 l 800 3240 l 825 3231 l 850 3222 l 877 3212 l
 904 3203 l 933 3194 l 962 3186 l 993 3177 l 1024 3169 l
 1055 3161 l 1087 3153 l 1119 3145 l 1151 3138 l 1183 3131 l
 1215 3125 l 1247 3118 l 1279 3113 l 1310 3107 l 1341 3102 l
 1372 3097 l 1403 3092 l 1433 3088 l 1462 3084 l 1491 3080 l
 1520 3076 l 1550 3073 l 1580 3069 l 1612 3066 l 1645 3063 l
 1680 3060 l 1716 3057 l 1754 3054 l 1794 3051 l 1835 3048 l
 1879 3045 l 1925 3042 l 1972 3039 l 2020 3036 l 2069 3033 l
 2117 3030 l 2163 3027 l 2208 3025 l 2249 3023 l 2285 3021 l
 2317 3019 l 2343 3018 l 2363 3017 l 2377 3016 l 2387 3015 l
 2392 3015 l
 2394 3015 l gs col0 s gr  [] 0 sd
/Times-Italic-iso ff 450.00 scf sf
5550 5475 m
gs 1 -1 sc (A) col0 sh gr
/Times-Roman-iso ff 270.00 scf sf
5835 5235 m
gs 1 -1 sc (\(1\)) col0 sh gr
/Symbol ff 330.00 scf sf
5865 5550 m
gs 1 -1 sc (e) col0 sh gr
15.000 slw
% Ellipse
n 2400 3450 41 41 0 360 DrawEllipse gs col0 s gr

% Polyline
n 2400 6000 m
 2400 2400 l gs col0 s gr 
% Polyline
7.500 slw
 [15 45] 45 sd
n 2400 4800 m
 9600 4800 l gs col0 s gr  [] 0 sd
% Polyline
15.000 slw
 [90] 0 sd
n 9600 4800 m
 9600 6000 l gs col0 s gr  [] 0 sd
% Polyline
7.500 slw
gs  clippath
9915 6030 m 9915 5970 l 9763 5970 l 9883 6000 l 9763 6030 l cp
eoclip
n 0 6000 m
 9900 6000 l gs col0 s gr gr

% arrowhead
n 9763 6030 m 9883 6000 l 9763 5970 l  col0 s
% Polyline
15.000 slw
n 9600 4800 m 9598 4800 l 9594 4800 l 9587 4799 l 9575 4799 l 9559 4798 l
 9537 4797 l 9509 4795 l 9475 4793 l 9436 4791 l 9391 4789 l
 9342 4786 l 9287 4783 l 9230 4780 l 9169 4776 l 9106 4773 l
 9042 4769 l 8977 4765 l 8913 4761 l 8848 4757 l 8785 4752 l
 8723 4748 l 8663 4744 l 8604 4740 l 8547 4735 l 8493 4731 l
 8440 4727 l 8389 4722 l 8340 4718 l 8292 4714 l 8246 4709 l
 8202 4705 l 8159 4700 l 8116 4695 l 8075 4690 l 8034 4685 l
 7994 4680 l 7954 4674 l 7915 4668 l 7875 4663 l 7837 4657 l
 7800 4651 l 7762 4644 l 7723 4638 l 7685 4631 l 7646 4624 l
 7607 4617 l 7567 4609 l 7527 4601 l 7486 4593 l 7445 4584 l
 7403 4575 l 7361 4566 l 7318 4556 l 7275 4546 l 7232 4536 l
 7189 4525 l 7145 4514 l 7101 4503 l 7057 4491 l 7012 4479 l
 6968 4467 l 6924 4455 l 6880 4442 l 6836 4429 l 6793 4416 l
 6750 4403 l 6707 4389 l 6664 4376 l 6622 4362 l 6580 4348 l
 6539 4334 l 6498 4320 l 6458 4306 l 6418 4292 l 6379 4277 l
 6340 4263 l 6302 4248 l 6263 4233 l 6225 4218 l 6188 4203 l
 6150 4188 l 6110 4171 l 6071 4154 l 6031 4137 l 5991 4119 l
 5951 4101 l 5910 4083 l 5869 4064 l 5828 4044 l 5786 4025 l
 5744 4004 l 5702 3983 l 5659 3962 l 5617 3940 l 5574 3918 l
 5531 3895 l 5488 3872 l 5445 3849 l 5403 3825 l 5361 3801 l
 5319 3777 l 5277 3753 l 5236 3729 l 5196 3704 l 5156 3680 l
 5117 3655 l 5079 3631 l 5042 3607 l 5006 3583 l 4971 3559 l
 4936 3536 l 4903 3512 l 4871 3489 l 4840 3466 l 4810 3444 l
 4781 3421 l 4753 3399 l 4726 3377 l 4700 3356 l 4674 3334 l
 4650 3313 l 4621 3286 l 4592 3259 l 4565 3232 l 4539 3204 l
 4513 3177 l 4488 3148 l 4464 3119 l 4440 3088 l 4417 3057 l
 4393 3024 l 4370 2989 l 4347 2953 l 4323 2915 l 4300 2876 l
 4276 2836 l 4252 2794 l 4229 2752 l 4206 2709 l 4183 2667 l
 4162 2626 l 4141 2586 l 4123 2549 l 4106 2516 l 4091 2486 l
 4079 2461 l 4069 2440 l 4061 2424 l 4056 2413 l 4053 2406 l
 4051 2402 l
 4050 2400 l gs col0 s gr 
/Symbol ff 390.00 scf sf
4650 3000 m
gs 1 -1 sc (\(j+e, e/) col0 sh gr
/Times-Roman-iso ff 390.00 scf sf
5850 3000 m
gs 1 -1 sc (sin) col0 sh gr
/Symbol ff 390.00 scf sf
6300 3000 m
gs 1 -1 sc (\(j-e\)\)) col0 sh gr
/Times-Roman-iso ff 390.00 scf sf
2325 6450 m
gs 1 -1 sc (0) col0 sh gr
/Times-Italic-iso ff 390.00 scf sf
9075 6450 m
gs 1 -1 sc (L) col0 sh gr
/Symbol ff 270.00 scf sf
9300 6525 m
gs 1 -1 sc (a) col0 sh gr
/Times-Roman-iso ff 390.00 scf sf
9525 6450 m
gs 1 -1 sc (/2) col0 sh gr
/Symbol ff 390.00 scf sf
2025 3600 m
gs 1 -1 sc (j) col0 sh gr
/Symbol ff 390.00 scf sf
2025 4800 m
gs 1 -1 sc (j) col0 sh gr
/Symbol ff 270.00 scf sf
2205 4950 m
gs 1 -1 sc (e) col0 sh gr
/Times-Italic-iso ff 450.00 scf sf
4573 4530 m
gs 1 -1 sc (A) col0 sh gr
/Times-Italic-iso ff 450.00 scf sf
7125 4350 m
gs 1 -1 sc (h) col0 sh gr
/Times-Roman-iso ff 270.00 scf sf
4858 4290 m
gs 1 -1 sc (\(2\)) col0 sh gr
/Symbol ff 330.00 scf sf
4888 4605 m
gs 1 -1 sc (e) col0 sh gr
$F2psEnd
rs

---------------0206271432168
Content-Type: application/postscript; name="faplg3.eps"
Content-Transfer-Encoding: 7bit
Content-Disposition: inline; filename="faplg3.eps"

%!PS-Adobe-2.0 EPSF-2.0
%%Title: faplg3.eps
%%Creator: fig2dev Version 3.2.3 Patchlevel 
%%CreationDate: Fri Jun  7 16:57:15 2002
%%For: mlenci@goose-island.math.stevens-tech.edu (Marco Lenci)
%%BoundingBox: 0 0 462 470
%%Magnification: 1.0000
%%EndComments
/$F2psDict 200 dict def
$F2psDict begin
$F2psDict /mtrx matrix put
/col-1 {0 setgray} bind def
/col0 {0.000 0.000 0.000 srgb} bind def
/col1 {0.000 0.000 1.000 srgb} bind def
/col2 {0.000 1.000 0.000 srgb} bind def
/col3 {0.000 1.000 1.000 srgb} bind def
/col4 {1.000 0.000 0.000 srgb} bind def
/col5 {1.000 0.000 1.000 srgb} bind def
/col6 {1.000 1.000 0.000 srgb} bind def
/col7 {1.000 1.000 1.000 srgb} bind def
/col8 {0.000 0.000 0.560 srgb} bind def
/col9 {0.000 0.000 0.690 srgb} bind def
/col10 {0.000 0.000 0.820 srgb} bind def
/col11 {0.530 0.810 1.000 srgb} bind def
/col12 {0.000 0.560 0.000 srgb} bind def
/col13 {0.000 0.690 0.000 srgb} bind def
/col14 {0.000 0.820 0.000 srgb} bind def
/col15 {0.000 0.560 0.560 srgb} bind def
/col16 {0.000 0.690 0.690 srgb} bind def
/col17 {0.000 0.820 0.820 srgb} bind def
/col18 {0.560 0.000 0.000 srgb} bind def
/col19 {0.690 0.000 0.000 srgb} bind def
/col20 {0.820 0.000 0.000 srgb} bind def
/col21 {0.560 0.000 0.560 srgb} bind def
/col22 {0.690 0.000 0.690 srgb} bind def
/col23 {0.820 0.000 0.820 srgb} bind def
/col24 {0.500 0.190 0.000 srgb} bind def
/col25 {0.630 0.250 0.000 srgb} bind def
/col26 {0.750 0.380 0.000 srgb} bind def
/col27 {1.000 0.500 0.500 srgb} bind def
/col28 {1.000 0.630 0.630 srgb} bind def
/col29 {1.000 0.750 0.750 srgb} bind def
/col30 {1.000 0.880 0.880 srgb} bind def
/col31 {1.000 0.840 0.000 srgb} bind def

end
save
newpath 0 470 moveto 0 0 lineto 462 0 lineto 462 470 lineto closepath clip newpath
-93.0 559.0 translate
1 -1 scale

/cp {closepath} bind def
/ef {eofill} bind def
/gr {grestore} bind def
/gs {gsave} bind def
/sa {save} bind def
/rs {restore} bind def
/l {lineto} bind def
/m {moveto} bind def
/rm {rmoveto} bind def
/n {newpath} bind def
/s {stroke} bind def
/sh {show} bind def
/slc {setlinecap} bind def
/slj {setlinejoin} bind def
/slw {setlinewidth} bind def
/srgb {setrgbcolor} bind def
/rot {rotate} bind def
/sc {scale} bind def
/sd {setdash} bind def
/ff {findfont} bind def
/sf {setfont} bind def
/scf {scalefont} bind def
/sw {stringwidth} bind def
/tr {translate} bind def
/tnt {dup dup currentrgbcolor
  4 -2 roll dup 1 exch sub 3 -1 roll mul add
  4 -2 roll dup 1 exch sub 3 -1 roll mul add
  4 -2 roll dup 1 exch sub 3 -1 roll mul add srgb}
  bind def
/shd {dup dup currentrgbcolor 4 -2 roll mul 4 -2 roll mul
  4 -2 roll mul srgb} bind def
 /DrawEllipse {
	/endangle exch def
	/startangle exch def
	/yrad exch def
	/xrad exch def
	/y exch def
	/x exch def
	/savematrix mtrx currentmatrix def
	x y tr xrad yrad sc 0 0 1 startangle endangle arc
	closepath
	savematrix setmatrix
	} def

/$F2psBegin {$F2psDict begin /$F2psEnteredState save def} def
/$F2psEnd {$F2psEnteredState restore end} def

$F2psBegin
%%Page: 1 1
10 setmiterlimit
 0.06000 0.06000 sc
% Polyline
7.500 slw
 [60] 0 sd
n 3600 3450 m 7200 3450 l 7200 7350 l 3600 7350 l
 cp gs col0 s gr  [] 0 sd
% Polyline
 [60] 0 sd
n 2400 2400 m 8400 2400 l 8400 8400 l 2400 8400 l
 cp gs col0 s gr  [] 0 sd
15.000 slw
% Ellipse
n 2400 6000 450 450 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 2400 4800 450 450 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 2400 3600 450 450 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 2400 2400 450 450 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 3600 2400 450 450 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 4800 2400 450 450 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 6000 2400 450 450 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 7200 2400 450 450 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 8400 2400 450 450 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 8400 3600 450 450 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 8400 4800 450 450 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 8400 6000 450 450 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 8400 7200 450 450 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 8400 8400 450 450 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 7200 8400 450 450 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 6000 8400 450 450 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 4800 8400 450 450 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 3600 8400 450 450 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 6600 5700 106 106 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 3000 3000 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 4200 3000 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 5400 3000 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 6600 3000 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 7800 3000 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 7800 4200 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 7800 5400 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 7800 6600 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 7800 7800 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 6600 7800 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 5400 7800 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 4200 7800 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 3000 7800 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 3000 6600 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 3000 5400 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 3000 4200 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 3000 1800 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 4200 1800 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 5400 1800 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 6600 1800 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 7800 1800 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 9000 1800 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 9000 3000 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 9000 4200 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 9000 5400 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 9000 6600 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 9000 7800 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 9000 9000 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 7800 9000 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 6600 9000 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 5400 9000 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 4200 9000 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 3000 9000 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 1800 9000 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 1800 7800 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 1800 6600 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 1800 5400 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 1800 4200 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 1800 3000 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 1800 1800 225 300 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 5841 5006 375 600 0 360 DrawEllipse gs col0 s gr

% Ellipse
n 4306 5175 106 106 0 360 DrawEllipse gs col0 s gr

% Polyline
n 4725 6800 m 4751 6804 l 4778 6807 l 4806 6809 l 4835 6810 l 4865 6811 l
 4896 6810 l 4928 6809 l 4961 6807 l 4995 6804 l 5029 6800 l
 5064 6796 l 5100 6791 l 5137 6785 l 5174 6778 l 5211 6771 l
 5248 6763 l 5286 6755 l 5323 6746 l 5359 6737 l 5396 6727 l
 5431 6717 l 5466 6707 l 5500 6697 l 5533 6686 l 5566 6675 l
 5597 6665 l 5627 6654 l 5656 6643 l 5684 6632 l 5711 6622 l
 5737 6611 l 5763 6600 l 5792 6587 l 5821 6573 l 5849 6560 l
 5875 6546 l 5901 6533 l 5925 6519 l 5949 6504 l 5971 6490 l
 5992 6476 l 6011 6461 l 6029 6447 l 6046 6432 l 6061 6418 l
 6074 6403 l 6085 6389 l 6094 6376 l 6102 6362 l 6107 6350 l
 6111 6337 l 6113 6325 l 6113 6314 l 6111 6302 l 6108 6292 l
 6103 6282 l 6096 6272 l 6088 6263 l 6077 6253 l 6066 6245 l
 6052 6236 l 6036 6227 l 6019 6219 l 6000 6211 l 5978 6204 l
 5955 6196 l 5930 6189 l 5903 6182 l 5874 6176 l 5844 6169 l
 5812 6164 l 5779 6159 l 5745 6154 l 5710 6150 l 5674 6146 l
 5637 6143 l 5600 6141 l 5563 6139 l 5526 6137 l 5489 6136 l
 5451 6136 l 5413 6136 l 5376 6136 l 5338 6138 l 5304 6139 l
 5270 6141 l 5236 6143 l 5201 6145 l 5165 6148 l 5129 6152 l
 5092 6156 l 5055 6160 l 5018 6165 l 4980 6171 l 4942 6177 l
 4905 6184 l 4867 6191 l 4830 6198 l 4794 6207 l 4758 6215 l
 4723 6224 l 4690 6234 l 4658 6244 l 4627 6254 l 4598 6265 l
 4570 6276 l 4544 6287 l 4520 6299 l 4497 6311 l 4477 6323 l
 4458 6335 l 4441 6348 l 4426 6361 l 4413 6375 l 4401 6388 l
 4392 6402 l 4384 6416 l 4377 6430 l 4372 6445 l 4368 6460 l
 4365 6475 l 4364 6491 l 4365 6507 l 4367 6524 l 4371 6541 l
 4376 6557 l 4382 6574 l 4390 6591 l 4400 6607 l 4411 6624 l
 4423 6640 l 4436 6655 l 4451 6670 l 4467 6685 l 4484 6699 l
 4502 6712 l 4521 6725 l 4541 6737 l 4561 6748 l 4583 6758 l
 4605 6767 l 4628 6776 l 4651 6783 l 4675 6790 l 4700 6795 l

 cp gs col0 s gr 
% Ellipse
n 2400 8400 450 450 0 360 DrawEllipse gs col0 s gr

% Polyline
n 4413 4246 m 4420 4260 l 4429 4273 l 4439 4287 l 4451 4301 l 4465 4315 l
 4481 4329 l 4498 4342 l 4517 4356 l 4537 4368 l 4558 4381 l
 4580 4392 l 4603 4403 l 4627 4414 l 4651 4423 l 4675 4431 l
 4700 4438 l 4724 4444 l 4747 4449 l 4771 4453 l 4794 4456 l
 4816 4457 l 4838 4458 l 4858 4458 l 4878 4456 l 4897 4454 l
 4917 4451 l 4936 4446 l 4955 4441 l 4974 4435 l 4992 4428 l
 5010 4421 l 5026 4412 l 5042 4403 l 5057 4392 l 5070 4382 l
 5082 4370 l 5093 4359 l 5102 4347 l 5110 4334 l 5115 4322 l
 5119 4309 l 5122 4297 l 5122 4284 l 5121 4271 l 5118 4258 l
 5113 4246 l 5106 4231 l 5096 4217 l 5084 4202 l 5070 4188 l
 5054 4173 l 5036 4158 l 5016 4143 l 4995 4128 l 4971 4114 l
 4947 4100 l 4921 4086 l 4894 4073 l 4867 4061 l 4839 4051 l
 4812 4041 l 4785 4032 l 4759 4025 l 4733 4019 l 4708 4014 l
 4684 4011 l 4660 4009 l 4638 4008 l 4620 4008 l 4602 4010 l
 4585 4012 l 4568 4016 l 4552 4020 l 4536 4025 l 4521 4032 l
 4506 4039 l 4492 4047 l 4479 4055 l 4466 4065 l 4455 4075 l
 4444 4086 l 4435 4097 l 4426 4109 l 4419 4121 l 4413 4134 l
 4408 4146 l 4405 4159 l 4402 4172 l 4401 4184 l 4401 4197 l
 4402 4209 l 4405 4221 l 4408 4234 l
 cp gs col0 s gr 
% Ellipse
n 2400 7200 450 450 0 360 DrawEllipse gs col0 s gr

$F2psEnd
rs

---------------0206271432168--
