[ca] Durant els darrers quaranta anys la geometria diferencial ha estat una eina fonamental per entendre la teoria de control òptim. Habitualment la millor estratègia per resoldre un problema és transformar-lo en un altre problema que sigui més tractable. El Principi del Màxim de Pontryagin proporciona al problema de control òptim d'una estructura Hamiltoniana. Les solucions del problema Hamiltonià que satisfan unes determinades propietats són candidates a ésser solucions del problema de control òptim. Aquestes corbes candidates reben el nom d'extremals. Per tant, el Principi del Màxim de Pontryagin aixeca el problema original a l'espai cotangent. En aquesta tesi desenvolupem una demostració completa i geomètrica del Principi del Màxim de Pontryagin. Investiguem cuidadosament els punts més delicats de la demostració, que per exemple inclouen les perturbacions del controls, l'aproximació lineal del conjunt de punts accessibles i la condició de separació. Entre totes les solucions d'un problema de control òptim, existeixen les corbes anormals. Aquestes corbes no depenen de la funció de cost que es vol minimitzar, sinó que només depenen de la geometria del sistema de control. En la literatura de control òptim, existeixen estudis sobre l'anormalitat, tot i que només per a sistemes lineals o afins en el controls i sobretot amb funcions de cost quadràtiques en els controls. Nosaltres descrivim un mètode geomètric nou per caracteritzar tots els diferents tipus d'extremals (no només les anormals) de problemes de control òptim genèrics. Aquest mètode s'obté com una adaptació d'un algoritme de lligadures presimplèctic. El nostre interès en les corbes anormals es degut a les corbes òptimes estrictament anormals, les quals també queden caracteritzades mitjançant l'algoritme descrit en aquesta tesi. Com aplicació del mètode mencionat, caracteritzem les extremals d'un problema de control òptim lliure, aquell on el domini de definició no està donat. En concret, els problemes de temps mínim són problemes de control òptim lliures. A més a més, som capaços de donar una corba extremal estrictament anormal aplicant el mètode descrit per a un sistema mecànic. Un cop la noció d'anormalitat ha estat estudiada en general, ens concentrem en l'estudi de l'anormalitat per a sistemes de control mecànics, perquè no existeixen resultats sobre l'existència de corbes òptimes estrictament anormals per a problemes de control òptim associats a aquests sistemes. En aquesta tesi es donen resultats sobre les extremals anormals quan la funció de cost és quadràtica en els controls o si el funcional a minimitzar és el temps. A més a més, la caracterització d'anormals en casos particulars és descrita mitjançant elements geomètrics com les formes quadràtiques vector valorades. Aquests elements geomètrics apareixen com a resultat d'aplicar el mètode descrit en aquesta tesi. També tractem un altre enfocament de l'estudi de l'anormalitat de sistemes de control mecànics, que consisteix a aprofitar l'equivalència que existeix entre els sistemes de control noholònoms i els sistemes de control cinemàtics. Provem l'equivalència entre els problemes de control òptim associats a ambdós sistemes de control i això permet establir relacions entre les corbes extremals del problema nonholònom i del cinemàtic. Aquestes relacions permeten donar un example d'una corba òptima estrictament anormal en un problema de temps mínim per a sistemes de control mecànics. Finalment, i deixant de banda per un moment l'anormalitat, donem una formulació geomètrica dels problemes de control òptim no autònoms mitjançant la formulació unificada de Skinner-Rusk. La formulació descrita en aquesta tesis és fins i tot aplicable a sistemes de control implícits que apareixen en un gran nombre de problemes de control òptim dins de l'àmbit de l'enginyeria, com per exemple els sistemes Lagrangians controlats i els sistemes descriptors.

[en] For the last forty years, differential geometry has provided a means of understanding optimal control theory. Usually the best strategy to solve a difficult problem is to transform it into a different problem that can be dealt with more easily. Pontryagin's Maximum Principle provides the optimal control problem with a Hamiltonian structure. The solutions to the Hamiltonian problem, satisfying particular conditions, are candidates to be solutions to the optimal control problem. These candidates are called extremals. Thus, Pontryagin's Maximum Principle lifts the original problem to the cotangent bundle. In this thesis, we develop a complete geometric proof of Pontryagin's Maximum Principle. We investigate carefully the crucial points in the proof such as the perturbations of the controls, the linear approximation of the reachable set and the separation condition. Among all the solutions to an optimal control problem, there exist the abnormal curves. These do not depend on the cost function we want to minimize, but only on the geometry of the control system. Some work has been done in the study of abnormality, although only for control-linear and control-affine systems with mainly control-quadratic cost functions. Here we present a novel geometric method to characterize all the different kinds of extremals (not only the abnormal ones) in general optimal control problems. This method is an adaptation of the presymplectic constraint algorithm. Our interest in the abnormal curves is with the strict abnormal minimizers. These last minimizers can be characterized by the geometric algorithm presented in this thesis. As an application of the above-mentioned method, we characterize the extremals for the free optimal control problems that include, in particular, the time-optimal control problem. Moreover, an example of an strict abnormal extremal for a control-affine system is found using the geometric method. Furthermore, we focus on the description of abnormality for optimal control problems for mechanical control systems, because no results about the existence of strict abnormal minimizers are known for these problems. Results about the abnormal extremals are given when the cost function is control-quadratic or the time must be minimized. In this dissertation, the abnormality is characterized in particular cases through geometric constructions such as vectorvalued quadratic forms that appear as a result of applying the previous geometric procedure. The optimal control problems for mechanical control systems are also tackled taking advantage of the equivalence between nonholonomic control systems and kinematic control systems. In this thesis, it is found an equivalence between time-optimal control problems for both control systems. The results allow us to give an example of a local strict abnormal minimizer in a time-optimal control problem for a mechanical control system. Finally, setting aside the abnormality, the non-autonomous optimal control problem is described geometrically using the Skinner-Rusk unified formalism. This approach is valid for implicit control systems that arise in optimal control problems for the controlled Lagrangian systems and for descriptor systems. Both systems are common in engineering problems.