L$ implies that $X'$ is a convex subset of $X$. We want to show that for any $x\in X'$, there exists a unique map $u\in\mathcal{C}_L$ that minimizes the energy among maps in $\mathcal{C}_L$ such that $u(x_0)=x$. Let $u,v\in\mathcal{C}_L$ such that $u(x_0)=v(x_0)=x\in X_0$ then we have $$\label{ineq}
\int_Md(u,v)^2\underset{(\mathrm{PI})}{\leq}C\int_M||\nabla d(u,v)||^2\underset{(\mathrm{CI})}{\leq}C\left[\frac{1}{2}\left(E(u)+E(v)\right)-E(m)\right]$$ where $C$ is some positive number and $m$ is the midpoint of the segment $[u,v]$. Actually, Inequality (PI) is a Poincaré inequality (Lemma \[poincaré\]) for the function $d(u,v)$, which is $2L$-Lipschitz and vanishes at $x_0$, and Inequality (CI) is [@MR1266480 Inequality (2.6ii)]. Inequality (\[ineq\]) shows that an energy minimizing sequence $(u_n)$ with $u_n(x_0)=x$ for any $n$ is Cauchy and thus an energy minimizing map in $\{u\in\mathcal{C}_l\ |\ u(x_0)=x\}$ exists and is unique. Let us denote by $f_x$ this map.\
We define $I(x)$ to be $E(f_x)$. Now, we aim to show that $I\colon X'\to{\mathbb{R}}^+$ is a convex lower semicontinuous function. Assume this is the case, since $I$ is $\Gamma$-invariant and lower semicontinuous, its lower levelsets $X_r:=\{x\in X'|\ I(x)\leq r\}$ are $\Gamma$-invariant closed convex subsets of $X$. Proposition 4.4 in [@Duchesne:2011fk] implies that the intersection $\cap_{r>\inf I}I_r$ is non empty otherwise the center of directions associated to $\{I_r
L$ implies that $ X'$ is a convex subset of $ X$. We want to show that for any $ x\in X'$, there exists a alone function $ u\in\mathcal{C}_L$ that minimizes the energy among map in $ \mathcal{C}_L$ such that $ u(x_0)=x$. get $ u, v\in\mathcal{C}_L$ such that $ u(x_0)=v(x_0)=x\in X_0 $ then we have $ $ \label{ineq } 
 \int_Md(u, v)^2\underset{(\mathrm{PI})}{\leq}C\int_M||\nabla d(u, v)||^2\underset{(\mathrm{CI})}{\leq}C\left[\frac{1}{2}\left(E(u)+E(v)\right)-E(m)\right]$$ where $ C$ is some positivist issue and $ m$ is the midpoint of the section $ [ uracil, v]$. Actually, Inequality (PI) is a Poincaré inequality (Lemma \[poincaré\ ]) for the function $ d(u, v)$, which is $ 2L$-Lipschitz and vanishes at $ x_0 $, and Inequality (CI) is [ @MR1266480 Inequality (2.6ii) ]. Inequality (\[ineq\ ]) show that an energy minimizing sequence $ (u_n)$ with $ u_n(x_0)=x$ for any $ n$ is Cauchy and therefore an energy minimizing map in $ \{u\in\mathcal{C}_l\ |\ u(x_0)=x\}$ exists and is unique. Let us denote by $ f_x$ this map.\ 
 We define $ I(x)$ to be $ E(f_x)$. nowadays, we aim to show that $ I\colon X'\to{\mathbb{R}}^+$ is a convex lower semicontinuous function. wear this is the case, since $ I$ is $ \Gamma$-invariant and lower semicontinuous, its lower levelsets $ X_r:=\{x\in X'|\ I(x)\leq r\}$ are $ \Gamma$-invariant closed convex subset of $ X$. Proposition 4.4 in [ @Duchesne:2011fk ] implies that the overlap $ \cap_{r>\inf I}I_r$ is non empty otherwise the center of directions associated to $ \{I_r
L$ ilplies that $X'$ is a convew subset of $X$. We want tm show that fof any $x\in X'$, there exists a uiiquw map $u\in\mathcal{C}_L$ that minkmizes thv energy qmonj maps in $\mathcal{C}_L$ such that $h(w_0)=x$. Lec $n,v\in\mathcal{C}_L$ soch that $u(x_0)=v(f_0)=x\in X_0$ then we hxvz $$\label{ineq}
\int_Md(u,v)^2\underset{(\mathrm{PI})}{\lez}C\int_M||\nsbpa d(u,v)||^2\underset{(\iathgm{SI})}{\les}B\ltft[\frac{1}{2}\left(E(u)+E(v)\right)-E(m)\right]$$ where $C$ is smme positive mumber and $m$ is the midpoijt ov the segment $[u,v]$. Aftually, Inewualyry (PI) is a Puincaré inequality (Lemmz \[poincaré\]) for the function $d(u,v)$, dhich is $2L$-Lipscyirz wtd vanishes at $x_0$, and Inequallny (CI) iv [@MR1266480 Inrquality (2.6ii)]. Incqualmty (\[uneq\]) shows that an enxrgy minimizing sequgnce $(u_n)$ widh $u_n(x_0)=x$ for any $n$ iw Xauchi and thur an entrgb mjnimizlng map in $\{u\ih\mathcal{C}_l\ |\ u(x_0)=x\}$ exists and is inywue. Let us dehote br $s_x$ this map.\
We define $I(x)$ to be $E(f_x)$. Now, wt aim to show that $I\colon X'\ti{\mathbb{R}}^+$ is a convex power semycontinuous function. Assume this is the case, sinca $I$ ia $\Ganmw$-kbvwriant and lower semicontinuous, its lower levqmstts $X_r:=\{x\in X'|\ I(x)\leq r\}$ are $\Gamms$-ijvstiant closed cunvex subaets of $X$. Propositlon 4.4 in [@Duchwsne:2011fk] imklies that the intersection $\cap_{r>\unf I}I_r$ is njb empty otherwise che center oy direvtionx associated to $\{I_r
L$ implies that $X'$ is a convex $X$. want to that for any unique $u\in\mathcal{C}_L$ that minimizes energy among maps $\mathcal{C}_L$ such that $u(x_0)=x$. Let $u,v\in\mathcal{C}_L$ that $u(x_0)=v(x_0)=x\in X_0$ then we have $$\label{ineq} \int_Md(u,v)^2\underset{(\mathrm{PI})}{\leq}C\int_M||\nabla d(u,v)||^2\underset{(\mathrm{CI})}{\leq}C\left[\frac{1}{2}\left(E(u)+E(v)\right)-E(m)\right]$$ where $C$ is some number and $m$ is the midpoint of the segment $[u,v]$. Actually, Inequality (PI) a inequality \[poincaré\]) the function $d(u,v)$, which is $2L$-Lipschitz and vanishes at $x_0$, and Inequality (CI) is [@MR1266480 Inequality Inequality (\[ineq\]) shows that an energy minimizing sequence with $u_n(x_0)=x$ for any is Cauchy and thus an minimizing in $\{u\in\mathcal{C}_l\ u(x_0)=x\}$ and unique. Let us by $f_x$ this map.\ We define $I(x)$ to be $E(f_x)$. Now, we aim to show that $I\colon is a semicontinuous function. this the since $I$ is lower semicontinuous, its lower levelsets $X_r:=\{x\in are $\Gamma$-invariant closed convex subsets of $X$. Proposition in [@Duchesne:2011fk] that the intersection $\cap_{r>\inf I}I_r$ is empty otherwise the center of directions associated to
L$ implies that $X'$ is a convex subSet of $X$. We waNt to sHow ThaT fOr anY $x\in x'$, there exists a uNIque Map $u\in\mathcal{C}_L$ that minImizeS tHE eneRGy Among Maps in $\mAThCAL{C}_L$ SuCh ThaT $u(X_0)=X$. LEt $u,v\iN\maThcal{C}_L$ Such that $u(x_0)=V(x_0)=x\In x_0$ then we have $$\lABeL{ineq}
\int_Md(U,v)^2\uNderset{(\mathrM{PI})}{\Leq}C\inT_M||\NabLA d(u,v)||^2\uNdeRset{(\mAthrm{Ci})}{\Leq}C\leFt[\frac{1}{2}\lefT(E(U)+e(v)\righT)-e(m)\right]$$ WHErE $C$ is Some positive numbeR AnD $M$ is the midpoint Of the sEgMEnT $[U,V]$. AcTuaLly, InequalItY (PI) is A poincarÉ InEQUAliTY (Lemma \[poincarÉ\]) for the funcTIon $D(u,v)$, whiCh Is $2L$-lIpschiTz and VaNIshEs at $x_0$, and IneQualIty (CI) is [@MR1266480 inequaLIty (2.6ii)]. InEQuality (\[Ineq\]) shOws ThaT an eNErGy MinImIZinG SeQueNCe $(u_N)$ with $u_n(x_0)=X$ fOr Any $n$ iS CauCHY ANd thUs aN eneRgy miNimizing map in $\{U\in\MathCAl{C}_L\ |\ u(x_0)=x\}$ eXists And iS uNique. let us dEnote By $F_x$ this map.\
We defiNe $I(x)$ To be $E(f_x)$. NoW, we AiM to ShOw thaT $i\colon x'\to{\MatHbb{R}}^+$ is a Convex lOWer SeMICOnTinuous function. AssUmE THiS is the caSe, sincE $i$ iS $\GAMma$-invarIaNt aNd loWER semiContINuOus, its loWer levELsEtS $X_r:=\{x\in X'|\ i(x)\Leq r\}$ arE $\GAmmA$-inVariaNT cloSed conVex subseTs of $X$. pRoposition 4.4 in [@DuCHesne:2011fk] implieS ThAT ThE InteRseCtion $\cap_{r>\inF I}I_r$ IS non EmptY OtHerWIse thE centEr OF dIRections associated tO $\{I_R
L$ implies that $X'$ is aconvex sub set o f $ X$.  W e wa nt t o show that fo r  any  $x\in X'$, there exis ts aun i quem ap  $u\i n\mathc a l{ C } _L$  t ha t m in i mi zes t heenergyamong maps  in  $ \mathcal{C}_ L $such that$u( x_0)=x$. Let  $u ,v\in\ ma thc a l{C}_ L$suchthat $ u (x_0)= v(x_0)=x\ in X_0$ t h en we h a v e$$\l abel{ineq}
\int_M d (u , v)^2\underset{ (\math rm { PI } ) }{\ leq }C\int_M|| \n ablad (u,v)|| ^ 2\ u n d ers e t{(\mathrm{CI })}{\leq}C\ l eft [\frac {1 }{2 } \left( E(u)+ E( v )\r ight)-E(m)\ righ t]$$ wher e $C$i s somep ositive  numbe r a nd$m$i sth e m id p oin t  o f t h e s egment $ [u ,v ]$. A ctua l l y ,  Ine qua lity  (PI)  is a Poincar é i nequ a lit y (Le mma \ [poi nc aré\] ) forthe f un ction $d(u,v)$,  whi ch is $2L $-L ip sch it z and vanish esat$x_0$,and Ine q ual it y ( CI ) is [@MR1266480 I ne q u al ity (2.6 ii)].I ne qu a lity (\[ in eq\ ]) s h o ws th at a n  e nergy mi nimizi n gse quence$( u_n)$wi th$u_ n(x_0 ) =x$for an y $n$ is  Cauc h y and thus ane nergy minimiz i ng m ap in $ \{u \in\mathcal {C}_ l \ |\  u(x _ 0) =x\ } $ exi sts a nd is unique. Let us deno te  by $f _x$ t his map.\
Wedefine $I( x ) $  to be $ E(f_ x )$ .  Now, we aim t o sho w that $I\ c olon X'\ to{\m athbb{R} }^+$ is a c onvex lo wer  se mic ont i n uo us function.A s sume  t his isthe  case,sin ce$I$  is  $ \Gamma$-i nvariant  a nd  l ow ersemic o ntinuous ,its  l owe r lev e lsets$X_r: =\{x \i nX '|\  I(x)\l e qr \ }$ a re  $ \Gam ma$ -i nvari antc los ed conv ex subset s o f  $X$ .Pr opositi on 4.4 in [@D uc hesne:2011 fk ] i mplies t hat theintersection $\cap_{r>\ i nf I}I_ r$is no n em pty other wis e thecen t er ofdirect ionsas soc i a ted t o $\ {I_ r
L$ implies_that $X'$_is a convex subset_of $X$._We_want to_show_that for any_$x\in X'$, there_exists a unique map_$u\in\mathcal{C}_L$ that minimizes_the_energy among maps in $\mathcal{C}_L$ such that $u(x_0)=x$. Let $u,v\in\mathcal{C}_L$ such that $u(x_0)=v(x_0)=x\in X_0$_then_we have_$$\label{ineq}
\int_Md(u,v)^2\underset{(\mathrm{PI})}{\leq}C\int_M||\nabla_d(u,v)||^2\underset{(\mathrm{CI})}{\leq}C\left[\frac{1}{2}\left(E(u)+E(v)\right)-E(m)\right]$$_where $C$ is some positive_number and $m$ is the_midpoint of_the segment $[u,v]$. Actually, Inequality (PI) is a_Poincaré_inequality (Lemma \[poincaré\])_for the function $d(u,v)$, which is $2L$-Lipschitz and vanishes_at $x_0$, and Inequality (CI) is_[@MR1266480 Inequality (2.6ii)]._Inequality_(\[ineq\])_shows that an energy_minimizing sequence $(u_n)$ with $u_n(x_0)=x$ for_any $n$ is Cauchy and thus_an energy minimizing map in $\{u\in\mathcal{C}_l\ |\_u(x_0)=x\}$ exists and is unique. Let_us denote by $f_x$ this_map.\
We define_$I(x)$ to be $E(f_x)$. Now,_we aim to_show that_$I\colon X'\to{\mathbb{R}}^+$ is_a convex lower semicontinuous function. Assume_this is the_case, since $I$ is $\Gamma$-invariant and_lower_semicontinuous, its lower_levelsets_$X_r:=\{x\in_X'|\ I(x)\leq_r\}$ are $\Gamma$-invariant_closed_convex subsets_of_$X$. Proposition 4.4 in [@Duchesne:2011fk] implies_that_the intersection $\cap_{r>\inf I}I_r$ is non empty_otherwise the center of_directions_associated to $\{I_r