Na análise global e local de sistemas dinâmicos assumimos, em geral, que as equações estão numa forma normal. Em presença de simetrias, as equações e o domínio do problema são invariantes pelo grupo formado por estas simetrias; neste caso, o campo de vetores é equivariante pela ação deste grupo. Quando, além das simetrias, temos também ocorrência de anti-simetrias - ou reversibilidades - as equações e o domínio do problema são ainda invariantes pelo grupo formado pelo conjunto de todas as simetrias e anti-simetrias; neste caso, o campo de vetores é reversível-equivariante. Existem muitos modelos físicos onde simetrias e anti-simetrias aparecem naturalmente e cujo efeito pode ser estudado de uma forma sistemática através de teoria de representação de grupos de Lie. O primeiro passo deste processo é colocar a aplicação que modela tal sistema numa forma normal e isto é feito com a dedução a priori da forma geral dos campos de vetores. Esta forma geral depende de dois componentes: da base de Hilbert do anel das funções invariantes e dos geradores do módulo das aplicações reversíveis-equivariantes. Neste projeto, nos concentramos principalmente na aplicação de resultados recentes da literatura para a construção de uma lista de formas gerais de aplicações reversíveisequivariantes sob a ação de diferentes grupos. Além disso, adaptamos ferramentas algébricas da literatura existentes no contexto equivariante para o estudo sistemático de acoplamento de células idênticas no contexto reversível-equivariante / In the global and local analysis of dynamical systems, we assume, in general, that the equations are in a normal form. In presence of symmetries, the equations and the problem domain are invariant under the group formed by these symmetries; in that case, the vector field is equivariant by the action of this group. When, in addition to the symmetries, we have the occurrence of anti-symmetries - or reversibility - the equations and the problem domain are still invariant by the group formed by the set of all symmetries and anti-symmetries; in this case, the vector field is reversible-equivariant. There are many physical models where both symmetries and anti-symmetries occur naturally and whose effect can be studied in a systematic way through group representation theory. The first step of this process is to put the mapping that model the system in a normal form, and this is done with the deduction of the general form of the vector field. This general form depends on two components: the Hilbert basis of the invariant function ring and also the generators of the module of the revesible-equivariants. In this work, we mainly focus on the applications of recent results of the literature to build a list of general forms of reversible-equivariant mappings under the action of different groups. We also adapt algebraic tools of the existing literature in the equivariant context to the systematic study of coupling of identical cells in the reversible-equivariant context

The purpose of this thesis in to introduce the systematic study of symmetries in binary differential equations (BDEs). We formalize the concept of a symmetric BDE, under the linear action of a compact Lie group. One of the main results establishes a formula that relates the algebraic and geometric effects of the occurrence of the symmetry in the problem. Using tools from invariant theory and representation theory for compact Lie groups we deduce the general forms of equivariant binary differential equations under compact subgroups of O(2). A study about the behavior of the invariant straight lines on the configuration of homogeneous BDEs of degree n is done with emphasis on cases in which n = 0 and n = 1. Also for the linear case (n = 1) the equivariant normal forms are presented. Symmetries of linear 1-forms are also studied and related with symmetries of tangent orthogonal vectors fields associated with it. / O objetivo desta tese é introduzir o estudo sistemático de simetrias em equações diferenciais binárias (EDBs). Neste trabalho formalizamos o conceito de EDB simétrica sobre a ação de um grupo de Lie compacto. Um dos principais resultados é uma fórmula que relaciona o efeito geométrico e algébrico das simetrias presentes no problema. Utilizando ferramentas da teoria invariante e de representação para grupos compactos deduzimos as formas gerais para EDBs equivariantes. Um estudo sobre o comportamento das retas invariantes na configuração de EDBs com coeficientes homogêneos de grau n é feito com ênfase nos casos de grau 0 e 1, ainda no caso de grau 1 são apresentadas suas formas normais. Simetrias de 1-formas lineares são também estudadas e relacionadas com as simetrias dos seus campos tangente e ortogonal.

Na análise global e local de sistemas dinâmicos assumimos, em geral, que as equações estão numa forma normal. Em presença de simetrias, as equações e o domínio do problema são invariantes pelo grupo formado por estas simetrias; neste caso, o campo de vetores é equivariante pela ação deste grupo. Quando, além das simetrias, temos também ocorrência de anti-simetrias - ou reversibilidades - as equações e o domínio do problema são ainda invariantes pelo grupo formado pelo conjunto de todas as simetrias e anti-simetrias; neste caso, o campo de vetores é reversível-equivariante. Existem muitos modelos físicos onde simetrias e anti-simetrias aparecem naturalmente e cujo efeito pode ser estudado de uma forma sistemática através de teoria de representação de grupos de Lie. O primeiro passo deste processo é colocar a aplicação que modela tal sistema numa forma normal e isto é feito com a dedução a priori da forma geral dos campos de vetores. Esta forma geral depende de dois componentes: da base de Hilbert do anel das funções invariantes e dos geradores do módulo das aplicações reversíveis-equivariantes. Neste projeto, nos concentramos principalmente na aplicação de resultados recentes da literatura para a construção de uma lista de formas gerais de aplicações reversíveisequivariantes sob a ação de diferentes grupos. Além disso, adaptamos ferramentas algébricas da literatura existentes no contexto equivariante para o estudo sistemático de acoplamento de células idênticas no contexto reversível-equivariante / In the global and local analysis of dynamical systems, we assume, in general, that the equations are in a normal form. In presence of symmetries, the equations and the problem domain are invariant under the group formed by these symmetries; in that case, the vector field is equivariant by the action of this group. When, in addition to the symmetries, we have the occurrence of anti-symmetries - or reversibility - the equations and the problem domain are still invariant by the group formed by the set of all symmetries and anti-symmetries; in this case, the vector field is reversible-equivariant. There are many physical models where both symmetries and anti-symmetries occur naturally and whose effect can be studied in a systematic way through group representation theory. The first step of this process is to put the mapping that model the system in a normal form, and this is done with the deduction of the general form of the vector field. This general form depends on two components: the Hilbert basis of the invariant function ring and also the generators of the module of the revesible-equivariants. In this work, we mainly focus on the applications of recent results of the literature to build a list of general forms of reversible-equivariant mappings under the action of different groups. We also adapt algebraic tools of the existing literature in the equivariant context to the systematic study of coupling of identical cells in the reversible-equivariant context

The purpose of this thesis in to introduce the systematic study of symmetries in binary differential equations (BDEs). We formalize the concept of a symmetric BDE, under the linear action of a compact Lie group. One of the main results establishes a formula that relates the algebraic and geometric effects of the occurrence of the symmetry in the problem. Using tools from invariant theory and representation theory for compact Lie groups we deduce the general forms of equivariant binary differential equations under compact subgroups of O(2). A study about the behavior of the invariant straight lines on the configuration of homogeneous BDEs of degree n is done with emphasis on cases in which n = 0 and n = 1. Also for the linear case (n = 1) the equivariant normal forms are presented. Symmetries of linear 1-forms are also studied and related with symmetries of tangent orthogonal vectors fields associated with it. / O objetivo desta tese é introduzir o estudo sistemático de simetrias em equações diferenciais binárias (EDBs). Neste trabalho formalizamos o conceito de EDB simétrica sobre a ação de um grupo de Lie compacto. Um dos principais resultados é uma fórmula que relaciona o efeito geométrico e algébrico das simetrias presentes no problema. Utilizando ferramentas da teoria invariante e de representação para grupos compactos deduzimos as formas gerais para EDBs equivariantes. Um estudo sobre o comportamento das retas invariantes na configuração de EDBs com coeficientes homogêneos de grau n é feito com ênfase nos casos de grau 0 e 1, ainda no caso de grau 1 são apresentadas suas formas normais. Simetrias de 1-formas lineares são também estudadas e relacionadas com as simetrias dos seus campos tangente e ortogonal.