Made available in DSpace on 2014-06-12T18:32:10Z (GMT). No. of bitstreams: 2 arquivo8539_1.pdf: 1688292 bytes, checksum: e78c7455af4fbe24c0efc101f531e1e3 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2004 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Nesta dissertação, fizemos um estudo detalhado das formas normais e da estabilidade de equilíbrios para sistemas Hamiltonianos autônomos e periódicos e aplicamos ao estudo da estabilidade dos pontos de libração do problema restrito dos três corpos nos casos planar circular e espacial circular. Estudamos formas normais para sistemas Hamiltonianos lineares e não-lineares. Para os lineares, consideramos um algoritmo para obter a forma normal quando os autovalores são imaginários puros, um teorema que permite obter a forma normal quando os autovalores são distintos e uma tabela que fornece formas normais para funções Hamiltonianas quadráticas. Para os não lineares, aprendemos as teorias das formas normais de Gustavson, de Birkhoff e de Lie para sistemas Hamiltonianos autônomos e periódicos e, com base nestas teorias, obtivemos a forma normal de algumas funções Hamiltonianas. Estudamos a estabilidade de equilíbrios para sistemas de equações diferenciais ordinárias lineares (autônomos e periódicos) e não-lineares, além disso, adaptamos alguns teoremas para sistemas Hamiltonianos. Com base nos Teoremas de Arnold-Moser e Cabral-Meyer, estudamos a estabilidade para sistemas Hamiltonianos periódicos com um grau de liberdade e sistemas autônomos com dois. Estudamos também a estabilidade para sistemas Hamiltonianos periódicos com dois graus de liberdade e generalizamos alguns resultados para sistemas com n graus de liberdade. No último capítulo, mostramos que os três pontos de libração colineares do problema restrito dos três corpos são instáveis e analisamos em que condições temos a estabilidade dos triangulares

Made available in DSpace on 2014-06-12T18:33:26Z (GMT). No. of bitstreams: 2 arquivo8708_1.pdf: 641279 bytes, checksum: 176b50adc085511ce542a61442eb1916 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2007 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Nesta dissertação, trabalhamos com Sistemas Mecânicos, sobre a estabilidade de um ponto de equilíbrio, e sobre a existência de órbitas perióodicas em torno do mesmo. Além disso, há questionamentos sobre a existência de famílias de órbitas perióodicas numa vizinhança de tal ponto. Lyapunov estabeleceu o Teorema do Centro de Lyapunov, o qual dá condições suficientes para garantirmos a existência desta família. Mas, infelizmente (ou felizmente!) tal teorema não se aplica ao problema discutido pelo Martin Kummer no artigo On Resonant Non Linearly Coupled Oscillators with Two Equal Frequencies, problema sugerido por um caso especial do hamiltoniano de Hénon-Heiles (Ref.[5]). Tal trabalho se utiliza de vários teoremas fortes sobre fluxos induzidos por hamiltonianos. O Teorema do Twist (de Moser) aparece como protagonista na decisão de estabelecer uma condição suficiente para que a família de órbitas seja estável

Orientador: Edson Denis Leonel / Resumo: Este estudo objetiva provar que sistemas dinâmicos de dimensão N, de codimensão um e satisfazendo as condições do teorema da bifurcação de Hopf, podem ser expressos em uma forma analítica simplificada que preserva a topologia do espaço de fases da configuração original, na vizinhança do ponto de equilíbrio. A esta forma simplificada é atribuído o nome de forma normal. Para tanto, foi utilizado a teoria da variedade central, necessária para reduzir a dimensão de sistemas à sua variedade bidimensional, e o teorema das formas normais, utilizando-se como método para determinar a forma simplificada da variedade central associada aos sistemas dinâmicos, atendendo as condições do teorema da bifurcação de Hopf. A partir da análise dos resultados aqui encontrados foi possível construir a prova matemática de que sistemas de dimensão N, atendendo as condições do teorema de Hopf, podem ser reescritos em uma expressão analítica geral e simplificada. Enfim, através deste estudo foi possível resumir todos os resultados aqui obtidos em um teorema geral que, além de reduzir a custosa tarefa de obtenção de formas normais, abrange sistemas N-dimensionais com ocorrência da bifurcação de Hopf. / Abstract: In this work we prove the following: consider a N-dimensional system that is reduced to its center manifold. If it is proved the system satisfies the conditions of Hopf bifurcation theorem, then the original system of differential equations is rewritten in a simpler analytical expression that preserves the phase space topology. This last is also known as the normal form. The center manifold is used to derive a reduced order expression, and the normal form theory is applied to simplify the form of the dynamics on the center manifold. The key results here allow constructing a general mathematical proof for the normal form of N-dimensional systems reduced to its center manifold. In the class of dynamical systems under Hopf bifurcations, the present work reduces the work done to obtain normal forms. / Mestre

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / In this thesis we studied the theory of stability in equilibrium solutions of autonomous Hamiltonian systems with two degrees of freedom in degenerate cases. We specifically focusedour study on two cases, namely, when there are a first-order single resonance and a first-orderdouble resonance. After approaching standardization algorithms of the Hamiltonianquadratic part, the main technique used is to obtain the normal form of the Hamiltonian Lie up to a suitable order and,by using the theorem of Invariant Curve, we provided some conditions for stability of the new Hamiltonian coefficients. We studied the classical theorems of Chetaev, assuming that the origin of the phase space corresponds to the balance of that system. As an illustration, we resolved a partial reciprocal of Lagrange-Dirichlet theorem with two degrees of freedom, and made some comments regarding this reciprocal to one degree of freedom. / Nesta dissertação, estudamos a teoria de estabilidade em soluções de equilíbrios de sistemas Hamiltonianos autônomos com dois graus de liberdade em casos degenerados. Concentramos o estudo especificamente em dois casos, a saber, quando há uma ressonância de primeira ordem e dupla ressonância de primeira ordem. Após abordarmos algoritmos de normalização da parte quadrática do Hamiltoniano, a técnica principal utilizada consiste em obter a forma normal de Lei do Hamiltoniano até uma ordem adequada e usando o teorema da Curva Invariante, fornecemos algumas condições para estabilidade a partir dos coeficientes do novo Hamiltoniano. Estudamos os teoremas clássicos de Chetaev, supondo que a origem do espaço de fase corresponde ao equilíbrio desse sistema. Como ilustração, resolvemos uma recíproca parcial do teorema de Dirichlet-Lagrange, com dois graus de liberdade, tecendo ainda alguns comentários a respeito desta recíproca para um grau de liberdade.

A crescente demanda por produtos de melhor qualidade, diferenciados e com custos competitivos tem forçado as manufaturas a se tornarem flexíveis, capacitando-as a responder às mudanças impostas pelo mercado. A flexibilidade permite que as empresas alcancem a customização desejada através da capacitação do sistema de responder e atuar em tempo real, mesmo em um ambiente de incertezas. Para atuar em tempo real, os sistemas de manufatura precisam de representações eficientes dos planos de produção. Muitas vezes, a atuação em tempo real torna-se inviável devido ao crescimento exponencial no número de planos de produção para cada máquina ou operação adicionada ao sistema. Uma possível solução para este problema é uso de representações adequadas para o espaço de estados. A escolha de uma representação adequada para o espaço de estados influencia na capacidade de reposta em tempo real, pois determina o desempenho computacional do sistema através da utilidade e eficiência dos algoritmos desenvolvidos, tornando possível explorar problemas clássicos de flexibilidade, tais como, seqüenciamento, otimização, etc. Entretanto, a geração de uma representação que trabalhe com o espaço de estados completo de uma manufatura é considerada um problema não polinomial (NP). Esta particularidade dificulta o desenvolvimento de algoritmos que trabalhem com uma manufatura flexível. Assim, a geração de uma representação, que trabalhe com pouca memória computacional e permita o desenvolvimento de heurísticas eficientes, é um importante desafio para uma avaliação efetiva da flexibilidade. Este trabalho objetiva o desenvolvimento de uma representação para o espaço de estados de uma manufatura com flexibilidade de seqüência. Na construção desta representação são aplicadas técnicas de modelagem baseadas na teoria dos grafos e nos princípios de álgebra booleana. Inicialmente, os grafos são utilizados para representar todas as seqüências de operações de uma manufatura, posteriormente estas seqüências são convertidas em formas normais disjuntivas (FND). Por fim, é apresentada uma possível aplicação da representação na FND em modelos de programação linear.

A crescente demanda por produtos de melhor qualidade, diferenciados e com custos competitivos tem forçado as manufaturas a se tornarem flexíveis, capacitando-as a responder às mudanças impostas pelo mercado. A flexibilidade permite que as empresas alcancem a customização desejada através da capacitação do sistema de responder e atuar em tempo real, mesmo em um ambiente de incertezas. Para atuar em tempo real, os sistemas de manufatura precisam de representações eficientes dos planos de produção. Muitas vezes, a atuação em tempo real torna-se inviável devido ao crescimento exponencial no número de planos de produção para cada máquina ou operação adicionada ao sistema. Uma possível solução para este problema é uso de representações adequadas para o espaço de estados. A escolha de uma representação adequada para o espaço de estados influencia na capacidade de reposta em tempo real, pois determina o desempenho computacional do sistema através da utilidade e eficiência dos algoritmos desenvolvidos, tornando possível explorar problemas clássicos de flexibilidade, tais como, seqüenciamento, otimização, etc. Entretanto, a geração de uma representação que trabalhe com o espaço de estados completo de uma manufatura é considerada um problema não polinomial (NP). Esta particularidade dificulta o desenvolvimento de algoritmos que trabalhem com uma manufatura flexível. Assim, a geração de uma representação, que trabalhe com pouca memória computacional e permita o desenvolvimento de heurísticas eficientes, é um importante desafio para uma avaliação efetiva da flexibilidade. Este trabalho objetiva o desenvolvimento de uma representação para o espaço de estados de uma manufatura com flexibilidade de seqüência. Na construção desta representação são aplicadas técnicas de modelagem baseadas na teoria dos grafos e nos princípios de álgebra booleana. Inicialmente, os grafos são utilizados para representar todas as seqüências de operações de uma manufatura, posteriormente estas seqüências são convertidas em formas normais disjuntivas (FND). Por fim, é apresentada uma possível aplicação da representação na FND em modelos de programação linear.

Orientador: Marco Antonio Teixeira / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-10T12:10:27Z (GMT). No. of bitstreams: 1 Roberto_LuciAnyFrancisco_D.pdf: 627926 bytes, checksum: 0c8cb4e26df805282fa716847859d82f (MD5) Previous issue date: 2008 / Resumo: Neste trabalho estudamos sistemas dinâmicos possuindo estruturas Hamiltonianas e reversíveis( / Abstract: In this work we study dynamical systems possessing Hamiltonian and time-reversible structures. The reversibility concept is de¯ned in terms of an involution. Initially we discuss the dynamics of Hamiltonian vector ¯elds with 2 and 3 degrees of freedom around an elliptic equilibrium in the presence of an involution which preserves the symplectic structure. The main results discuss the existence of one-parameter families of reversible periodic solutions terminating at the equilibrium. The main techniques that are used in the proofs are Belitskii and Birkho® normal forms and the Liapunov-Schmidt Reduction. Next we consider a case of the 3-body restricted problem in rotating coordinates. In this case the two primaries are oving in an elliptic collision orbit. By the continuation method of Poincare we characterize that the periodic circular orbits and the symmetric periodic elliptic orbits from the Kepler problem which can be prolonged to pseudo periodic orbits of the planar restricted 3{body problem in rotating coordinates with the two primaries moving in an elliptic collision orbit / Doutorado / Topologia e Geometria / Doutor em Matemática

Orientador: Marco Antonio Teixeira / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-05T21:55:10Z (GMT). No. of bitstreams: 1 Lima_MauricioFirminoSilva_D.pdf: 1170094 bytes, checksum: 090e81187787a7a96591621e58ae7742 (MD5) Previous issue date: 2006 / Resumo: Neste trabalho tratamos de famílias a um-parâmetro de campos vetoriais R-reversíveis definidos em uma vizinhança de um ponto de equilíbrio ressonante em R2n. Focalizamos a atenção às 0:p:q-ressonâncias. Inicialmente estudamos a existência/bifurcação de órbitas periódicas simétricas para tais sistemas. A existência e rigidez de famílias de órbitas homoclínicas também são discutidas. Além disso, também analisamos, para n = 3, a rigidez de famílias de Cantor¿ de dois-toros invariantes por meio da Teoria KAM / Abstract: In this work we deal with one parameter families of R-reversible vector fields defined around a resonant equilibrium point in R2n. We focus our attention to 0:p:q resonances. First of all we study the existence/bifurcation of symmetric periodic orbits for such systems. The existence and rigidity of families of homoclinic orbits are also discussed. We also analyze for n = 3 the rigidity of ¿Cantor families¿ of invariant two-torus by means of KAM Theory / Doutorado / Sistemas Dinamicos / Doutor em Matemática

A crescente demanda por produtos de melhor qualidade, diferenciados e com custos competitivos tem forçado as manufaturas a se tornarem flexíveis, capacitando-as a responder às mudanças impostas pelo mercado. A flexibilidade permite que as empresas alcancem a customização desejada através da capacitação do sistema de responder e atuar em tempo real, mesmo em um ambiente de incertezas. Para atuar em tempo real, os sistemas de manufatura precisam de representações eficientes dos planos de produção. Muitas vezes, a atuação em tempo real torna-se inviável devido ao crescimento exponencial no número de planos de produção para cada máquina ou operação adicionada ao sistema. Uma possível solução para este problema é uso de representações adequadas para o espaço de estados. A escolha de uma representação adequada para o espaço de estados influencia na capacidade de reposta em tempo real, pois determina o desempenho computacional do sistema através da utilidade e eficiência dos algoritmos desenvolvidos, tornando possível explorar problemas clássicos de flexibilidade, tais como, seqüenciamento, otimização, etc. Entretanto, a geração de uma representação que trabalhe com o espaço de estados completo de uma manufatura é considerada um problema não polinomial (NP). Esta particularidade dificulta o desenvolvimento de algoritmos que trabalhem com uma manufatura flexível. Assim, a geração de uma representação, que trabalhe com pouca memória computacional e permita o desenvolvimento de heurísticas eficientes, é um importante desafio para uma avaliação efetiva da flexibilidade. Este trabalho objetiva o desenvolvimento de uma representação para o espaço de estados de uma manufatura com flexibilidade de seqüência. Na construção desta representação são aplicadas técnicas de modelagem baseadas na teoria dos grafos e nos princípios de álgebra booleana. Inicialmente, os grafos são utilizados para representar todas as seqüências de operações de uma manufatura, posteriormente estas seqüências são convertidas em formas normais disjuntivas (FND). Por fim, é apresentada uma possível aplicação da representação na FND em modelos de programação linear.

Este trabalho é dedicado à extensão do Método da Forma Normal para Equações Diferenciais Ordinárias às Equações Diferenciais Funcionais Retardadas. O método da forma normal para equações diferenciais funcionais retardadas nos dará o fluxo sobre uma variedade localmente invariante de dimensão finita através de uma equação diferencial ordinária. Como aplicação, calcularemos a forma normal para equação diferencial funcional retardada escalar com uma singularidade do tipo Bogdanov-Takens. Analisaremos também a forma normal para equações diferenciais funcionais retardadas com parâmetro. Finalizaremos este trabalho com o cálculo da forma normal de um sistema planar com singularidade do tipo Bogdanov-Takens. / In this work, we compute the normal forms associated with the flow on a finite dimensional invariant, manifold tangent to an invariant space for the infinitesimal generator of the linearized equation at the singularity. As an application, the Bogdanov-Takens singularity is considered.