G_+(x)=E^u(x)\oplus R(x)  $

Weak K.A.M. solutions and Green bundles {#sec3}
=======================================

In this section, we recall the weak KAM theory and give a relationship between some tangent cones to the pseudographs of the weak KAM solutions and the Green bundles. These results imply theorem \[th1\]. The proofs are given in section \[sec4\].

Weak KAM theory
---------------

We don’t give any proof in this section, but all the results that we give are proved in [@Fa1] or [@Be1].

If $t>0$, the function $A_t~: M\times M\rightarrow {\mathbb {R}}$ is defined by: $$A_t(q_0, q_1)=\inf_\gamma \int_0^tL(\gamma (s), \dot\gamma (s))ds=\min_\gamma \int_0^tL(\gamma (s), \dot\gamma (s))ds$$ where the infimum is taken on the set of $C^2$ curves $\gamma~: [0, t]\rightarrow M$ such that $\gamma (0)=q_0$ and $\gamma (t)=q_1$.

1.  A function $v~: V\rightarrow {\mathbb {R}}$ defined on a subset $V$ of ${\mathbb {R}}^d$ is [*$K$-semi-concave*]{} if for every $x\in V$, there exists a linear form $p_x$ defined on ${\mathbb {R}}^d$ so that: $$\forall y\in V, v(y)\leq v(x)+p_x(y-x)+K\| y-x\|^2.$$ Then we say that $p_x$ is a [*K-super-differential*]{} of $v$ at $x$.

2.  Let us fix a finite atlas ${\cal A}$ of the manifold $M$; a function $u~: M\rightarrow {\mathbb {R}}$ is [*$K$-semi-concave*]{} if for every chart $(U, \phi)$ belonging to ${\cal A}$, $u\circ\phi^{-1}$ is $K$-semi-concave. Then a [*$K$-super-differential*]{} of $u$ at $q$ is $p_x\circ
G_+(x)=E^u(x)\oplus R(x)   $ 

 Weak K.A.M. solutions and Green bundles { # sec3 } 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 In this incision, we echo the weak KAM theory and give a kinship between some tangent cones to the pseudographs of the weak KAM solutions and the Green package. These results imply theorem \[th1\ ]. The proof are given in section \[sec4\ ]. 

 decrepit KAM theory 
 --------------- 

 We do n’t give any validation in this section, but all the results that we give are proved in [ @Fa1 ] or [ @Be1 ]. 

 If $ t>0 $, the function $ A_t~: M\times M\rightarrow { \mathbb { R}}$ is defined by: $ $ A_t(q_0, q_1)=\inf_\gamma \int_0^tL(\gamma (s), \dot\gamma (s))ds=\min_\gamma \int_0^tL(\gamma (s), \dot\gamma (s))ds$$ where the infimum is taken on the stage set of $ C^2 $ curves $ \gamma~: [ 0, t]\rightarrow M$ such that $ \gamma (0)=q_0 $ and $ \gamma (t)=q_1$. 

 1.   A function $ v~: V\rightarrow { \mathbb { R}}$ defined on a subset $ V$ of $ { \mathbb { R}}^d$ is [ * $ K$-semi - concave * ] { } if for every $ x\in V$, there exist a linear form $ p_x$ defined on $ { \mathbb { R}}^d$ so that: $ $ \forall y\in V, v(y)\leq v(x)+p_x(y - x)+K\| y - x\|^2.$$ Then we say that $ p_x$ is a [ * K - ace - differential * ] { } of $ v$ at $ x$. 

 2.   Let us cook a finite atlas $ { \cal A}$ of the manifold $ M$; a function $ u~: M\rightarrow { \mathbb { R}}$ is [ * $ K$-semi - concave * ] { } if for every chart $ (U, \phi)$ belonging to $ { \cal A}$, $ u\circ\phi^{-1}$ is $ K$-semi - concave. Then a [ * $ K$-super - derived function * ] { } of $ u$ at $ q$ is $ p_x\circ
G_+(x)=E^k(x)\oplus R(x)  $

Weak K.A.M. solmtions and Green bundlev {#sec3}
=======================================

Ih this sdction, we recall the weak KAL rheort and give a relationsfip betwevn some tqngeit cones to the 'aeudographs or the xeak KAM solutipns and tha Green bundlev. Ghzse results imply theorem \[th1\]. The projfs are glven in sectiog \[seb4\].

Wqak IAM theory
---------------

We don’t give any proof ih this vection, but akl the results that we givf arf proved in [@Fa1] or [@He1].

If $t>0$, the dunceuon $A_t~: M\timer M\rightargmw {\mathbb {T}}$ is defined by: $$A_t(q_0, q_1)=\inf_\gamma \ing_0^tL(\gakma (s), \dot\gqmna (d))gs=\min_\gamma \mnt_0^tL(\gwmma (s), \dot\gamma (s))ds$$ fhere tne infimum is baken on the set of $C^2$ curves $\jamma~: [0, t]\rightarrow M$ such thad $\yamma (0)=q_0$ and $\gamma (t)=q_1$.

1.  A funcjion $e~: V\rkthtxrrkw {\mzthbb {G}}$ dxfined on a subset $V$ od ${\mathbb {R}}^d$ is [*$K$-semo-cjbcave*]{} if for svery $v\ig V$, there exists a linear form $p_x$ defintd on ${\mathbb {R}}^d$ so that: $$\foraol y\in V, v(y)\leq v(x)+p_x(y-x)+N\| y-x\|^2.$$ Then we say that $p_x$ is a [*K-super-differential*]{} of $v$ at $x$.

2.  Let js ylw a wunlte atlas ${\cal A}$ of the manifold $M$; a function $t~: M\tinhtarrow {\mathbb {V}}$ is [*$K$-semi-concave*]{} of fpt every chart $(O, \phi)$ bzmohging to ${\cal A}$, $u\cigc\phi^{-1}$ if $K$-seni-concave. Them a [*$K$-super-differential*]{} of $u$ at $q$ is $p_x\cprc
G_+(x)=E^u(x)\oplus R(x) $ Weak K.A.M. solutions and {#sec3} In this we recall the a between some tangent to the pseudographs the weak KAM solutions and the bundles. These results imply theorem \[th1\]. The proofs are given in section \[sec4\]. KAM theory --------------- We don’t give any proof in this section, but all results we are in [@Fa1] or [@Be1]. If $t>0$, the function $A_t~: M\times M\rightarrow {\mathbb {R}}$ is defined by: q_1)=\inf_\gamma \int_0^tL(\gamma (s), \dot\gamma (s))ds=\min_\gamma \int_0^tL(\gamma (s), \dot\gamma where the infimum is on the set of $C^2$ $\gamma~: t]\rightarrow M$ that (0)=q_0$ $\gamma (t)=q_1$. 1. function $v~: V\rightarrow {\mathbb {R}}$ defined on a subset $V$ of ${\mathbb {R}}^d$ is [*$K$-semi-concave*]{} if for $x\in V$, a linear $p_x$ on {R}}^d$ so that: V, v(y)\leq v(x)+p_x(y-x)+K\| y-x\|^2.$$ Then we is a [*K-super-differential*]{} of $v$ at $x$. 2. us fix finite atlas ${\cal A}$ of the $M$; a function $u~: M\rightarrow {\mathbb {R}}$ is if for every chart $(U, \phi)$ belonging to ${\cal A}$, $u\circ\phi^{-1}$ is $K$-semi-concave. Then a $u$ at $q$ is
G_+(x)=E^u(x)\oplus R(x)  $

Weak K.A.M. solutiOns and GreeN bundLes {#Sec3}
=======================================

in This SectIon, we recall the WEak KaM theory and give a relatiOnshiP bETweeN SoMe tanGent conES tO THe pSeUdOgrApHS oF the wEak kAM soluTions and thE GrEeN bundles. ThesE ReSults imply TheOrem \[th1\]. The proOfs Are givEn In sECtion \[Sec4\].

weak KaM theoRY
---------------

We don’T give any pRoOF in thiS Section, BUT aLl thE results that we givE ArE Proved in [@Fa1] or [@Be1].

if $t>0$, the FuNCtION $A_t~: m\tiMes M\rightaRrOw {\matHBb {R}}$ is deFInED BY: $$A_t(Q_0, Q_1)=\inf_\gamma \int_0^tl(\gamma (s), \dot\gAMma (S))ds=\min_\GaMma \INt_0^tL(\gaMma (s), \dOt\GAmmA (s))ds$$ where thE infImum is takEn on thE Set of $C^2$ cURves $\gamMa~: [0, t]\rigHtaRroW M$ suCH tHaT $\gaMmA (0)=Q_0$ anD $\GaMma (T)=Q_1$.

1.  A fUnction $v~: v\rIgHtarrOw {\maTHBB {r}}$ defIneD on a SubseT $V$ of ${\mathbb {R}}^d$ iS [*$K$-sEmi-cONcaVe*]{} if fOr eveRy $x\iN V$, There Exists A lineAr Form $p_x$ defined on ${\MathBb {R}}^d$ so thaT: $$\foRaLl y\In v, v(y)\leQ V(x)+p_x(y-x)+k\| y-x\|^2.$$ theN we say tHat $p_x$ is A [*k-suPeR-DIFfErential*]{} of $v$ at $x$.

2.  Let uS fIX A fInite atlAs ${\cal A}$ OF tHe MAnifold $M$; A fUncTion $U~: m\RightArroW {\MaThbb {R}}$ is [*$K$-Semi-coNCaVe*]{} If for evErY chart $(u, \pHi)$ bEloNging TO ${\cal a}$, $u\circ\Phi^{-1}$ is $K$-seMi-conCAve. Then a [*$K$-super-DIfferential*]{} of $U$ At $Q$ IS $p_X\Circ
G_+(x)=E^u(x)\oplus R(x) $

Weak K. A.M.sol uti on s an d Gr een bundles {# s ec3} 
===================== ===== == = ==== = == ===
In this se c t ion ,we  re ca l lthe w eak  KAM th eory and g ive  a  relationshi p  b etween som e t angent cones  to  the p se udo g raphs  of  theweak K A M solu tions and  t h e Gree n  bundle s .  T hese  results imply th e or e m \[th1\]. The  proof sa re g ive n i n section\[ sec4\ ] .

Weak KA M t heo r y
----------- ----

We do n ’tgive a ny  pr o of inthisse c tio n, but alltheresults t hat we give ar e  proved  in [@ Fa1 ] o r [@ B e1 ]. 

I f$ t>0 $ ,the fun ction $A _t ~:  M\ti mesM \ r i ghta rro w {\ mathb b {R}}$ is de fin ed b y : $ $A_t( q_0,q_1) =\ inf_\ gamma\int_ 0^ tL(\gamma (s),\dot \gamma (s ))d s= \mi n_ \gamm a  \int_ 0^t L(\ gamma ( s), \do t \ga mm a ( s) )ds$$ where the in fi m u mis taken  on th e  s et of $C^2$  c urv es $ \ g amma~ : [0 ,  t ]\righta rrow M $  s uc h that$\ gamma(0 )=q _0$  and$ \gam ma (t) =q_1$.
1.  A function $v~:V \rightarrow { \ ma t h bb {R}} $ d efined on a  sub s et $ V$ o f  $ {\m a thbb{R}}^ d$ is [*$K$-semi-concave* ]{ } if f or ev ery $x\in V$,  there exi s t s  a linea r fo r m$ p_x$ defined o n ${\ mathbb {R} } ^d$ so t hat:$$\foral l y\in V, v (y)\leqv(x )+p _x( y-x ) + K\ | y-x\|^2.$$T h en w esay tha t $ p_x$ is  a[*K -su per -d ifferenti al*]{} o f$v $at  $x $.

2 .   Let us  f ixafin ite a t las ${ \calA}$of  t h e m anifold $M $ ;  a f un ct ion$u~ :M\rig htar r ow{\mathb b {R}}$ i s [ * $K$- se mi -concav e*]{} if forev ery chart$( U,\phi)$ b elonging  to ${\cal A}$, $u\circ \ phi^{-1 }$is $K $-se mi-concav e.Then a  [* $ K$-sup er-dif feren ti al* ] { } of$ u $at$q $ is $p_x\ c i rc
G_+(x)=E^u(x)\oplus R(x)_ $

Weak_K.A.M. solutions and Green_bundles {#sec3}
=======================================

In_this_section, we_recall_the weak KAM_theory and give_a relationship between some_tangent cones to_the_pseudographs of the weak KAM solutions and the Green bundles. These results imply theorem_\[th1\]._The proofs_are_given_in section \[sec4\].

Weak KAM theory
---------------

We_don’t give any proof in_this section,_but all the results that we give are_proved_in [@Fa1] or_[@Be1].

If $t>0$, the function $A_t~: M\times M\rightarrow {\mathbb {R}}$_is defined by: $$A_t(q_0, q_1)=\inf_\gamma \int_0^tL(\gamma_(s), \dot\gamma (s))ds=\min_\gamma_\int_0^tL(\gamma_(s),_\dot\gamma (s))ds$$ where the_infimum is taken on the set_of $C^2$ curves $\gamma~: [0, t]\rightarrow_M$ such that $\gamma (0)=q_0$ and $\gamma_(t)=q_1$.

1.  A function $v~: V\rightarrow_{\mathbb {R}}$ defined on a_subset $V$_of ${\mathbb {R}}^d$ is [*$K$-semi-concave*]{}_if for every_$x\in V$,_there exists a_linear form $p_x$ defined on ${\mathbb_{R}}^d$ so that:_$$\forall y\in V, v(y)\leq v(x)+p_x(y-x)+K\| y-x\|^2.$$_Then_we say that_$p_x$_is_a [*K-super-differential*]{}_of $v$ at_$x$.

2._ Let_us_fix a finite atlas ${\cal A}$_of_the manifold $M$; a function $u~: M\rightarrow_{\mathbb {R}}$ is [*$K$-semi-concave*]{}_if_for every chart $(U,_\phi)$ belonging to ${\cal A}$,_$u\circ\phi^{-1}$ is $K$-semi-concave. Then a [*$K$-super-differential*]{}_of $u$_at $q$_is $p_x\circ