Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-04-26T17:48:21Z No. of bitstreams: 1 brunoferreirarizzuti.pdf: 507162 bytes, checksum: 6ccfc7f9025a41c3c8bc647f63d413ea (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-05-13T12:04:02Z (GMT) No. of bitstreams: 1 brunoferreirarizzuti.pdf: 507162 bytes, checksum: 6ccfc7f9025a41c3c8bc647f63d413ea (MD5) / Made available in DSpace on 2017-05-13T12:04:02Z (GMT). No. of bitstreams: 1 brunoferreirarizzuti.pdf: 507162 bytes, checksum: 6ccfc7f9025a41c3c8bc647f63d413ea (MD5) Previous issue date: 2012-02-29 / Passados mais de 60 anos da sua formulação inicial, o método de Dirac-Bergmann para hamiltonização de sistemas lagrangianos singulares continua sendo uma ferramenta poderosa para análise e investigação de modelos atuais de física teórica. Como motivação, apresentaremos vários exemplos onde o método é utilizado e o descreveremos em detalhes em uma sequência de passos. O objetivo central deste trabalho será então apresentar uma série de aplicações distintas do método de Dirac, incluindo a busca de simetrias locais para teorias singulares, a construção da proposta de relatividade especial dupla de Magueijo-Smolin, a formulação da mecânica clássica com invariância de reparametrizações e sua quantização e por fim, discutiremos um modelo semiclássico mecânico que, quando quantizado, reproduz a equação de Dirac. / After more than 60 years of its initial development, the Dirac-Bergmann method for hamiltonization of constrained systems is still a powerful tool for analysis and investigation of modern theoretical models. As a motivation, we shall present several models where the method is applied, then we will describe it in details, with a sequence of steps. The main objective of this work is to provide distinct applications of the Dirac method, including the search for local symmetries of singular theories, the construction of the Magueijo-Smolin doubly special relativity proposal, the formulation of classical mechanics with reparametrization invariance and its quantization and finally, we discuss a semiclassical mechanical model that produces the Dirac equation through quantization.

Orientador: Igor Leite Freire / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica / Made available in DSpace on 2018-08-27T16:11:39Z (GMT). No. of bitstreams: 1 Sampaio_JulioCesarSantos_D.pdf: 2598760 bytes, checksum: b1332349b50fc600ddddb7596fd4b5a4 (MD5) Previous issue date: 2015 / Resumo: Neste trabalho estudamos simetrias de Lie e a teoria de leis de conservação desenvolvida por Ibragimov nos últimos 10 anos. Leis de conservação para várias equações sem Lagrangeanas clássicas foram estabelecidas / Abstract: In this work we study Lie point symmetries and the theory on conservation laws developed by Ibragimov in the last 10 years. Conservation laws for several equations without classical Lagrangians were established / Doutorado / Matematica Aplicada / Doutor em Matemática Aplicada

[pt] Algoritmos para a resolução de problemas de programação mista 0-1 gerais baseados em cortes derivados dos métodos lift-and-project, tem se mostrado bastante eficientes na prática. Estes cortes são gerados resolvendo um problema que depende de uma certa normalização. Desde um ponto de vista teórico, o bom comportamento destes algoritmos não foi completamente compreendido, especialmente no que diz respeito à normalização. Neste trabalho consideramos normalizações gerais definidas por um conjunto convexo fechado arbitrário, estendendo assim a análise teórica desenvolvida nos anos noventa. Apresentamos um marco teórico que abarca todas as normalizações previamente estudadas e introduzimos novas normalizações, analisando as propriedades dos cortes associados.Introduzimos também uma nova fórmula de atualização do parâmetro proximal para uma variante dos métodos de feixes. Estes métodos são bem conhecidos pela sua eficiência na resolução de problemas de otimização não diferenciável. Por último, propomos uma metodologia para eliminr soluções redundantes de programas inteiros combinatórios. Nossa proposta baseia-se na utilização da informação de simetria do problema, eliminam a simetria sem prejudicar a solução do problema inteiro. / [en] Algorithms for general 0-1 mixed integer programs can be successfully developed by using lift-and-project methods to generate cuts. Cuts are generated by solving a cut- generation-program that depends on a certain normalization. From a theoretical point of view, the good numerical behavior of these cuts is not completely understood yet, specially, concerning to the normalization chosen. We consider a general normalization given by an arbitrary closed convex set, extending the theory developed in the 90's. We present a theoretical framework covering a wide group of already known normalizations. We also introduce new normalizations and analyze the properties of the associated cuts. In this work, we also propose a new updating rule for the prox parameter of a variant of the proximal bundle methods, making use of all the information available at each iteration. Proximal bundle methods are well known for their efficiency in nondifferentiable optimization. Finally, we introduce a way to eliminate redundant solutions ( due to geometrical symmetries ) of combinatorial integer program. This can be done by using the information about the problem symmetry in order to generate inequalities, which added to the formulation of the problem, eliminate this symmetry without affecting solution of the integer problem. / [es] Los algoritmos para la resolución de problemas de programación mixta 0-1 generales que utilizan cortes derivados de los métodos lift-and-project, se han mostrado bastante eficientes en la práctica. Estos cortes se generan resolviendo un problema que depende de una cierta normalización. Desde el punto de vista teórico, el buen comportamiento de estos algoritmos no fue completamente comprendido, especialmente respecto a la normalización. En este trabajo consideramos normalizaciones generales definidas por un conjunto convexo cerrado arbitrario, extendiendo así el análisis teórico desarrollado en los años noventa. Presentamos un marco teórico que abarca todas las normalizaciones previamente estudiadas e introducimos nuevas normalizaciones, analizando las propiedades de los cortes asociados. Introducimos una nueva fórmula de actualización del parámetro de. Estoss métodos son bien conocidos por su eficiencia en la resolución de problemas de optimización no diferenciable. Por último, proponemos una metodología para eliminar soluciones redundantes de programas enteros combinatorios. Nuestra propuesta se basa en la utilización de la información de simetría del problema, eliminan la simetría sin perjudicar la solución del problema entero.