 with blades or skates. There are thus multiple applications in the context of wheeled motion, space or mobile robotics and robotic manipulation. In this paper, we will introduce some new geometric techniques in nonholonomic mechanics to study the case of force minimizing optimal control problems.

The application of modern tools from differential geometry in the fields of mechanics, control theory, field theory and numerical integration has led to significant progress in these research areas. For instance, the study of the geometrical formulation of the nonholonomic equations of motion has led to better understanding of different engineering problems such locomotion generation, controllability, motion planning, and trajectory tracking (see e.g. [@Bl], [@bloch2], [@blochcrouch], [@blochcrouch2], [@blochcrouch3], [@borisovmamaev], [@bullolewis], [@kellymurray], [@jair], [@LR1], [@LMdD], [@lewisandrew], [@murraysastry], [@ostrowoski] and references therein). Geometric techniques can also be used to study optimal control problems (see [@blochcrouch3], [@cortes; @noho], [@CoMa], [@Vu], [@Vu2], [@Su], [@SuJu]). Combining these ideas in this paper, we study the underlying geometry of optimal control problems for mechanical systems subject to nonholonomic constraints and we apply it to several interesting examples.

Classical nonholonomic constraints which are linear in the velocities can be geometrically encoded by a constant rank distribution $\mathcal{D}$. As we will see, the distribution $\mathcal{D}$ will play the role of the velocity phase space. Given a mechanical Lagrangian $L=K-V: TQ\rightarrow {\mathbb R}$ where $K$ and $V$ are the kinetic and potential energy, respectively. and the distribution ${\mathcal D}$, the dynamics of the nonholonomic system is completely determined using the Lagrange-d’Alembert principle [@Bl]. In this paper we will formulate a description in terms of a Levi Civita connection defined on the space of vector fields taking values on ${\mathcal D}$. This connection is obtained by projecting the standard Lie bracket using the Riemannian metric associated with the kinetic energy $K$ (see [@maria2]) and the typical characterization of the Levi-Civita connection (see also [@BlochHussein]). By adding controls in this setting we can study optimal control
with blades or skates. There are thus multiple application in the context of wheeled apparent motion, space or mobile robotics and robotic handling. In this paper, we will introduce some new geometric technique in nonholonomic mechanics to study the event of force minimizing optimum control problems. 

 The application of modern creature from differential geometry in the fields of mechanics, control theory, field hypothesis and numerical integration has led to meaning progress in these research areas. For instance, the study of the geometric formulation of the nonholonomic equations of motion has led to better reason of different engineering problems such locomotion generation, controllability, motion planning, and trajectory tracking (see e.g. [ @Bl ], [ @bloch2 ], [ @blochcrouch ], [ @blochcrouch2 ], [ @blochcrouch3 ], [ @borisovmamaev ], [ @bullolewis ], [ @kellymurray ], [ @jair ], [ @LR1 ], [ @LMdD ], [ @lewisandrew ], [ @murraysastry ], [ @ostrowoski ] and references therein). Geometric techniques can also be used to study optimal control problems (see [ @blochcrouch3 ], [ @cortes; @noho ], [ @CoMa ], [ @Vu ], [ @Vu2 ], [ @Su ], [ @SuJu ]). unite these ideas in this paper, we learn the underlie geometry of optimal control problems for mechanical system subject to nonholonomic constraints and we apply it to several interesting exercise. 

 Classical nonholonomic constraints which are linear in the velocities can be geometrically encoded by a ceaseless rank distribution $ \mathcal{D}$. As we will see, the distribution $ \mathcal{D}$ will play the role of the speed phase space. establish a mechanical Lagrangian $ L = K - V: TQ\rightarrow { \mathbb R}$ where $ K$ and $ V$ are the kinetic and potential energy, respectively. and the distribution $ { \mathcal D}$, the dynamics of the nonholonomic system is wholly determined using the Lagrange - d’Alembert principle [ @Bl ]. In this paper we will formulate a description in terms of a Levi Civita connection defined on the space of vector field carry values on $ { \mathcal D}$. This connection is obtain by projecting the standard Lie bracket use the Riemannian metric associate with the kinetic department of energy $ K$ (see [ @maria2 ]) and the typical characterization of the Levi - Civita joining (see besides [ @BlochHussein ]). By adding controls in this setting we can learn optimal control
 wihh blades or skates. Thert are thus multiple applmcationa in the context of wheeled motion, s'ace or mibile robotics and robutic maniiulation. Un tiis paper, we will introdmee sojc new jeometric technlques in notholonomic mecvavies to study the case of force minimising opyilal control prjblekf.

The application of modern tools from siffereitial geometry on the fields of mechanics, conhrol theory, field hheory and bumewucal integragion has ltd to signifjcant progress in these researcf arecs. For instqnxe, hve study of the deometrical nprmuladion of the nonholonokic eqyations of motion has led to better undgrstanding oy different engineeribg probnems sucf lozomktmon generwtikn, controlmability, morion planning, and ttatvvtory trackihg (see e.d. [@Bl], [@bloch2], [@blochcrouch], [@blochcrouch2], [@blocvcrkuch3], [@borisovmamaev], [@bullilewis], [@kellymurray], [@jalr], [@LR1], [@LMdQ], [@lewisandrew], [@murraysastry], [@ostrowoski] and referenwes tiefeiu). Geomdrrlc techniques can also be used to study optimwm voktrol problems (sce [@blochcrouch3], [@coryed; @mjho], [@CoMa], [@Vu], [@Vo2], [@Su], [@SuLh]). Dombining these idfas in jhis pqper, we suudy yhe underlying geometry of iptimal contgol problems for mechauical systemr sunject to nonholonomic constrcints znd we applj it to ssxeral interestine eqampnes.

Classical nonholonomic sonstrainvs whnch are uinesr in ehe velocihies gdn be geometricallj encldad by a cojstant rank distribution $\mathcal{D}$. As we will xea, tve distrnbutiok $\mathcal{D}$ will play the role of the velozity phase space. Jiven a mechwnical Lagranclan $L=K-V: TQ\rijhtarrow {\iathvb R}$ where $Y$ and $V$ are the kinetic cud potentual energy, respectlvely. znd the distribbuiob ${\mathcal D}$, the dyvamycd pf dhe nonholonmmic syryem ir compltceln ddterkined using the Lagrdnge-s’Alembert principlr [@Nl]. In thiw paper re will formukate a description in txrms oh a Lefi Sivita connection defined on tge space lf yector fields taklng dalues on ${\kathcal D}$. This connection is obtained bb projecting the standaed Lie bracket usiny uhe Riemanniai metryc associdted with the kinetix energy $K$ (see [@mavia2]) and the typical chzractesizatlon of the Levi-Civita connection (see also [@BlochHussein]). By adding controls in thms setting we can studj o'tikal cogtrop
with blades or skates. There are thus in context of motion, space or In paper, we will some new geometric in nonholonomic mechanics to study the of force minimizing optimal control problems. The application of modern tools from differential in the fields of mechanics, control theory, field theory and numerical integration has to progress these areas. For instance, the study of the geometrical formulation of the nonholonomic equations of motion has to better understanding of different engineering problems such generation, controllability, motion planning, trajectory tracking (see e.g. [@Bl], [@blochcrouch], [@blochcrouch3], [@borisovmamaev], [@kellymurray], [@LR1], [@lewisandrew], [@murraysastry], [@ostrowoski] references therein). Geometric techniques can also be used to study optimal control problems (see [@blochcrouch3], [@cortes; @noho], [@Vu], [@Vu2], Combining these in paper, study the underlying optimal control problems for mechanical systems constraints and we apply it to several interesting Classical nonholonomic which are linear in the velocities be geometrically encoded by a constant rank distribution As we will see, the distribution $\mathcal{D}$ will play the role of the velocity phase a mechanical Lagrangian $L=K-V: {\mathbb R}$ where and are kinetic potential energy, and the distribution ${\mathcal D}$, the dynamics of the nonholonomic system completely determined using the Lagrange-d’Alembert principle [@Bl]. In this paper formulate description in terms a Levi Civita connection on space of vector fields on D}$. obtained projecting standard Lie bracket using Riemannian metric associated with the energy $K$ (see [@maria2]) the Levi-Civita connection (see also [@BlochHussein]). By adding in this setting we can study optimal
 with blades or skates. There arE thus multiPle apPliCatIoNs in The cOntext of wheeleD MotiOn, space or mobile roboticS and rObOTic mANiPulatIon. In thIS pAPEr, wE wIlL inTrODuCe somE neW geometRic techniqUes In Nonholonomic MEcHanics to stUdy The case of forCe mInimizInG opTImal cOntRol prOblems.

tHe applIcation of MoDErn tooLS from diFFErEntiAl geometry in the fiELdS Of mechanics, conTrol thEoRY, fIELd tHeoRy and numerIcAl intEGration HAs LED To sIGnificant progRess in these REseArch arEaS. FoR InstanCe, the StUDy oF the geometrIcal FormulatiOn of thE NonholoNOmic equAtions Of mOtiOn haS LeD tO beTtER unDErStaNDinG of diffeReNt EnginEeriNG PRObleMs sUch lOcomoTion generatioN, coNtroLLabIlity, MotioN plaNnIng, anD trajeCtory TrAcking (see e.g. [@Bl], [@blOch2], [@bLochcroucH], [@blOcHcrOuCh2], [@bloCHcroucH3], [@boRisOvmamaeV], [@bullolEWis], [@KeLLYMuRray], [@jair], [@LR1], [@LMdD], [@lewiSaNDReW], [@murraysAstry], [@oSTrOwOSki] and reFeRenCes tHERein). GEomeTRiC techniqUes can ALsO bE used to StUdy optImAl cOntRol prOBlemS (see [@blOchcroucH3], [@cortES; @noho], [@CoMa], [@Vu], [@Vu2], [@SU], [@suJu]). Combining THeSE IdEAs in ThiS paper, we stuDy thE UndeRlyiNG gEomETry of OptimAl COnTRol problems for mechaNiCal sysTems sUbject to nonhoLonomic conSTRAints and We apPLy IT to several inteRestiNg examples.

cLassical NonhoLonomic cOnstraintS WHich are lIneAr iN thE veLOCiTies can be geomETRicaLlY encodeD by A constaNt rAnk DisTriBuTion $\mathcAl{D}$. As we wIlL sEe, ThE diStribUTion $\mathCaL{D}$ wIlL plAy the ROle of tHe velOcitY pHaSE spAce. GiveN A mECHaniCaL LAgraNgiAn $l=K-V: TQ\RighTArrOw {\mathbB R}$ where $K$ aNd $V$ ARe thE kInEtic and Potential enerGy, RespectiveLy. And The disTRIbution ${\mAthcal D}$, the dynamics of the NOnholonOmiC systEm is CompletelY deTerminEd uSIng the lagranGe-d’AlEmBerT PRinciPLE [@BL]. In ThIs paper we wILL foRmulaTe A desCriptioN in terms of a Levi CivITa cOnnection defiNed On thE SPaCe oF VeCTor FiELds TAKing values on ${\matHcal D}$. This cOnNEcTion is obtaINed By ProjectIng the sTandaRD Lie braCket using The RiemanNiAn meTRIc aSsociated wIth the kiNetic enerGY $K$ (see [@MArIa2]) and The TypicaL cHarActerIzatioN Of tHe LevI-CivitA cOnnectIon (seE aLso [@Blochhussein]). By adding controls In this SettiNg wE can study OptIMal Control
 with blades or skates. Th ere are th us mu lti ple  a ppli cati ons in the con t extof wheeled motion, spa ce or  m o bile ro botic s and r o bo t i c m an ip ula ti o n.  In t his  paper,  we will i ntr od uce some new ge ometric te chn iques in non hol onomic  m ech a nicstostudy  the c a se offorce min im i zing o p timal c o n tr ol p roblems.

The app l ic a tion of modern  tools  f r om d iff ere ntial geom et ry in the fie l ds o f  me c hanics, contr ol theory,f iel d theo ry  an d  numer icalin t egr ation has l ed t o signifi cant p r ogressi n these  resea rch  ar eas. Fo rins ta n ce, th e s t udy  of thege om etric al f o r m u lati onof t he no nholonomic eq uat ions ofmotio n has  led  t o bet ter un derst an ding of differe nt e ngineerin g p ro ble ms  such locomo tio n g enerati on, con t rol la b i l it y, motion planning ,a n dtrajecto ry tra c ki ng (see e.g .[@B l],[ @ bloch 2],[ @b lochcrou ch], [ @ bl oc hcrouch 2] , [@bl oc hcr ouc h3],[ @bor isovma maev], [ @bull o lewis], [@kell y murray], [@ja i r] , [@ L R1],  [@ LMdD], [@le wisa n drew ], [ @ mu rra y sastr y], [ @o s tr o woski] and referenc es  there in).Geometric tec hniques ca n a lso be u sedt os tudy optimal c ontro l problems (see [@b lochc rouch3],  [@cortes ; @noho],[@C oMa ],[@V u ] ,[@Vu2], [@Su] , [@Su Ju ]). Com bin ing the seide asinth is paper,  we stud yth eun der lying geometry  o f o pt ima l con t rol pr oblem s fo rme c han ical sy s te m s  sub je ct  tonon ho lonom ic c o nst raintsand we ap ply it t ose veral i nteresting ex am ples.

Cla ss ica l nonh o l onomic c onstraints which are li n ear inthe  velo citi es can be  ge ometri cal l y enco ded by  a co ns tan t rankd i st rib ut ion $\math c a l{D }$. A swe w ill see , the distribution $\m athcal{D}$ wi llplay t he  ro l eo f t he vel o c ity phase space . Given ame c ha nical Lagr a ngi an  $L=K-V : TQ\ri ghtar r ow {\ma thbb R}$where $K$  a nd $ V $  ar e the kine tic andpotential energ y ,respe cti vely.an d t he di stribu t ion  ${\m athcal  D }$, th e dyn am ics of t he nonholonomic systemis com plete lydetermine d u s ing  the Lagr ange -d’Alember t p rin ciple  [@ B l]. I n th i spap e r wewill formulate ades c r ip tion in ter m s ofa Lev i C i vita c onne ction defined ont he space of ve ctor f iel dst akin gvalues on ${\m ath ca l D}$. Thi sconnectionis obtai ne d  by p roject ing th e stand a r dL ie bra cket  us ing the R iem an n ian met ri ca ssocia tedwi th the  kinet i c en e r gy $K$ (see [@ma ria2] ) and t h e t ypica lcharact e riza tion of th e Levi-Civi ta con nect ion ( see als o[@Bloc hHu ss ein]). Bya dding con trols  in thi ssett ing  we ca n st u d y opt imal  c ont rol
 with_blades or_skates. There are thus_multiple applications_in_the context_of_wheeled motion, space_or mobile robotics_and robotic manipulation. In_this paper, we_will_introduce some new geometric techniques in nonholonomic mechanics to study the case of force_minimizing_optimal control_problems.

The_application_of modern tools from differential_geometry in the fields of_mechanics, control_theory, field theory and numerical integration has led_to_significant progress in_these research areas. For instance, the study of the_geometrical formulation of the nonholonomic equations_of motion has_led_to_better understanding of different_engineering problems such locomotion generation, controllability,_motion planning, and trajectory tracking (see_e.g. [@Bl], [@bloch2], [@blochcrouch], [@blochcrouch2], [@blochcrouch3], [@borisovmamaev],_[@bullolewis], [@kellymurray], [@jair], [@LR1], [@LMdD], [@lewisandrew],_[@murraysastry], [@ostrowoski] and references therein)._Geometric techniques_can also be used to_study optimal control_problems (see_[@blochcrouch3], [@cortes; @noho],_[@CoMa], [@Vu], [@Vu2], [@Su], [@SuJu]). Combining_these ideas in_this paper, we study the underlying_geometry_of optimal control_problems_for_mechanical systems_subject to nonholonomic_constraints_and we_apply_it to several interesting examples.

Classical nonholonomic_constraints_which are linear in the velocities can_be geometrically encoded by_a_constant rank distribution $\mathcal{D}$._As we will see, the_distribution $\mathcal{D}$ will play the role_of the_velocity phase_space. Given a mechanical Lagrangian $L=K-V: TQ\rightarrow {\mathbb R}$ where $K$_and $V$ are the kinetic and_potential energy, respectively. and_the distribution_${\mathcal_D}$, the dynamics_of_the nonholonomic_system is completely determined using the Lagrange-d’Alembert_principle [@Bl]._In this paper we will formulate_a description in terms_of_a Levi Civita connection defined on_the space of vector fields taking_values on ${\mathcal D}$. This_connection_is_obtained by projecting the standard_Lie bracket using the Riemannian metric_associated with the_kinetic energy $K$ (see [@maria2]) and the_typical_characterization of the Levi-Civita connection (see_also_[@BlochHussein]). By adding controls in this_setting_we_can study optimal control