 bundle. We consider a Tonelli Hamiltonian $H~: T^*M\rightarrow {\mathbb {R}}$, i.e. a $C^2$ function that is strictly $C^2$-convex and superlinear in the fiber. The Hamiltonian flow associated with such a function is denoted by $(\varphi_t)_{t\in{\mathbb {R}}}$ or $(\varphi_t^H)_{t\in{\mathbb {R}}}$. To such a Hamiltonian, there corresponds a Lagrangian function $L~: TM\rightarrow {\mathbb {R}}$ that has the same regularity as $H$ and is also superlinear and strictly convex in the fiber. The corresponding Euler-Lagrange flow is denoted by $(f_t)_{t\in{\mathbb {R}}}$.

For such a Hamiltonian system, it is usual to study its “minimizing objects”; more precisely, a piece of orbit $(\varphi_t(q,p))_{t\in [a,b]}=(q_t, p_t)_{t\in[a,b]}$ is minimizing if the arc $(q_t)_{t\in[a, b]}$ minimizes the action functional $A_L$ defined by $A_L(\gamma )=\int_a^bL(\gamma (t), \dot\gamma (t))dt$ among the $C^2$-arcs joining $q_a$ to $q_b$. More generally, if $I$ is an interval and $(\varphi_t)_{t\in I}=(q_t, p_t)_{t\in I}$ is an orbit piece, we say that it is minimizing if for every segment $[a,b]\subset I$, its restriction to $[a,b]$ is minimizing. Then we call the set of points of $T^*M$ whose (complete) orbit is minimizing the [*Mañé set*]{}. We denote it by ${\mathcal {N}}^*(H)$ and its projection, the [*projected Mañé set*]{}, is denoted by: ${\mathcal {N}}(H)=\pi ({\mathcal {N}}^*(H))$. The Mañé set is non empty, compact and invariant by the Hamiltonian flow (see [@Fa1]). The first proof of the non-emptiness of the Mañé set is due to J. Mather: he proved in the 90’s in [@mather1] the existence of minimizing measures.

We are interested in invariant subsets of the Mañé set
bundle. We consider a Tonelli Hamiltonian $ H~: T^*M\rightarrow { \mathbb { R}}$, i.e. a $ C^2 $ function that is strictly $ C^2$-convex and superlinear in the roughage. The Hamiltonian menstruation associated with such a function is denoted by $ (\varphi_t)_{t\in{\mathbb { R}}}$ or $ (\varphi_t^H)_{t\in{\mathbb { R}}}$. To such a Hamiltonian, there equate a Lagrangian function $ L~: TM\rightarrow { \mathbb { R}}$ that has the like regularity as $ H$ and is also superlinear and strictly convex in the fiber. The comparable Euler - Lagrange menstruation is denoted by $ (f_t)_{t\in{\mathbb { R}}}$. 

 For such a Hamiltonian organization, it is usual to study its “ understate object ”; more precisely, a piece of eye socket $ (\varphi_t(q, p))_{t\in [ a, b]}=(q_t, p_t)_{t\in[a, b]}$ is minimizing if the arc $ (q_t)_{t\in[a, b]}$ minimizes the military action functional $ A_L$ defined by $ A_L(\gamma) = \int_a^bL(\gamma (t), \dot\gamma (t))dt$ among the $ C^2$-arcs joining $ q_a$ to $ q_b$. More broadly, if $ I$ is an interval and $ (\varphi_t)_{t\in I}=(q_t, p_t)_{t\in I}$ is an orbit piece, we say that it is minimize if for every segment $ [ a, b]\subset I$, its restriction to $ [ a, b]$ is minimizing. Then we call the hardening of points of $ T^*M$ whose (complete) orbit is minimizing the [ * Mañé set * ] { }. We denote it by $ { \mathcal { N}}^*(H)$ and its projection, the [ * projected Mañé set * ] { }, is denoted by: $ { \mathcal { N}}(H)=\pi ({ \mathcal { N}}^*(H))$. The Mañé set is non empty, compact and invariant by the Hamiltonian flow (see [ @Fa1 ]). The first validation of the non - emptiness of the Mañé stage set is due to J.   Mather: he prove in the 90 ’s in [ @mather1 ] the being of minimizing measures. 

 We are interested in changeless subsets of the Mañé jell
 bujdle. We consider a Tonelui Hamiltonian $K~: T^*M\rigitarrow {\mathbb {F}}$, i.e. a $C^2$ function that is stcictoy $C^2$-cinvex and superlinear kn the fiher. The Yamioronian flox associated wjbh sueh a function is denoted bf $(\varphi_t)_{t\in{\madhcb {R}}}$ or $(\varphi_t^H)_{t\in{\mathbb {R}}}$. To such a Hamiltpnlan, there corrgsponcf a Magrangian function $L~: TM\rightarrow {\mathbb {R}}$ that has tne same regularity as $H$ anf is also superlinear wnd strictli cogcex in the fkber. The corresponding Euler-Lagrange flow is denoted cy $(f_t)_{c\in{\mathbb {R}}}$.

Doe skwh a Hamiltinian system, it is usual do studu its “minimizikg oboectw”; more precisely, a pixce of orbit $(\varphi_t(z,p))_{t\in [a,b]}=(q_d, '_t)_{t\in[a,b]}$ is minimizing id the arc $(q_t)_{t\kb[a, c]}$ mjnmmiaes thf artion functjonal $A_L$ dedined by $A_L(\gamma )=\inu_a^bJ(\tamma (t), \dot\gajma (t))de$ wmong the $C^2$-arcs joining $q_a$ to $q_b$. More gtneramly, if $I$ is an interval and $(\varphi_t)_{t\in I}=(q_t, p_j)_{t\in I}$ is wn orbit piece, we say that it is minimizing if fos evecy seynent $[x,v]\skbset I$, its restriction to $[a,b]$ is minimizing. Trsn wv call the set of points of $Y^*M$ wnjse (complete) urbit na jinimizing the [*Mañé det*]{}. We qenotw it by ${\mwthcsl {N}}^*(H)$ and its projection, thw [*projected Iqñé set*]{}, is denoted bv: ${\mathcal {N}}(H)=\'i ({\matncal {M}}^*(H))$. The Mañé set is non em'ty, cojpact and ijvariant gh the Hamiltoniav fkof (see [@Fa1]). The first proof os the non-xmptiuess of ghe Kañé set is due to J. Matmar: he proved in thf 90’s iu [@matver1] the exlstence of minimizing measures.

Wx are interesjed in invariaut subxets of the Mwñé set
bundle. We consider a Tonelli Hamiltonian $H~: {R}}$, a $C^2$ that is strictly fiber. Hamiltonian flow associated such a function denoted by $(\varphi_t)_{t\in{\mathbb {R}}}$ or $(\varphi_t^H)_{t\in{\mathbb To such a Hamiltonian, there corresponds a Lagrangian function $L~: TM\rightarrow {\mathbb {R}}$ has the same regularity as $H$ and is also superlinear and strictly convex the The Euler-Lagrange is denoted by $(f_t)_{t\in{\mathbb {R}}}$. For such a Hamiltonian system, it is usual to study its objects”; more precisely, a piece of orbit $(\varphi_t(q,p))_{t\in p_t)_{t\in[a,b]}$ is minimizing if arc $(q_t)_{t\in[a, b]}$ minimizes the functional defined by )=\int_a^bL(\gamma \dot\gamma among the $C^2$-arcs $q_a$ to $q_b$. More generally, if $I$ is an interval and $(\varphi_t)_{t\in I}=(q_t, p_t)_{t\in I}$ is an piece, we it is if every $[a,b]\subset I$, its $[a,b]$ is minimizing. Then we call points of $T^*M$ whose (complete) orbit is minimizing [*Mañé set*]{}. denote it by ${\mathcal {N}}^*(H)$ and projection, the [*projected Mañé set*]{}, is denoted by: {N}}(H)=\pi ({\mathcal {N}}^*(H))$. The Mañé set is non empty, compact and invariant by the Hamiltonian [@Fa1]). The first proof the non-emptiness of Mañé is to Mather: he in the 90’s in [@mather1] the existence of minimizing measures. We interested in invariant subsets of the Mañé set
 bundle. We consider a Tonelli HAmiltonian $h~: T^*M\riGhtArrOw {\MathBb {R}}$, i.E. a $C^2$ function thaT Is stRictly $C^2$-convex and superlInear In THe fiBEr. the HaMiltoniAN fLOW asSoCiAteD wITh Such a FunCtion is Denoted by $(\vArpHi_T)_{t\in{\mathbb {R}}}$ oR $(\VaRphi_t^H)_{t\in{\mAthBb {R}}}$. To such a HaMilTonian, ThEre COrresPonDs a LaGrangiAN functIon $L~: TM\rigHtARrow {\maTHbb {R}}$ thaT HAs The sAme regularity as $H$ aND iS Also superlineaR and stRiCTlY COnvEx iN the fiber. THe CorreSPonding eUlER-lAgrANge flow is denoTed by $(f_t)_{t\in{\mAThbB {R}}}$.

For sUcH a HAMiltonIan syStEM, it Is usual to stUdy iTs “minimizIng objECts”; more PReciselY, a piecE of OrbIt $(\vaRPhI_t(Q,p))_{t\In [A,B]}=(q_t, P_T)_{t\In[a,B]}$ Is mInimizinG iF tHe arc $(Q_t)_{t\iN[A, B]}$ MInimIzeS the ActioN functional $A_L$ DefIned BY $A_L(\Gamma )=\Int_a^bl(\gamMa (T), \dot\gAmma (t))dT$ amonG tHe $C^2$-arcs joining $q_A$ to $q_B$. More geneRalLy, If $I$ Is An intERval anD $(\vaRphI_t)_{t\in I}=(q_T, p_t)_{t\in I}$ IS an OrBIT PiEce, we say that it is miNiMIZiNg if for eVery seGMeNt $[A,B]\subset I$, ItS reStriCTIon to $[A,b]$ is MInImizing. THen we cALl ThE set of pOiNts of $T^*m$ wHosE (coMpletE) OrbiT is minImizing tHe [*MañÉ Set*]{}. We denote it bY ${\Mathcal {N}}^*(H)$ and iTS pROJeCTion, The [*Projected MaÑé seT*]{}, Is deNoteD By: ${\MatHCal {N}}(H)=\Pi ({\matHcAL {N}}^*(h))$. the Mañé set is non emptY, cOmpact And inVariant by the HAmiltonian FLOW (see [@Fa1]). ThE firST pROof of the non-empTinesS of the Mañé SEt is due tO J. MatHer: he proVed in the 90’s IN [@Mather1] thE exIstEncE of MINiMizing measureS.

wE are InTeresteD in InvariaNt sUbsEts Of tHe mañé set
 bundle. We consider a Ton elli Hamil tonia n $ H~:  T ^*M\ righ tarrow {\mathb b  {R} }$, i.e. a $C^2$ funct ion t ha t  iss tr ictly  $C^2$- c on v e x a nd  s upe rl i ne ar in  th e fiber . The Hami lto ni an flow asso c ia ted with s uch  a functionisdenote dby$ (\var phi _t)_{ t\in{\ m athbb{R}}}$ or  $ ( \varph i _t^H)_{ t \ in {\ma thbb {R}}}$. To s u ch a Hamiltonian,  there  c o rr e s pon dsa Lagrangi an  func t ion $L~ :  T M \ r igh t arrow {\mathb b {R}}$ tha t  ha s thesa mer egular ity a s$ H$and is also  sup erlinearand st r ictly c o nvex in  the f ibe r.Thec or re spo nd i ngE ul er- L agr ange flo wis  deno tedb y $ (f_t )_{ t\in {\mat hbb {R}}}$.
For  suc h  aHamil tonia n sy st em, i t is u sualto  study its “min imiz ing objec ts” ;mor epreci s ely, a  pi ece  of orb it $(\v a rph i_ t ( q ,p ))_{t\in [a,b]}=(q _t , p_ t)_{t\in [a,b]} $  i sm inimizin gifthea r c $(q _t)_ { t\ in[a, b] }$ min i mi ze s the a ct ion fu nc tio nal  $A_L $  def ined b y $A_L(\ gamma )=\int_a^bL(\g a mma (t), \dot \ ga m m a( t))d t$among the $ C^2$ - arcs  joi n in g $ q _a$ t o $q_ b$ .  M o re generally, if $I $is aninter val and $(\va rphi_t)_{t \ i n  I}=(q_t , p_ t )_ { t\in I}$ is an  orbi t piece, w e  say tha t itis minim izing iff o r everyseg men t $ [a, b ] \s ubset I$, its r estr ic tion to  $[ a,b]$ i s m ini miz ing .Then we c all these tof  p oin ts of $T^*M$ w ho se(c omp lete) orbitis mi nimi zi ng the  [*Mañé se t * ]{}.  W edeno teit  by $ {\ma t hca l {N}}^ *(H)$ and  it s  pro je ct ion, th e [*projected  M añé set*]{ },  is  denot e d  by: ${\ mathcal {N}}(H)=\pi ({\ m athcal{N} }^*(H ))$.  The Mañé  se t is n one mpty,compac t and  i nva r i ant b y th e H am iltonian f l o w ( see [ @F a1]) . The f irst proof of then on- emptiness ofthe  Mañ é se t i s  d u e t oJ . M a t her: he provedin the 90’ si n[@mather1] the  e xistenc e of mi nimiz i ng meas ures.

We  are inte re sted i n i nvariant s ubsets o f the Mañ é  set
 bundle._We consider_a Tonelli Hamiltonian $H~:_T^*M\rightarrow {\mathbb_{R}}$,_i.e. a_$C^2$_function that is_strictly $C^2$-convex and_superlinear in the fiber._The Hamiltonian flow_associated_with such a function is denoted by $(\varphi_t)_{t\in{\mathbb {R}}}$ or $(\varphi_t^H)_{t\in{\mathbb {R}}}$. To such_a_Hamiltonian, there_corresponds_a_Lagrangian function $L~: TM\rightarrow {\mathbb_{R}}$ that has the same_regularity as_$H$ and is also superlinear and strictly convex_in_the fiber. The_corresponding Euler-Lagrange flow is denoted by $(f_t)_{t\in{\mathbb {R}}}$.

For such_a Hamiltonian system, it is usual_to study its_“minimizing_objects”;_more precisely, a piece_of orbit $(\varphi_t(q,p))_{t\in [a,b]}=(q_t, p_t)_{t\in[a,b]}$ is_minimizing if the arc $(q_t)_{t\in[a, b]}$_minimizes the action functional $A_L$ defined by_$A_L(\gamma )=\int_a^bL(\gamma (t), \dot\gamma (t))dt$ among_the $C^2$-arcs joining $q_a$ to_$q_b$. More_generally, if $I$ is an_interval and $(\varphi_t)_{t\in_I}=(q_t, p_t)_{t\in_I}$ is an_orbit piece, we say that it_is minimizing if_for every segment $[a,b]\subset I$, its_restriction_to $[a,b]$ is_minimizing._Then_we call_the set of_points_of $T^*M$_whose_(complete) orbit is minimizing the [*Mañé_set*]{}._We denote it by ${\mathcal {N}}^*(H)$ and_its projection, the [*projected_Mañé_set*]{}, is denoted by:_${\mathcal {N}}(H)=\pi ({\mathcal {N}}^*(H))$. The_Mañé set is non empty, compact_and invariant_by the_Hamiltonian flow (see [@Fa1]). The first proof of the non-emptiness of_the Mañé set is due to_J. Mather: he proved in_the 90’s_in_[@mather1] the existence_of_minimizing measures.

We_are interested in invariant subsets of the_Mañé set