1(x)\oplus E^s_2(x)\oplus\dots\oplus E^s_{q }(x)\oplus E^c(x)\oplus E^u_1(x)\oplus E^u_2(x)\oplus \dots \oplus E^u_{q }(x)$$ such that:

1.  for every $v\in E^s_j(x)\backslash\{ 0\}$; $\displaystyle{\lim_{t\rightarrow\pm \infty}\frac{1}{t}\log\left( \| D\varphi_t(x)v\| \right)=-\lambda_j}$;

2.  for every $v\in E^c(x)\backslash\{ 0\}$; $\displaystyle{\lim_{t\rightarrow\pm \infty}\frac{1}{t}\log\left( \| D\varphi_t(x)v\| \right)=0}$;

3.  for every $v\in E^u_j(x)\backslash\{ 0\}$; $\displaystyle{\lim_{t\rightarrow\pm \infty}\frac{1}{t}\log\left( \| D\varphi_t(x)v\| \right)=+\lambda_j}$.\
    We may ask, too, that: $\forall x\in N, \dim(G_-(x)\cap G_+(x))=p$.

Let us recall that the stable bundle $E^s(x)=E^s_1(x)\oplus E^s_2(x)\oplus\dots\oplus E^s_{q }(x)$ and the unstable one $E^u(x)=E^u_1(x)\oplus E^u_2(x)\oplus\dots\oplus E^u_{q }(x)$ are isotropic (for the symplectic form) and that $E^c(x)$ is a symplectic subspace of $T_x(T^*M)$ that is orthogonal (for $\omega$) to $E^s(x)\oplus E^u(x)$. Moreover, we have: $\dim E^s_i=\dim E^u_i$.

Reduction of the problem
------------------------

As in the statement of theorem \[thdimlyap\], we assume that $\mu$ is a minimizing ergodic measure whose support is not reduced to a point and that $p\in [1, n]$ is so that
1(x)\oplus E^s_2(x)\oplus\dots\oplus E^s_{q } (x)\oplus E^c(x)\oplus E^u_1(x)\oplus E^u_2(x)\oplus \dots \oplus E^u_{q } (x)$$ such that: 

 1.   for every $ v\in E^s_j(x)\backslash\ { 0\}$; $ \displaystyle{\lim_{t\rightarrow\pm \infty}\frac{1}{t}\log\left (\| D\varphi_t(x)v\| \right)=-\lambda_j}$; 

 2.   for every $ v\in E^c(x)\backslash\ { 0\}$; $ \displaystyle{\lim_{t\rightarrow\pm \infty}\frac{1}{t}\log\left (\| D\varphi_t(x)v\| \right)=0}$; 

 3.   for every $ v\in E^u_j(x)\backslash\ { 0\}$; $ \displaystyle{\lim_{t\rightarrow\pm \infty}\frac{1}{t}\log\left (\| D\varphi_t(x)v\| \right)=+\lambda_j}$.\ 
     We may ask, too, that: $ \forall x\in N, \dim(G_-(x)\cap G_+(x))=p$. 

 Let us recall that the static package $ E^s(x)=E^s_1(x)\oplus E^s_2(x)\oplus\dots\oplus E^s_{q } (x)$ and the unstable one $ E^u(x)=E^u_1(x)\oplus E^u_2(x)\oplus\dots\oplus E^u_{q } (x)$ are isotropic (for the symplectic form) and that $ E^c(x)$ is a symplectic subspace of $ T_x(T^*M)$ that is extraneous (for $ \omega$) to $ E^s(x)\oplus E^u(x)$. Moreover, we receive: $ \dim E^s_i=\dim E^u_i$. 

 Reduction of the problem 
 ------------------------ 

 As in the statement of theorem \[thdimlyap\ ], we bear that $ \mu$ is a minimizing ergodic measure whose documentation is not reduced to a point and that $ p\in [ 1, n]$ is so that
1(x)\oppus E^s_2(x)\oplus\dots\oplus E^s_{d }(x)\oplus E^c(x)\oplos E^u_1(x)\opnus E^u_2(s)\oplus \duts \oplus E^u_{q }(x)$$ such that:

1.  flr evert $v\in E^s_j(x)\backslash\{ 0\}$; $\dksplaystype{\lim_{t\rithtacrow\pm \infty}\frac{1}{v}\mog\left( \| D\varlmi_t(x)v\| \cight)=-\lambda_j}$;

2.  fpr every $v\hn E^c(x)\backslasv\{ 0\}$; $\dnsplaystyle{\lim_{t\rightarrow\pm \infty}\fras{1}{t}\log\legt( \| D\varphi_t(x)v\| \ryght)=0}$;

3.  for vvtry $v\in E^u_j(x)\backslash\{ 0\}$; $\displaystyme{\lim_{t\rpghtarrow\pm \infty}\grac{1}{t}\log\left( \| D\varphi_t(x)v\| \rlght)=+\pambda_j}$.\
    We may wsk, too, thaj: $\fowqll x\in N, \dio(G_-(x)\cap G_+(x))=p$.

Let us recalm that the stable bundle $E^s(x)=E^s_1(x)\uplus E^s_2(x)\oplus\ditw\oppos E^s_{q }(x)$ and the lnstable one $C^l(x)=E^u_1(x)\opnus E^u_2(x)\pplus\dots\oplus E^u_{x }(x)$ are isotropic (for thx symplectic form) anq that $E^c(f)$ ns a symplectic subspqcw of $J_x(T^*M)$ dhat us urtgojonzl (for $\omxga$) to $E^s(x)\ollus E^u(x)$. Moeeover, we have: $\dim T^s_i=\qpk E^u_i$.

Reductikn of ehq problem
------------------------

As in the statement of theorem \[thsimlyap\], we assume that $\nu$ is a minimizing erhodic meafure whose support is not reduced to a point and dhat $'\iv [1, u]$ is su tjat
1(x)\oplus E^s_2(x)\oplus\dots\oplus E^s_{q }(x)\oplus E^c(x)\oplus E^u_1(x)\oplus E^u_2(x)\oplus E^u_{q such that: for every $v\in D\varphi_t(x)v\| 2. for every E^c(x)\backslash\{ 0\}$; $\displaystyle{\lim_{t\rightarrow\pm \| D\varphi_t(x)v\| \right)=0}$; 3. for every E^u_j(x)\backslash\{ 0\}$; $\displaystyle{\lim_{t\rightarrow\pm \infty}\frac{1}{t}\log\left( \| D\varphi_t(x)v\| \right)=+\lambda_j}$.\ We may ask, too, that: $\forall N, \dim(G_-(x)\cap G_+(x))=p$. Let us recall that the stable bundle $E^s(x)=E^s_1(x)\oplus E^s_2(x)\oplus\dots\oplus E^s_{q and unstable $E^u(x)=E^u_1(x)\oplus E^u_{q }(x)$ are isotropic (for the symplectic form) and that $E^c(x)$ is a symplectic subspace of that is orthogonal (for $\omega$) to $E^s(x)\oplus E^u(x)$. we have: $\dim E^s_i=\dim Reduction of the problem ------------------------ in statement of \[thdimlyap\], assume $\mu$ is a ergodic measure whose support is not reduced to a point and that $p\in [1, n]$ is so
1(x)\oplus E^s_2(x)\oplus\dots\oplus E^s_{Q }(x)\oplus E^c(x)\Oplus e^u_1(x)\OplUs e^u_2(x)\oPlus \Dots \oplus E^u_{q }(x)$$ sUCh thAt:

1.  for every $v\in E^s_j(x)\backsLash\{ 0\}$; $\dIsPLaysTYlE{\lim_{t\RightarROw\PM \InfTy}\FrAc{1}{t}\LoG\LeFt( \| D\vaRphI_t(x)v\| \rigHt)=-\lambda_j}$;

2.  fOr eVeRy $v\in E^c(x)\backSLaSh\{ 0\}$; $\displaysTylE{\lim_{t\rightarRow\Pm \inftY}\fRac{1}{T}\Log\leFt( \| D\VarphI_t(x)v\| \riGHt)=0}$;

3.  for eVery $v\in E^u_J(x)\BAckslaSH\{ 0\}$; $\displaYSTyLe{\liM_{t\rightarrow\pm \infTY}\fRAc{1}{t}\log\left( \| D\varPhi_t(x)v\| \RiGHt)=+\LAMbdA_j}$.\
    WE may ask, too, ThAt: $\forALl x\in N, \dIM(G_-(X)\CAP G_+(x))=P$.

let us recall thAt the stable BUndLe $E^s(x)=E^S_1(x)\OplUS E^s_2(x)\opLus\doTs\OPluS E^s_{q }(x)$ and the UnstAble one $E^u(X)=E^u_1(x)\opLUs E^u_2(x)\opLUs\dots\oPlus E^u_{Q }(x)$ aRe iSotrOPiC (fOr tHe SYmpLEcTic FOrm) And that $E^C(x)$ Is A sympLectIC SUBspaCe oF $T_x(T^*m)$ that Is orthogonal (fOr $\oMega$) TO $E^s(X)\opluS E^u(x)$. MOreoVeR, we haVe: $\dim E^S_i=\dim e^u_I$.

Reduction of the ProbLem
------------------------

As in thE stAtEmeNt Of theORem \[thdImlYap\], We assumE that $\mu$ IS a mInIMIZiNg ergodic measure whOsE SUpPort is noT reducED tO a POint and tHaT $p\iN [1, n]$ is SO That
1(x)\oplus E^s_2(x)\oplus\ dots\oplus  E^s_ {q}(x )\ oplu s E^ c(x)\oplus E^u _ 1(x) \oplus E^u_2(x)\oplus\dots  \ o plus E^ u_{q}(x)$$s uc h tha t: 
1. f o revery  $v \in E^s _j(x)\back sla sh \{ 0\}$; $\d i sp laystyle{\ lim _{t\rightarr ow\ pm \in ft y}\ f rac{1 }{t }\log \left( \| D\v arphi_t(x )v \ | \rig h t)=-\la m b da _j}$ ;

2.  for every$ v\ i n E^c(x)\backs lash\{  0 \ }$ ; $\d isp laystyle{\ li m_{t\ r ightarr o w\ p m \in f ty}\frac{1}{t }\log\left( \|D\varp hi _t( x )v\| \ right )= 0 }$; 

3.  for e very  $v\in E^ u_j(x) \ backsla s h\{ 0\} $; $\d isp lay styl e {\ li m_{ t\ r igh t ar row \ pm\infty}\ fr ac {1}{t }\lo g \ l e ft(\|D\va rphi_ t(x)v\| \righ t)= +\la m bda _j}$. \
   Wema y ask , too,  that :$\forall x\in N , \d im(G_-(x) \ca pG_+ (x ))=p$ . 

Letusrec all tha t the s t abl eb u n dl e $E^s(x)=E^s_1(x) \o p l us  E^s_2(x )\oplu s \d ot s \oplus E ^s _{q  }(x ) $  andtheu ns table on e $E^u ( x) =E ^u_1(x) \o plus E ^u _2( x)\ oplus \ dots \oplus  E^u_{q}(x)$ are isotropic( for the sympl e ct i c  f o rm)and  that $E^c( x)$i s asymp l ec tic subsp ace o f$ T_ x (T^*M)$ that is ort ho gonal(for$\omega$) to$E^s(x)\op l u s  E^u(x)$ . Mo r eo v er, we have: $ \dimE^s_i=\dim E^u_i$.
Redu ction of  the prob l e m
------ --- --- --- --- - - -- --

As in the s tate me nt of t heo rem \[t hdi mly ap\ ],we  assume t hat $\mu $is  a  m ini mizin g  ergodic  m eas ur e w hoses upport  is n ot r ed uc e d t o a poi n ta n d th at  $ p\in  [1 ,n]$ i s so tha t
1(x)\oplus E^s_2(x)\oplus\dots\oplus_E^s_{q }(x)\oplus_E^c(x)\oplus E^u_1(x)\oplus E^u_2(x)\oplus \dots_\oplus E^u_{q_}(x)$$_such that:

1.__for every $v\in_E^s_j(x)\backslash\{ 0\}$; $\displaystyle{\lim_{t\rightarrow\pm_\infty}\frac{1}{t}\log\left( \| D\varphi_t(x)v\| \right)=-\lambda_j}$;

2._ for every_$v\in_E^c(x)\backslash\{ 0\}$; $\displaystyle{\lim_{t\rightarrow\pm \infty}\frac{1}{t}\log\left( \| D\varphi_t(x)v\| \right)=0}$;

3.  for every $v\in E^u_j(x)\backslash\{ 0\}$; $\displaystyle{\lim_{t\rightarrow\pm_\infty}\frac{1}{t}\log\left(_\| D\varphi_t(x)v\|_\right)=+\lambda_j}$.\
__  We may ask,_too, that: $\forall x\in N,_\dim(G_-(x)\cap G_+(x))=p$.

Let_us recall that the stable bundle $E^s(x)=E^s_1(x)\oplus E^s_2(x)\oplus\dots\oplus_E^s_{q_}(x)$ and the_unstable one $E^u(x)=E^u_1(x)\oplus E^u_2(x)\oplus\dots\oplus E^u_{q }(x)$ are isotropic (for_the symplectic form) and that $E^c(x)$_is a symplectic_subspace_of_$T_x(T^*M)$ that is orthogonal_(for $\omega$) to $E^s(x)\oplus E^u(x)$. Moreover,_we have: $\dim E^s_i=\dim E^u_i$.

Reduction of_the problem
------------------------

As in the statement of theorem_\[thdimlyap\], we assume that $\mu$ is_a minimizing ergodic measure whose_support is_not reduced to a point_and that $p\in_[1, n]$_is so that