Um estudo sobre a dinâmica clássica de sistemas com vínculos

Este trabalho trata de alguns aspectos da formulação hamiltoniana de Dirac para sistemas com vínculos. Nesta formulação as variáveis dinâmicas dependem de funções arbitrárias através das soluções das equações de Hamilton. Neste trabalho apresentamos: (i) uma análise profunda das condições de consistência dos vínculos na teoria de Dirac. (ii) um estudo bem profundo e detalhado das variáveis dinâmicas que são fisicamente significativas. Estas variáveis são definidas como aquelas que não dependem das funções arbitrarias; (iii) um método para calcular o gerador de transformação de gauge de um dado sistema; (iv) dois exemplos de sistemas mecânicos para ilustrar ¨teorias de gauge¨ em mecânica clássica. Para melhor compreender estes exemplos fazemos uma análise formal de alguns aspectos das teorias de gauge.