Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-05-29T11:45:03Z No. of bitstreams: 1 edsonmartinsgagliardi.pdf: 1001962 bytes, checksum: a18ae7643c8253581ca782eebf23bb84 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-05-29T19:17:43Z (GMT) No. of bitstreams: 1 edsonmartinsgagliardi.pdf: 1001962 bytes, checksum: a18ae7643c8253581ca782eebf23bb84 (MD5) / Made available in DSpace on 2017-05-29T19:17:43Z (GMT). No. of bitstreams: 1 edsonmartinsgagliardi.pdf: 1001962 bytes, checksum: a18ae7643c8253581ca782eebf23bb84 (MD5) Previous issue date: 2012-10-04 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Em 1979, J.P. Jouanolou em seu livro ”Equations de Pfaff Algébriques ”[12] apresenta um resultado de densidade que diz que o conjunto de equações algébricas de Pfaff de grau m > 2 em P2 sem soluções algébricas é denso no conjunto das equações algébricas de Pfaff. Por se tratar de um resultado de densidade, era preciso garantir que o conjunto das equações algébricas de Pfaff sem soluções algébricas não é vazio. Para isso, Jouanolou apresenta, neste mesmo trabalho, um exemplo de equação de Pfaff sem solução algébrica. Neste trabalho, estudamos o exemplo do Jouanolou, com base no artigo [23] de Zoladek. O autor traz uma abordagem mais analítica para este problema e apresenta uma demonstração baseada em uma generalização do Teorema de Integração de Darboux, (ver [4]), proposta pelo autor neste mesmo artigo. / In 1979, J.P.Jouanolou, in his book ”Equations de Pfaff Algébriques”[12], presents a density’s result which says that the set of Pfaff’s algebraic equations of degree m > 2 in P2 without algebraic solutions is dense in the set of Pfaff’s algebraic equations. As this is a result about density, it is necessary to ensure that the set of Pfaff’s algebraic equations without algebraic solutions is not empty. In order to do it, Jouanolou presents in the same paper an example of Pfaff’s equation without algebraic solution. In this work, we study the example of Jouanolou, based on the Zoladek’s article [23]. The author brings a more analytical approach to this problem and presents one proof based on a generalization of the Integration Theorem of Darboux (see [4]) proposed by the author in the same article.

Submitted by Renata Lopes (renatasil82@gmail.com) on 2018-08-22T18:18:00Z No. of bitstreams: 1 giovannaarelisbaldeonpenao.pdf: 709529 bytes, checksum: 3a96b8a9a33c7117ccbff2e2ff41c7c0 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2018-09-03T16:34:23Z (GMT) No. of bitstreams: 1 giovannaarelisbaldeonpenao.pdf: 709529 bytes, checksum: 3a96b8a9a33c7117ccbff2e2ff41c7c0 (MD5) / Made available in DSpace on 2018-09-03T16:34:23Z (GMT). No. of bitstreams: 1 giovannaarelisbaldeonpenao.pdf: 709529 bytes, checksum: 3a96b8a9a33c7117ccbff2e2ff41c7c0 (MD5) Previous issue date: 2018-05-30 / O objetivo deste trabalho é estudar um método, apresentado em [6], que nos permite determinar se uma folheação no plano projetivo possui ou não soluções algébricas, usando apenas métodos de computação algébrica. Mais especificamente usando bases de Gröbner. Com este método é possível procurar por outros exemplos de folheações sem soluções algébricas. / The aim of this work is to present a method, given by S. C. Coutinho and Bruno F. M. Ribeiro in [6], to check whether certain holomorphic foliations on the complex projective plane have algebraic solutions, using only methods of algebraic computing or more precisely, using Gröbner bases. This algorithm is then used to produce examples of foliations without algebraic solutions.

On considère des germes de champs de vecteurs holomorphes singuliers trimimensionnels, appelés noeud-cols doublement résonants. Ces champs de vecteurs correspondent à des systèmes différentiels bidimensionnels à singularité irrégulière, et dont la partie linéaire possède deux valeurs propres non-nulles opposées. Ce type de singularité apparait par exemple à l'infini dans les équations de Painlevé PI,...,PV après compactification à poids de l'espace, pour des valeurs génériques des paramètres. Depuis Boutroux, l'étude de ces singularités a générè de nombreux travaux de recherche. Récemment, plusieurs auteurs ont fournis des informations nouvelles, en étudiant notamment les phénomènes de Stokes non-linéaires et quasi-linéaires associés, en donnant des formules de connexion. Les coefficients de Stokes quasi-linéaires sont invariants sous l'action de changement de coordonnées analytiques locaux, mais ne forment pas un système complet d'invariants analytiques. L'objectif de ce travail de thèse est de fournir une classification analytique générale et complète des noeud-cols doublement résonants. L'idée pour cela est d'adapter les travaux de Martinet et Ramis, généralisés ensuite par Stolovitch. Dans une première partie on fournit une classification formelle, i.e. sous l'action de changements de coordonnées formels, en exhibant des formes normales formelles. Dans un second temps, on étudiera l'existence de normalisations sectorielles (analytiques sur des secteurs), généralisant ainsi un théorème de Hukuhara-Kimura-Matuda. Enfin, on étudiera les recollements entre ces applications normalisantes dans les domaines d'intersections: c'est ce que l'on appellera les difféomorphismes de Stokes. Il s'agira là d'étudier des isotropies sectorielles de la forme normale. On verra que la donnée d'une forme normale formelle et d'un couple de difféomorphismes de Stokes fournira un système complet d'invariants analytiques. Enfin, dans une quatrième et dernière partie, nous calculerons certains de ces invariants pour la singularité irrégulière à l'infini de la première équation de Painlevé. / We consider germs of analytic singular vector fields in dimension three, called doubly-resonant saddle-nodes. These vector fields correspond to irregular two-dimensional systems with a pair of two opposite non-zero eigenvalues. This king of singularity appears for instance at infinity in Painlevé equations PI,...,PV, after a weighted compactifcation, for generic values of the parameters. Since Boutroux, the study of these singularities has generated many researches. Recently, several authors provided new informations, by studying for instance the associated non-linear and quasi-lineair Stokes phenomenas and by giving connection formulas. Quasi-linéaire Stokes coefficients are invariant under local analytic change of coordinates, but do not form a complete set of invariants for analytic classification. The goal of this work is to provide a complete analytic classification of doubly-resonant saddle-nodes. The idea for this is to adapt the works of Martinet and Ramis, generalized then by Stolovitch. In the first part, we give a formal classification, based on the existence on unique formal normal forms. In the second part, we prove the existence of sectorial nomalizing maps (analytic over sectors), generalizing a theorem by Hukuhara-Kimura-Matuda. In the third part, we study the Stokes diffeomorphisms, and more generaly the sectorials isotropies of the normal form. We obtain a complet set of analytic invariants. Finally, in the fourth part, we compute some of these invariants in the case of the first Painlevé equation.

Orientador: Marco Antonio Teixeira / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica / Made available in DSpace on 2018-08-26T09:33:59Z (GMT). No. of bitstreams: 1 Souza_WenderJosede_D.pdf: 1230622 bytes, checksum: 578f86e5fe4ff35247fcfb0fb04975b8 (MD5) Previous issue date: 2014 / Resumo: Neste trabalho consideramos alguns aspectos da teoria qualitativa de sistemas dinâmicos suaves por partes. Nosso principal objetivo é estudar uma classe de tais sistemas, onde o conjunto de descontinuidade é dado por uma hipersuperfície ? e além disso, assumimos que em cada região determinada por ? o campo de vetores definido é um sistema Hamiltoniano. Apresentamos estudos relacionados à regularização de campos de vetores suaves por partes em Rn que preservam volume nas componentes suaves. Abordamos também singularidades de funções suaves por partes, onde formas normais e seus desdobramentos são apresentados. Por fim estudamos bifurcações de campos de vetores Hamiltonianos refrativos / Abstract: In this work, we consider some aspects of the qualitative theory of non smooth dynamical systems in Rn. Our main goal is to study a class of such systems where the discontinuity set is concentrated in a hypersurface ? and moreover, we assume that in each region determined by ? the vector field is a Hamiltonian system. We present studies related to the regularization of piecewise vector fields in Rn that are volume preserving on each smooth components. We also analyze singularities of piecewise smooth functions where normal forms and their unfolding are presented. Finally, we study bifurcations of refractive Hamiltonian vector fields / Doutorado / Matematica / Doutor em Matemática

Em Computação Gráfica, campos vetoriais possuem diversas aplicações desde a síntese e mapeamento de texturas à animações de fluidos, produzindo efeitos amplamente utilizados na indústria do entretenimento. Para produzir tais campos, é preferível o uso de ferramentas de design em vez de simulações numéricas não só devido ao menor custo computacional mas, principalmente, por prover liberdade ao artista ao sintetizar o campo de acordo com a sua necessidade. Atualmente, na literatura, existem bons métodos de design de campos vetoriais em superfícies de objetos tridimensionais porém, o design no interior desses objetos ainda é pouco estudado, principalmente quando o campo de interesse possui propriedades específicas. O objetivo deste trabalho é desenvolver uma técnica para sintetizar campos vetoriais, com características do movimento de fluidos incompressíveis, no interior de domínios. Em uma primeira etapa, o método consiste na interpolação dos vetores de controle, com uma certa propriedade desejada, em todo o domínio. Posteriormente, o campo obtido é modificado para respeitar a geometria do contorno. / Vector fields are important to an wide range of applications on the field of Computer Graphics, from the synthesis and mapping of textures to fluid animation, producing effects widely used on the entertainment industry. To produce such fields, design tools are prefered over numerical simulations not only for its lower computational cost, but mainly by providing freedom to the artist in the creation process. Nowadays, good methods of vector field design over surfaces exist in literature, however there is only a few studies on the synthesis of vector fields of the interior of objects and even fewer when specific properties of the field are required. This work presents a technique to synthesize vector fields with properties of imcompressible fluids motion in the interior of objects. On a first step, the method consists in interpolating control vectors with a certain desired property throughout the whole domain and later the resulting field is modified to properly fit the boundary geometry of the object.

With the increased performance and reduced cost of cameras, the robotics community has taken great interest in estimation and control algorithms that fuse camera data with other sensor data.In response to this interest, this dissertation investigates the algorithms needed for robust guidance, navigation, and control of fixed-wing and multirotor aircraft applied to target estimation and circumnavigation.This work begins with the development of a method to estimate target position relative to static landmarks, deriving and using a state-of-the-art EKF that estimates static landmarks in its state.Following this estimator, improvements are made to a nonlinear observer solving part of the SLAM problem.These improvements include a moving origin process to keep the coordinate origin within the camera field of view and a sliding window iteration algorithm to drastically improve convergence speed of the observer.Next, observers to directly estimate relative target position are created with a circumnavigation guidance law for a multirotor aircraft.Taking a look at fixed-wing aircraft, a state-dependent LQR controller with inputs based on vector fields is developed, in addition to an EKF derived from error state and Lie group theory to estimate aircraft state and inertial wind velocity.The robustness of this controller/estimator combination is demonstrated through Monte Carlo simulations.Next, the accuracy, robustness, and consistency of a state-of-the-art EKF are improved for multirotors by augmenting the filter with a drag coefficient, partial updates, and keyframe resets.Monte Carlo simulations demonstrate the improved accuracy and consistency of the augmented filter.Lastly, a visual-inertial EKF using image coordinates is derived, as well as an offline calibration tool to estimate the transforms needed for accurate, visual-inertial estimation algorithms.The imaged-based EKF and calibrator are also shown to be robust under various conditions through numerical simulation.

Cette thèse contient deux parties distinctes, reliées par le thème de l’étude géométrique du problème à trois corps. La première partie présente un point de vue sur les enjeux et les perspectives liés à la diffusion des mathématiques, et illustre ce point de vue à l’aide de deux projets de diffusion « grand public » : une exposition virtuelle autour de la mécanique céleste et du problème à trois corps, et un duo de contes mathématiques pour enfants, l’un sur la forme de la lune, et l’autre sur l’enlacement de courbes fermées. La présentation de ces projets est suivie d’une analyse a priori et d’une étude des observations recueillies lors de différentes expérimentations auprès de publics variés. La deuxième partie est consacrée à l’étude – théorique et numérique – de l’enlacement des trajectoires de quelques systèmes dynamiques sur la 3-sphère, et en particulier de certaines instances du problème à trois corps. On y présente d’abord le problème à trois corps restreint, plan, circulaire, en s’intéressant tout particulièrement au cas où une des deux primaires disparait. On se ramène ainsi à un flot sur la 3-shpère dont on connaît explicitement des sections de Birkhoff en disque ou en anneau, et on met en lumière des éléments qui tendent à montrer le caractère lévogyre de ce flot. On explore ensuite, à l’aide de simulations numériques, la possibilité que le système reste lévogyre sur un domaine assez éloigné de ce cas dégénéré. Enfin, on s’intéresse aux flots sur la 3-sphère qui admettent une section de Birkhoff en disque et on traduit la notion d’enlacement de mesures invariantes pour le flot en termes d’enroulement de mesures invariantes pour le difféomorphisme de premier retour. / This thesis contains two distinct parts, connected by the subject of the geometric study of the three body problem.The first part presents a point of view about the stakes and prospects of the popularization of mathematics, and it illustrates this point of view with two projects of popularization for a general public : a virtual exhibition about celestial mechanics and the three body problem, and a pair of mathematical tales for children, one about the shape of the moon, and the other about the linking number of two closed curves. The presentation of these projects is followed by an initial analysis and by a study of the observations collected during different experimentations towards various publics. The second part is devoted to the theoretical and computational study of the linking number of trajectories from a few dynamical systems on the 3-sphere, and in particular from some cases of the restricted three body problem. We first present the planar, circular, restricted three body problem, with a particular attention to the case where one of the two heavy bodies vanishes. We thus restrict ourselves to a flow on the 3-shpere for which disk-like or annular-like Birkhoff sections are explicitely known, and we bring to light evidences of the right-handedness of this flow. Then we investigate, with the help of computer simulations, the possibility for the system to stay right-handed over a domain rather distant from this degenerate case. Finally, we consider the flows on the 3-sphere which admit a disk-like Birkhoff section, and we translate the notion of linking for measures that are invariant by a flow into the notion of winding for measures that are invariant by the first return map on the disk.

Nous proposons dans ce mémoire de thèse une méthodologie permettant la résolution du problème de la décomposition de Hodge-Helmholtz discrète sur maillages polyédriques. Le défi de ce travail consiste à respecter les propriétés de la décomposition au niveau discret. Pour répondre à cet objectif, nous menons une étude bibliographique nous permettant d'identifier la nécessité de la mise en oeuvre de schémas numériques mimétiques. La description ainsi que la validation de la mise en oeuvre de ces schémas sont présentées dans ce mémoire. Nous revisitons et améliorons les méthodes de décomposition que nous étudions ensuite au travers d'expériences numériques. En particulier, nous détaillons le choix d'un solveur linéaire ainsi que la convergence des quantités extraites sur un ensemble varié de maillages polyédriques et de conditions aux limites. Nous appliquons finalement la décomposition de Hodge-Helmholtz à l'étude de deux écoulements turbulents : un écoulement en canal plan et un écoulement turbulent homogène isotrope. / We propose in this thesis a methodology to compute the Helmholtz-Hodge decomposition on discrete polyhedral meshes. The challenge of this work isto preserve the properties of the decomposition at the discrete level. In our literature survey, we have identified the need of mimetic schemes to achieve our goal. The description and validation of our implementation of these schemes are presented inthis document. We revisit and improve the methods of decomposition we then study through numerical experiments. In particular, we detail our choice of linear solvers and the convergence of extracted quantities on various series of polyhedral meshes and boundary conditions. Finally, we apply the Helmholtz-Hodge decomposition to the study of two turbulent flows: a turbulent channel flow and a homogeneous isotropic turbulent flow.

We consider a simple one-dimensional random dynamical system with two driving vector fields and random switchings between them. We show that this system satisfies a one force - one solution principle and compute its unique invariant density explicitly. We study the limiting behavior of the invariant density as the switching rate approaches zero and infinity and derive analogues of classical probabilistic results such as the central limit theorem and large deviations principle.

CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel Superior / Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / FundaÃÃo de Amparo à Pesquisa do Estado do Amazonas / Esta tese està composta de quatro partes distintas. Na primeira parte, vamos dar uma nova caracterizaÃÃo da esfera euclidiana como a Ãnica variedade Riemanniana compacta com curvatura escalar constante e admitindo um campo de vetores conforme nÃo trivial que à tambÃm Ricci conforme. Na segunda parte, provaremos algumas propriedades dos quase sÃlitons de Ricci, as quais permitem estabelecer condiÃÃes de rigidez desses objetos, bem como caracterizar as estruturas de quase sÃlitons de Ricci gradiente na esfera euclidiana. ImersÃes isomÃtricas tambÃm serÃo consideradas; classificaremos os quase sÃlitons de Ricci imersos em formas espaciais, atravÃs de uma condiÃÃo algÃbrica sobre a funÃÃo sÃliton. AlÃm disso, vamos caracterizar, atravÃs de uma condiÃÃo sobre o operador de umbilicidade, as hipersuperfÃcies n-dimensionais de uma forma espacial, com curvatura mÃdia constante, tendo duas curvaturas principais distintas e com multiplicidades p e n - p. Na terceira parte, provaremos um resultado de rigidez e algumas fÃrmulas integrais para uma mÃtrica m-quasi-Einstein generalizada compacta. Na Ãltima parte, vamos apresentar uma relaÃÃo entre a curvatura gaussiana e o Ãngulo de contato de superfÃcies imersas na esfera euclidiana tridimensional,a qual permite concluir que a superfÃcie à plana, se o Ãngulo de contato for constante. AlÃm disso, deduziremos que o toro de Clifford à a Ãnica superfÃcie compacta com curvatura mÃdia constante tendo tal propriedade. / This thesis is composed of four distinct parts. In the first part, we shall give a new characterization of the Euclidean sphere as the only compact Riemannian manifold with constant scalar curvature carrying a conformal vector eld non-trivial which is also Ricci conformal. In the second part, we shall prove some properties of almost Ricci solitons, which allow us to establish conditions for rigidity of these objects, as well as characterize the structures of gradient almost Ricci soliton in Euclidean sphere. Isometric immersions also will be considered, we shall classify almost Ricci solitons immersed in space forms, through algebraic condition on soliton function. Furthermore, we characterize under a condition of the umbilicity operator, n-dimensional hypersurfaces in a space form with constant mean curvature, admitting two distinct principal curvatures with multiplicities p and n - p. In the third part, we prove a result of rigidity and some integral formulae for a compact generalized m-quasi-Einstein metric. In the last part, we present a relation between the Gaussian curvature and the contact angle of surfaces immersed in Euclidean three-dimensional sphere, which allows us to conclude that such a surface is at provided its contact angle is constant. Moreover, we deduce that Clifford tori are the unique compact surfaces with constant mean curvature having such property.