Measure-Expansive Homoclinic Classes for C¹ Generic Flows

Abstract

In this paper, we prove that for a generically $C^1$ vector field X of a compact smooth manifold M, if a homoclinic class $H(\gamma ,X)$ which contains a hyperbolic closed orbit $\gamma$ is measure expansive for X then $H(\gamma ,X)$ is hyperbolic.

1. Introduction and Statements

A homoclinic class $H(p,f)$ of a diffeomorphism f is the closure of the transverse of homoclinic points associated with a hyperbolic periodic point p. It is an invariant, closed and transitive set. It has a dense orbit and contains a dense set of periodic points which is related to a basic set (see [1]). Many people are paying attention to the study of the homoclinic class for dynamical systems. In fact, the relation between homoclinic classes and expansiveness has been studied by many people. They used various types of $C^1$ perturbations ($C^1$ robustly [2,3], $C^1$ persistently [4], $C^1$ stably [5], R-robustly [6,7,8] and $C^1$ generic [9,10,11,12,13,14], etc.). In this paper, we focus on the $C^1$ generic property. Yang and Gan [14] proved that every expansive homoclinic class of a $C^1$ generic diffeomorphism of a compact smooth manifold M is hyperbolic. Morales [15] introduced a general notion of expansiveness which is called measure-expansive. Koo, Lee and Lee [16] proved that if every locally maximal homoclinic class $H(p,f)$ is measure expansive then it is hyperbolic. Lee proved in [6] that if a homoclinic class $H(p,f)$ is R-robustly measure-expansive, then it is hyperbolic. Later, Lee [13] proved that $C^1$ generically, a homoclinic class $H(p,f)$ is expansive if and only if a homoclinic class $H(p,f)$ is measure-expansive.

About the results of diffeomorphisms, we consider the vector fields which is an extended version of diffeomorphisms.

For vector fields, Bautista [17] showed that the geometric Lorenz attractor is a homoclinic class which contains a singular point. Komuro showed in [18] that the geometric Lorenz attractor is ${\mathcal{K}}^{\ast }$-expansive. However, the geometric Lorenz attractor is not expansive (see [19]). Nevertheless, in vector fields, the relation betwwen homoclinic classes and expansiveness are still interesting research subjects. Lee and Park [20] proved that every expansive locally maximal homoclinic class $H(\gamma ,X)$ of $C^1$ generic vector fields is hyperbolic. Lee and Oh [21] proved that every measure-expansive locally maximal homoclinic class $H(\gamma ,X)$ of $C^1$ generic vector fields is hyperbolic. The results used a dynamical condition which is locally maximal. In [10], Lee proved that if a homoclinic class $H(\gamma ,X)$ is R-robustly measure-expansive then it is hyperbolic.

We study the hyperbolicity of a measure-expansive homoclinic class for $C^1$ generic vector fields without the locally maximal condition and R-robust property, which is a generalization of previous results.

2. Basic Definitions and Main Theorem

Assume that M is a compact smooth Riemannian manifold. Denote by $\mathfrak{X}\left(M\right)$ the set of a $C^1$ vector fields on M, endowed with then $C^1$ topology. Every vector field X generates a $C^1$ flow $X^t:M\to M$, $t\in \mathbb{R}.$ Denote by $Sing\left(X\right)=\{x\in M:X^t\left(X\right)=x$ for all $t\in \mathbb{R}\}$ the set of singularities of X, and by $Per\left(X\right)=\{x\in M:$ there is $\pi \left(x\right)>0$ such that $X^{\pi \left(x\right)}\left(x\right)=x\}$ the set of periodic poins of X. A point $x\in M$ is said to be critical point if $x\in Sing\left(X\right)\cup Per\left(X\right)$, and denote by $Crit\left(X\right)=Sing\left(X\right)\cup Per\left(X\right).$ Let $\mathcal{H}$ be the set of all continuous maps $h:\mathbb{R}\to \mathbb{R}$ with $h\left(0\right)=0.$ A vector field $X\in \mathfrak{X}\left(M\right)$ is said to be expansive if for every $ϵ>0$ there are $\delta >0$ and $h\in \mathcal{H}$ such that if for any $x,y\in M$ and $d(X^t\left(x\right),X^{h\left(t\right)}\left(y\right))\le \delta$ $\forall t\in \mathbb{R}$, then $y=X^{t_0}\left(x\right)$ for some $|t_0|<ϵ.$

Bowen and Walters [22] proved that if a vector field $X\in \mathfrak{X}\left(M\right)$ is expansive then every singular points is isolated. Oka [23] proved that if a vector field $X\in \mathfrak{X}\left(M\right)$ is expansive, then $Sing\left(X\right)=\varnothing .$

We define the following

$$\mathsf{\Gamma }(x,\delta )={\displaystyle \bigcup _{h\in \mathcal{H}}\bigcap _{t\in \mathbb{R}}} X^{-h\left(t\right)}\left(B[X^t\left(x\right),\delta ]\right),$$

where $B[x,\delta ]$ is the $\delta$-closed neighborhood of $x.$ It is said to be the $\delta$-dynamic ball of X.

Then we can rewrite the $\delta$-dynamic ball such as

$$\mathsf{\Gamma }(x,\delta )=\{y\in M:d(X^t\left(x\right),X^{h\left(t\right)}\left(y\right))\le \delta ,\mathrm{for}\mathrm{some}h\in \mathcal{H}\mathrm{and}\mathrm{for}\mathrm{all}t\in \mathbb{R}\}.$$

The following concept which is a general notion of expansiveness for flows was defined by Carrasco–Olivera and Morales [24]. Denote by $\mathcal{M}\left(M\right)$ the set of all Borel probability measures on M and let ${\mathcal{M}}^{\ast }\left(M\right)=\{\mu \in \mathcal{M}\left(M\right):\mu \left(Orb\left(x\right)\right)=0\mathrm{for}\mathrm{all}x\in M\}.$ It is known that ${\mathcal{M}}^{\ast }\left(M\right)\subset \mathcal{M}\left(M\right)$.

For any $\mu \in \mathcal{M}\left(M\right),$ a closed $X^t$-invariant set $\mathsf{\Lambda }\subset M$ is $\mu$-expansive of X if there is a constant $\delta >0$ ( which is called an expansive constant of X with respect to $\mu$) such that $\mu \left(\mathsf{\Gamma }\right(x,\delta \left)\right)=0$ for any $x\in \mathsf{\Lambda }$. If $\mathsf{\Lambda }=M$ then we say that X is $\mu$-expansive.

Definition 1.

Let $X\in \mathfrak{X}\left(M\right)$ and let $\mathsf{\Lambda }\subset M$ be a closed $X^t$-invariant set. We say that Λ is measure-expansive if Λ is μ-expansive of X, for any $\mu \in {\mathcal{M}}^{\ast }\left(M\right)$. If $\mathsf{\Lambda }=M$, then X is called measure-expansive.

Remark 1.

Let $supp\left(\mu \right)=\{x\in M:\mu (U)>0$, for any open neighborhood $U(\ne \varnothing )$ of $x\}.$ Corrasco–Olivera and Morales proved in [24] if a vector field $X\in \mathfrak{X}\left(M\right)$ is measure-expansive, then $supp\left(\mu \right)\cap Sing\left(X\right)=\varnothing$.

A closed $X^t$-invariant set $\mathsf{\Lambda }\subset M$, we say that $\mathsf{\Lambda }$ is a hyperbolic set for ${\left(X^t\right)}_{t\in \mathbb{R}}$ if there exists a $D{X}^t$-invariant splitting $T_{x}M=E_x^s\oplus F\left(x\right)\oplus E_x^u$ so that:

(a)

$F\left(x\right)$ is one dimensional and generated by the vector field X,

(b)

there are constants $C>0$ and $0<\lambda <1$ so that for every $x\in \mathsf{\Lambda }$ and $t\ge 0,$

(i)

$\parallel D{X}^t{|}_{E_x^s}\parallel \le C{e}^{-\lambda t}$ (uniformly contrcting) and

(ii)

$\parallel D{X}^{-t}{|}_{E_x^u}\parallel \le C{e}^{-\lambda t}$ (uniformly expanding).

Let $\gamma \in Per\left(X\right)$ be hyperbolic. We say that $\eta \in Per\left(X\right)$ is homoclinically related to $\gamma \in Per\left(X\right)$, that is, $\eta \sim \gamma$ if

$$W^s\left(\eta \right)⋔W^u\left(\gamma \right)\ne \varnothing \mathrm{and}{W}^u\left(\eta \right)⋔W^s\left(\gamma \right)\ne \varnothing .$$

Then we define it as $H(\gamma ,X)={\displaystyle \overline{\{\eta \in Per(X):\eta \sim \gamma \}}}.$

In the paper, we consider the homoclinic class $H(\gamma ,X)$ which contains a hyperbolic saddle type of the periodic orbit $\gamma .$ The following is the main theorem of this paper.

Theorem 1.

There is a residual set ${\mathcal{G}}_{\delta }\subset \mathfrak{X}\left(M\right)$ such that for any $x\in {\mathcal{G}}_{\delta }$, if a homoclinic class $H(\gamma ,X)$ is measure-expansive of X, then it is hyperbolic.

3. Proof of Theorem 1

Let M be as before and let $X\in \mathfrak{X}\left(M\right).$

Lemma 1.

([21]) For a hyperbolic $\gamma \in Per\left(X\right)$, if the homoclinic class $H(\gamma ,X)$ is measure-expansive then $H(\gamma ,X)$ does not contain singularities.

The following was proved by [25], where it is called a vector field version of Franks lemma.

Lemma 2.

Let p belongs to a periodic orbit for X with period $\pi \left(p\right)>0$, and let $f:{\mathcal{N}}_{p,r_1}\to {\mathcal{N}}_p$ is the Poincaré map of X(for some $r_1>0$). Let $0<r\le r_1$ be given. Then there are a positive $\delta >0$ and $0<{ϵ}_0<r/2$ such that for a linear isomorphism $L:N_p\to N_p$ with $\parallel L-D_{p}f\parallel <\delta ,$ there exists Y$C^1$ closed to X with the properties:

(a) 

$Y\left(x\right)=X\left(x\right)$ if $x\notin U_p(X^t,r,\pi \left(p\right))$,

(b) 

p belongs to a periodic orbit for Y,

(c) 

$g\left(x\right)=\left\{\begin{array}{cc}{\exp }_p\circ L\circ {\exp }_p^{-1}\left(x\right),\hfill & ifx\in B_{{ϵ}_0/4}\left(p\right)\cap {\mathcal{N}}_{p,r},\hfill \\ f\left(x\right),\hfill & ifx\notin B_{{ϵ}_0}\left(p\right)\cap {\mathcal{N}}_{p,r}.\hfill \end{array}\right.$

Here, $g:{\mathcal{N}}_{p,r}\to {\mathcal{N}}_p$ is the Poincaré map of $Y.$

A closed orbit $\gamma$ is weakly hyperbolic if for any $p\in \gamma$ and any $\varrho >0$, $D_{p}f$ has an eigenvalue $\mu$ such that $(1-\varrho )<\left|\mu \right|<(1+\varrho ),$ where f is the Poincaré map of $X.$ Denote by $\mathcal{WH}\left(X\right)$ the set of all weak hyperbolic periodic orbits of $X.$

Lemma 3.

Let $\eta \in H(\gamma ,X)\cap Per\left(X\right)$ with $\eta \sim \gamma$. If $\eta \in \mathcal{WH}\left(X\right)$ then there is Y$C^1$ close to X such that g has a small arc $\mathcal{J}$ with the endpoints are homoclinically related to $p\in {\gamma }_Y,$ where g is the Poincaré map of Y and ${\gamma }_Y$ is continuation of $\gamma .$

Proof. 

Let $\eta \in H(\gamma ,X)\cap Per\left(X\right)$ with $\eta \sim \gamma$. Suppose that $\eta \in \mathcal{WH}\left(X\right)$. Take $q\in \eta$ and let $f:{\mathcal{N}}_{q,r}\to {\mathcal{N}}_q$ (for some $r>0$) be the Poincaré map of X. Since $\eta$ is a weak hyperbolic periodic orbit of X, according to Lemma 2 there exist $\delta (=\varrho )>0$ and $0<{ϵ}_0<r/2$ such that for a map $L:N_q\to N_q$ with $\parallel L-D_{q}f\parallel <\delta ,$ there exists Y $C^1$ closed to X satisfying

(a)

$Y\left(x\right)=X\left(x\right)$ if $x\notin U_q(X^t,r,\pi \left(q\right))$,

(b)

q belongs to $\eta \in Per\left(Y\right)$,

(c)

$\eta \sim {\gamma }_Y$, and

(d)

$g\left(x\right)=\left\{\begin{array}{cc}{\exp }_q\circ L\circ {\exp }_q^{-1}\left(x\right),\hfill & \mathrm{if}x\in B_{{ϵ}_0/4}\left(q\right)\cap {\mathcal{N}}_{q,r},\hfill \\ f\left(x\right),\hfill & \mathrm{if}x\notin B_{{ϵ}_0}\left(q\right)\cap {\mathcal{N}}_{q,r},\hfill \end{array}\right.$

where, $g:{\mathcal{N}}_{q,r}\to {\mathcal{N}}_q$ is the Poincaré map of $Y.$ Then we have that $\lambda$ is an eigenvalue of $D_{q}g$ with $\left|\lambda \right|=1.$ Take a vector $u(\ne 0)$ which is associated to the eigenvalue $\lambda$ and $\parallel u\parallel ={ϵ}_0/4.$ Then we obtain that

$$g\left({\exp }_q\left(u\right)\right)={\exp }_q\circ L\circ {\exp }_q^{-1}\left({\exp }_q\left(u\right)\right)={\exp }_q\left(u\right).$$

Let $J=\{tu:-{ϵ}_0/4\le t\le {ϵ}_0/4\}$ and let $\mathcal{J}={\exp }_q\left(J\right).$ Then $g^k{|}_{\mathcal{J}}$ is the identity, for some $k>0$, and $g^i\left(x\right)$ goes to $W_{loc}^s\left(q\right)$ for $x\in \mathcal{J}$ and $i\ge 0.$ Let $q_1$ and $q_2$ be the endpoints of $\mathcal{J}$. Then as in the proof of ([4], Proposition 3), there is h$C^1$ close to g (also $C^1$ close to f) such that $q_1,q_2$ and q are the only periodic points of h, $h^k{|}_{{\mathcal{J}}_1}$ is the identity and $q_1\sim p_h\in {\gamma }_Z$ and $q_2\sim p_h\in {\gamma }_Z,$ where ${\gamma }_Z$ is the continuation of $\gamma$ and the Poincaré map h is associated with a vector field Z which is $C^1$ close to $Y.$ Thus if $\eta \in \mathcal{WH}\left(X\right)$ then there is Z$C^1$ close to X such that h has a small arc ${\mathcal{J}}_1$ with the endpoints $q_1$ and $q_2$ are homoclinically related to $p_h\in {\gamma }_Z,$ where h is the Poincaré map of Z. This proves Lemma 3. □

Let $f:{\mathcal{N}}_{p,r}\to {\mathcal{N}}_p$ be the Poincaré map of $X\in \mathfrak{X}\left(M\right).$ The following is a vector field version of what introduced by Yanf and Gan in [14]. For any $ϵ>0$, a closed small arc $\mathcal{I}$ is $ϵ$-periodic curve if

(a)

$f\left(\mathcal{I}\right)=\mathcal{I},$

(b)

the length of $f\left(\mathcal{I}\right)\le ϵ$ with the endpoints are hyperbolic,

(c)

$\mathcal{I}$ is normally hyperbolic.

A subset $\mathcal{G}\subset \mathfrak{X}\left(M\right)$ is called residual if it contains a countable intersection of open and dense subsets.

Lemma 4.

There is a residual set ${\mathcal{G}}_1\subset \mathfrak{X}\left(M\right)$ such that for any $X\in {\mathcal{G}}_1$, any hyperbolic periodic orbit γ of X, and given $ϵ>0$, if any $C^1$ neighborhood $\mathcal{U}\left(X\right)$ of X, there is $Y\in \mathcal{U}\left(X\right)\subset \mathfrak{X}\left(M\right)$ which has an ϵ-periodic curve $\mathcal{J}$ for which the two endpoints of $\mathcal{J}$ are homoclinically related to ${\gamma }_Y$ then X has a $2ϵ$-periodic curve $\mathcal{L}$ for which the two endpoints of $\mathcal{L}$ are homoclinically related to γ (see [14]).

For any $x,y\in M,$ and $\delta >0,$ a sequence $\{x_0(=x),x_1,x_2,\dots ,x_n(=y)\}\subset M$ is $\delta$-chain from x to y if there exist $t_i\ge 1$ such that $d(X_{t_i}\left(x_i\right),x_{i+1})<\delta$ for $i=0,1,\dots ,n-1$. We say that y is chain-attainable from x if for any $\delta >0$, there is a $\delta$-chain from x and y. A point $x\in M$ is a chain recurrence point if x is chain-attainable from itself. Denote by $CR\left(X\right)$ the set of all chain recurrence points of X. Note that chain bi-attainability is closed equivalence relation in $CR\left(X\right)$. For any $x\in CR\left(X\right)$, the equivalent class which has x is said to be the chain recurrence class of x, and we denote by $C(x,X)$ or $C\left(Orb\right(x),X).$

Lemma 5.

There is a residual set ${\mathcal{G}}_2\subset \mathfrak{X}\left(M\right)$ such that for any $X\in {\mathcal{G}}_2$,

(a) 

X is Kupka–Smale, that is, any critical orbit is hyperbolic and $W^s\left(\sigma \right)$ is transverse to $W^u\left(\eta \right)$, where σ and η are critical orbits of X (see [26]).

(b) 

$H(\gamma ,X)=C(\gamma ,X),$ for some hyperbolic periodic orbit γ (see [27]).

Lemma 6.

There is a residual set ${\mathcal{G}}_3\subset \mathfrak{X}\left(M\right)$ such that for any $X\in {\mathcal{G}}_3$, if $H(\gamma ,X)$ is measure-expansive then for any $\eta \in H(\gamma ,X)\cap Per\left(X\right)$ with $\eta \sim \gamma$,

$$H(\gamma ,X)\cap \mathcal{WH}\left(X\right)=\varnothing .$$

Proof. 

Let $X\in {\mathcal{G}}_3={\mathcal{G}}_1\cap {\mathcal{G}}_2$, and let $H(\gamma ,X)$ be measure-expansive. Suppose that there is $\eta \in H(\gamma ,X)\cap Per\left(X\right)$ with $\eta \sim \gamma$ such that $\eta \in H(\gamma ,X)\cap \mathcal{WH}\left(X\right)$. Take $p\in \eta$ such that p is a weak hyperbolic point of X. According to Lemma 3, for any $\delta >0$ there is Y$C^1$ close to X such that g has a small arc $\mathcal{J}$ with the endpoints are homoclinically related to $p_Y\in {\gamma }_Y$ which is a $\delta$-periodic curve, and $g^k{|}_{\mathcal{J}}:\mathcal{J}\to \mathcal{J}$ is the identity map for some $k>0$, where g is the Poincaré map of Y and ${\gamma }_Y$ is continuation of $\gamma .$ For simplicity, we assume that $g^k{{|}_{\mathcal{J}}=g|}_{\mathcal{J}}.$ It is known that $\mathcal{J}\subset C(p_Y,g)\subset C({\gamma }_Y,Y).$ By Lemma 4, one can see that X has a $2ϵ$-periodic curve $\mathcal{L}$ for which the two endpoints of $\mathcal{L}$ are homoclinically realte to $\gamma .$ By Lemma 5 (b), f has a $2ϵ$-periodic curve $\mathcal{L}\subset H(\gamma ,X)=C(\gamma ,X)$. Let $\nu$ be the normalized Lebesgue measure on $\mathcal{L}$. Define a measure $\chi$ on M by

$$\chi \left(B\right)={\nu }_{\mathcal{L}}\left(f^{-i}(B\cap f^i\left(\mathcal{L}\right))\right)(i\in \mathbb{Z})$$

for some Borel set B of $M.$ It is clear that $\chi \left(B\right)\ne 0.$ Take $ϵ=\delta$, and let $x\in \mathcal{L}$. Then we define $\mathsf{\Gamma }(x,ϵ)=\{y\in M:d(f^i\left(x\right),f^i\left(y\right))\le ϵ$ for all $i\in \mathbb{Z}\}$. Let $\Phi (x,ϵ)=\{z\in \mathcal{L}:d(f^i\left(x\right),f^i\left(y\right))\le ϵ$ for all $i\in \mathbb{Z}\}.$ It is clear that $\Phi (x,ϵ)\subset \mathsf{\Gamma }(x,ϵ).$ Since $H(\gamma ,X)$ is measure-expansive, we know that $\chi \left(\mathsf{\Gamma }\right(x,ϵ\left)\right)=0.$ Since $\Phi (x,ϵ)\subset \mathsf{\Gamma }(x,ϵ)$, $\chi \left(\Phi \right(x,ϵ\left)\right)$ should be $0.$ This is a contradiction since $\chi \left(\Phi \right(x,ϵ\left)\right)\ne 0.$□

Let $p\in \gamma$ be a hyperbolic periodic point of X with the period $\pi \left(p\right)$, and let $f:{\mathcal{N}}_{p,r}\to {\mathcal{N}}_p$ be the Poincaré map with respect to X. Then if ${\mu }_1,{\mu }_2,\dots ,{\mu }_{n-1}$ are the eigenvalues of $D_{p}f$, then

$${\xi }_i=\frac{1}{\pi \left(p\right)}log\left|{\mu }_i\right|,$$

for $i=1,2,\dots ,n-1$ are called the Lyapunov exponents of p.

Denote by $H^{\ast }(\gamma ,X)=\{x\in M:$ $x\in H(\gamma ,X)$ and $x\notin Sing\left(X\right)\}.$ For vector fields, we assume that $H^{\ast }(\gamma ,X)$. Wang proved in [28] that a vector field X in a dense ${\mathcal{G}}_{\delta }$ subset of $\mathfrak{X}\left(M\right)$, if a homoclinic class $H^{\ast }(\gamma ,X)$ is not hyperbolic, then one can find a periodic orbit $\zeta$ of X that is homoclinically related to $\gamma$ and has a Lyapunov exponent arbitrarily close to 0.

Hereafter, we say that a property holds for $C^1$ generic vector fields if it is satisfied on a dense ${\mathcal{G}}_{\delta }$ subset of $\mathfrak{X}\left(M\right)$. Note that for a $C^1$ generic vector field X, if a periodic orbit $\gamma$ has a Lyapunov exponent arbitrarily close to 0, then one can take a periodic orbit $\zeta$ such that $\zeta \in \mathcal{WH}\left(X\right)$.

Note that if $H(\gamma ,X)\cap Sing\left(X\right)\ne \varnothing$ then the result of Wang [28] is not true. Indeed, the geometric Lorenz attractor is an example of that. However, we consider $H^{\ast }(\gamma ,X),$ then, we can rewrite the result of Wang [28] as follows.

Lemma 7.

There is a residual set ${\mathcal{G}}_4\subset \mathfrak{X}\left(M\right)$ such that for any $X\in {\mathcal{G}}_4,$ if a homoclinic class $H^{\ast }(\gamma ,X)$ is not hyperbolic, then there is a periodic orbit $\eta \in H^{\ast }(\gamma ,X)$ such that $\eta \sim \gamma$ and $\eta \in \mathcal{WH}\left(X\right).$

End of the proof of Theorem 1.

Let $X\in {\mathcal{G}}_{\delta }={\mathcal{G}}_3\cap {\mathcal{G}}_4$ and $H(\gamma ,X)$ be measure expansive. According to Lemma 1, $H(\gamma ,X)\cap Sing\left(X\right)=\varnothing$. Since $H(\gamma ,X)\cap Sing\left(X\right)=\varnothing$, we will use Lemma 7. To prove, we will derive a contradiction. Suppose that $H(\gamma ,X)$ is not hyperbolic. Since $X\in {\mathcal{G}}_4$, according to Lemma 7, there is $\eta \in H(\gamma ,X)\cap Per\left(X\right)$ with $\eta \sim \gamma$ such that $\eta$ is a weak hyperbolic periodic orbit of X. Since $H(\gamma ,X)$ is measure-expansive, by Lemma 6, $H(\gamma ,X)\cap \mathcal{WH}\left(X\right)=\varnothing$. This is a contradiction. Thus $C^1$ generically, if $H(\gamma ,X)$ is measure-expansive then $H(\gamma ,X)$ is hyperbolic. □

Since an expansive flow is a measure-expansive flow, according to Theorem 1, $C^1$ generically, if a homoclinic class $H(\gamma ,X)$ which contains a hyperbolic periodic orbit $\gamma$ is expansive, then $H(\gamma ,X)$ is hyperbolic. Thus we have the following, which is a generalization of the result of [20].

Corollary 1.

For $C^1$ generic $X\in \mathfrak{X}\left(M\right)$, a homoclinic class $H(\gamma ,X)$ which contains a hyperbolic periodic orbit γ is expansive if and only if $H(\gamma ,X)$ is measure-expansive.

4. Conclusions

The paper considers the relationship between measure-expansiveness and homoclinic classes for flows. More in detail, we proved that there is an open and dense ${\mathcal{G}}_{\delta }$ in $\mathfrak{X}\left(M\right)$ for any $X\in {\mathcal{G}}_{\delta }$, if a homoclinic class $H(\gamma ,X)$ is measure-expansive then $H(\gamma ,X)$ is hyperbolic for X. The results are an extension and generalization of the previious results (see [6,8,13,14,16,20,21]).