|
Dissertações |
|
1
|
-
Bruno de Souza Rangel
-
Um estudo sobre centros globais em sistemas planares
-
Orientador : FABIO SCALCO DIAS
-
MEMBROS DA BANCA :
-
FABIO SCALCO DIAS
-
LUIS FERNANDO DE OSORIO MELLO
-
TIAGO DE CARVALHO
-
Data: 19/02/2024
-
-
Mostrar Resumo
-
Nesta dissertação, em um primeiro momento, mostramos que um sistema diferencial polinomial de ordem par não tem um centro global. Em seguida, caracterizamos todos os sistemas polinomiais de Liénard tendo um centro global na origem. Em particular, fornecemos uma expressão explícita de todos os sistemas polinomiais de Liénard de grau três com um centro global na origem. Por fim, classificamos todos os sistemas Kukles de grau três e de grau cinco com um centro global na origem.
-
Mostrar Abstract
-
In this dissertation, firstly, we show that a polynomial difeerential system of even order does not have a global center. Next, we characterize all Liénard polynomial systems having a global center at the origin. In particular, we provide an explicit expression of all Liénard polynomial systems of degree three with a global center at the origin. Finally, we classify all degree three and degree five Kukles systems with a global center at the origin.
|
|
2
|
-
GABRIELI SILVA NEY DE PAULA
-
Resultados de Existência e de Não Existência de Ciclos Limites e Nós em Equações Diferenciais Ordinárias
-
Orientador : LUIS FERNANDO DE OSORIO MELLO
-
MEMBROS DA BANCA :
-
FABIO SCALCO DIAS
-
LUIS FERNANDO DE OSORIO MELLO
-
REGILENE DELAZARI DOS SANTOS
-
Data: 26/02/2024
-
-
Mostrar Resumo
-
Nós são equilíbrios de uma equação diferencial ou de um campo de vetores no plano cujos autovalores têm o mesmo sinal e são estrelados quando os autovalores são iguais e não nulos. Ciclos limites são órbitas fechadas e isoladas no conjunto de todas as órbitas fechadas de um campo de vetores. Esta dissertação tem por objetivo estudar condições, as mais gerais possíveis, de forma a garantir a coexistência de ciclos limites e nós estrelados. Tal estudo é feito de maneira conveniente: toma-se uma família de equações diferenciais ou campo de vetores cuja origem é um equilíbrio do tipo nó estrelado e busca condições para a existência de um ciclo limite ao redor da origem. O estudo é generalizado posteriormente e alguns resultados contemplam outros tipos de equilíbrios.
-
Mostrar Abstract
-
Nodes are equilibria of a planar differential equation or vector field whose eigenvalues have the same sign. Star nodes are nodes whose eigenvalues are equal and nonzero. Limit cycles are closed and isolated orbits in the set of closed orbits of a vector field. This work aims to find conditions, as general as possible, in order to guarantee the coexistence of limit cycles and star nodes. Such a study is done in a convenient way: take a family of differential equations whose origin is a star node equilibrium and searches for conditions for the existence of a limit cycle around the origin. Later, the study is generalized and some results contemplate other types of equilibria.
|
|
3
|
-
LIOMAR CARVALHO RAMOS
-
Estudo de Sistema Dinâmicos Multívocos Monótonos
-
Orientador : JACSON SIMSEN
-
MEMBROS DA BANCA :
-
FLANK DAVID MORAIS BEZERRA
-
JACSON SIMSEN
-
MAICON SONEGO
-
Data: 29/02/2024
-
-
Mostrar Resumo
-
"Neste trabalho apresentamos um estudo da teoria abstrata de sistemas dinâmicos multívocos monótonos em um espaço métrico completo abstrato, e da aplicação desta teoria à uma equação diferencial sem unicidade de solução.
"
-
Mostrar Abstract
-
In this work, we present a study of the abstract theory of multivalued monotone dynamical systems on a complete metric space and the application of this theory to a differential equation without uniqueness of solution.
|
|
4
|
-
Nataniel Willian da Silva
-
Classificação dos sistemas Lotka-Volterra tridimensionais: uma abordagem geométrica topológica
-
Orientador : ARTUR CESAR FASSONI
-
MEMBROS DA BANCA :
-
FABIO AUGUSTO DA COSTA CARVALHO CHALUB
-
LUCY TIEMI TAKAHASHI
-
ARTUR CESAR FASSONI
-
DENIS DE CARVALHO BRAGA
-
FABIO SCALCO DIAS
-
Data: 22/03/2024
-
-
Mostrar Resumo
-
Este trabalho tem como objetivo classificar os retratos de fase estruturalmente estáveis exibidos pelos sistemas competitivos Lotka-Volterra tridimensionais, descritos pelo sistema de equações diferenciais:
x_i' = x_i(b_i - ∑(j=1)^3 a_ij x_i), para i = 1, 2, 3,
onde x_1, x_2, e x_3 simbolizam três populações em competição por recursos. Os coeficientes a_ij > 0 representam a competição da espécie j contra a espécie i, e b_i > 0 são as taxas de reprodução de cada espécie. Este estudo se baseia na análise de Mary Lou Zeeman em sua tese de doutorado "Hopf bifurcations in competitive three-dimensional Lotka-Volterra systems" de 1993, e em seus artigos subsequentes.
O ponto de partida do estudo é a análise das posições relativas das isóclinas do sistema. Utilizando um resultado de Morris Hirsch, constata-se que todas as trajetórias do sistema são atraídas para uma superfície bidimensional que contém os equilíbrios. Esta superfície é homeomorfa ao simplexo unitário em R^3, denominada simplexo suporte, Σ. Assim, a dinâmica é restrita a duas dimensões, permitindo a aplicação do Teorema de Poincaré-Bendixson para afirmar que os atratores do sistema serão pontos de equilíbrio ou ciclos limites em Σ.
Através deste método, identificamos 33 classes de equivalência que representam 33 retratos de fase distintos, formando um conjunto aberto e denso no espaço de todos os sistemas Lotka-Volterra tridimensionais. Para obter essas 33 classes, foram empregadas técnicas de combinatória e ação de grupos, além do teorema de Poincaré-Hopf para determinar a existência e a natureza dos pontos de equilíbrio interiores em Σ, e resultados que vinculam a fronteira das bacias de atração dos equilíbrios assintoticamente estáveis com as variedades estáveis de pontos de sela presentes nessa fronteira. Entre as 33 classes encontradas, 25 possuem apenas pontos de equilíbrio como conjuntos limites. Nas 8 classes restantes, em 2 delas, uma generalização do critério de Dulac para sistemas tridimensionais demonstra a inexistência de órbitas periódicas. Nas outras 6 classes, a análise dos autovalores da matriz jacobiana e o Teorema de Bifurcação de Hopf indicam a existência de ciclos limites no interior de Σ. Por fim, o trabalho apresenta um panorama das pesquisas atuais sobre o número máximo de ciclos limites que podem ocorrer em cada uma dessas 6 classes, o qual ainda é desconhecido.
-
Mostrar Abstract
-
This work aims to classify the structurally stable phase portraits exhibited by three-dimensional competitive Lotka-Volterra systems, described by the following system of differential equations:
x_i' = x_i(b_i - ∑(j=1)^3 a_ij x_i), for i = 1, 2, 3,
where x_1, x_2, and x_3 represent three populations competing for resources. The coefficients a_ij > 0 denote the competition of species j against species i, and b_i > 0 are the reproduction rates of each species. This study is based on the analysis by Mary Lou Zeeman in her doctoral thesis "Hopf bifurcations in competitive three-dimensional Lotka-Volterra systems" from 1993, and her subsequent articles.
The starting point of the study involves analyzing the relative positions of the system's isoclines. Using a result by Morris Hirsch, it is noted that all system trajectories are attracted to a two-dimensional surface containing the equilibria. This surface is homeomorchic to the unit simplex in R^3, termed the support simplex, Σ. Thus, the dynamics are restricted to two dimensions, allowing the application of the Poincaré-Bendixson Theorem to assert that the system attractors will be either equilibrium points or limit cycles on Σ.
Through this method, we identify 33 equivalence classes representing 33 distinct phase portraits, forming an open and dense set in the space of all three-dimensional Lotka-Volterra systems. To derive these 33 classes, techniques of combinatorics and group action were used, along with the Poincaré-Hopf theorem to determine the existence and nature of interior equilibrium points on Σ, and results linking the boundary of the attraction basins of asymptotically stable equilibria with the stable manifolds of saddle points present in this boundary. Among the 33 classes found, 25 consist solely of equilibrium points as limit sets. In 2 of the remaining 8 classes, a generalization of Dulac’s criterion for three-dimensional systems demonstrates the absence of periodic orbits. In the other 6 classes, the analysis of the eigenvalues of the Jacobian matrix and the Hopf Bifurcation Theorem indicate the existence of limit cycles within Σ. Finally, the work presents an overview of current research on the maximum number of limit cycles that can occur in each of these 6 classes, which is still unknown.
|
|
5
|
-
DOGLASSE JOÃO MÁRIO
-
Dinâmica de Halteres e Teoria de Marés
-
Orientador : LUCAS RUIZ DOS SANTOS
-
MEMBROS DA BANCA :
-
JOSÉ LAUDELINO DE MENEZES NETO
-
ANTONIO CARLOS FERNANDES
-
LUCAS RUIZ DOS SANTOS
-
Data: 04/07/2024
-
-
Mostrar Resumo
-
O objetivo deste trabalho é abordar uma proposta de modelagem em teoria de marés que faz uso do que é conhecido na literatura como modelo de halteres gravitacional. Para esse fim, optamos por inicialmente estudar detalhadamente as bases do problema, como as soluções do problema de dois corpos, Leis de Kepler e o formalismo perturbativo das variáveis de Delaunay. As equações de movimento do modelo estão baseadas no formalismo Lagrangiano da Mecânica Clássica, acoplado com forças dissipativas através de uma função dissipação. Os resultados obtidos se concentram na estabilidade dos equilíbrios relativos, os quais dependem do nível de momento angular considerado. Propomos uma análise do modelo alternativa à encontrada na literatura, usando ferramentas de teoria qualitativa de equações diferenciais ordinárias, fornecendo uma descrição mais precisa e detalhada da dinâmica envolvida.
-
Mostrar Abstract
-
The objective of this work is to present a model in tidal theory using what is known in the literature as the gravitational dumbbell model. To this end, we initially study in detail the foundations of the problem, such as the solutions to the two-body problem, Kepler’s Laws, and the perturbative formalism of Delaunay variables. The equations of motion for the model are based on the Lagrangian formalism of Classical Mechanics, coupled with dissipative forces through a dissipation function. The obtained results focus on the stability of the relative equilibria, which depend on the considered level of angular momentum. We propose an analysis of the model alternative to that found in the literature, using tools from the qualitative theory of ordinary differential equations, providing a more precise and detailed description of the dynamics involved.
|
|
6
|
-
Julio Cesar Siqueira Cardoso
-
Estudo da Bifurcação de Neimark-Sacker
-
Orientador : DENIS DE CARVALHO BRAGA
-
MEMBROS DA BANCA :
-
BRAULIO AUGUSTO GARCIA
-
DENIS DE CARVALHO BRAGA
-
FABIO SCALCO DIAS
-
LUIZ FERNANDO GONÇALVES
-
Data: 30/07/2024
-
-
Mostrar Resumo
-
Esta dissertação trata de uma bifurcação local para aplicações suaves no plano, dependendo de um parâmetro real, chamada bifurcação de Neimark-Sacker de codimensão 1, que, em certo sentido, guarda muitas semelhanças com a bifurcação de Hopf para equações diferenciais ordinárias. Em ambas as bifurcações, a mudança na estabilidade de um ponto fixo ou ponto de equilíbrio, junto com uma condição de transversalidade associada com certos autovalores da matriz Jacobiana calculada no ponto, além de uma ou mais condições de não degenerescência, permite o surgimento ou desaparecimento de uma curva fechada invariante pela dinâmica no retrato de fase quando o parâmetro é variado. Este tema foi escolhido devido a sua importância no estudo de sistemas dinâmicos discretos e aplicações em diversas áreas da ciência e, neste sentido, o Teorema da Bifurcação de Neimark-Sacker de codimensão 1 é enunciado e demonstrado no caso planar e empregado no estudo de dois modelos biológicos conhecidos na literatura, a saber, a equação logística com atraso e a equação predador-presa discreta.
-
Mostrar Abstract
-
This dissertation deals with a local bifurcation for planar smooth mappings, depending on a real parameter, called Neimark-Sacker bifurcation of codimension 1, which, in a certain sense, shares many similarities with the Hopf bifurcation for ordinary differential equations. In both bifurcations, the change in stability of a fixed point or equilibrium point, together with a transversality condition associated with certain eigenvalues of the Jacobian matrix evaluated at the point, along with one or more nondegeneracy conditions, allows the appearance or disappearance of an invariant closed curve by the dynamics in the phase portrait when the parameter is varied. This topic was chosen due to its importance in the study of discrete dynamical systems and applications in many scientific areas. In this sense, the Theorem of Neimark-Sacker Bifurcation of codimension 1 is stated and proved in the planar case, and applied to the study of two well-known biological models, namely, the delayed logistic equation and the discrete predator-prey equation.
|
|
7
|
-
ERIC DE OLIVEIRA SILVA
-
Dinâmica Hiperbólica e Rigidez de Difeomorfismos de Anosov no Toro
-
Orientador : FERNANDO PEREIRA MICENA
-
MEMBROS DA BANCA :
-
FERNANDO PEREIRA MICENA
-
JOSÉ SANTANA CAMPOS COSTA
-
LUIS FERNANDO DE OSORIO MELLO
-
Data: 05/12/2024
-
-
Mostrar Resumo
-
Dinâmica Hiperbólica é uma das áreas mais importantes no estudo de sistemas dinâmicos. De maneira geral, um conjunto hiperbólico para uma dinâmica é um conjunto compacto, não vazio e invariante, tal que para todo ponto neste conjunto, o espaço tangente se decompõe em soma direta de dois subespaços: um estável (uniformemente contrativo por ação da derivada) e um instável (uniformemente expansor por ação da derivada), os quais são invariantes pela ação da derivada. Através do Teorema da Variedade Estável sabe-se que estes sub brados (estável e instável) admitem variedades locais invariantes pela dinâmica. Uma classe especial das dinâmicas hiperbólicas que terá lugar neste documento é a classe dos difeomorfismos de Anosov. Merecem destaque também os difeomorfismos tipo Axioma A, para os quais é válido o Teorema Espectral de Smale. Difeomorfismos de Anosov e do tipo Axioma A satisfazem propriedades de sombreamento, que são indispensáveis no estudo da estabilidade estrutural em dinâmica hiperbólica. Quando se tratade estabilidade estrutural, podemos nos perguntar sobre condições suficientes para que a conjugação topológica envolvida seja de classe C^1. Pode-se mostrar que quando um difeomor smo de Anosov no toro T^2 tem mesmos dados periódicos que sua linearização, então estes dois são de fato C1 conjugados, e isto pode ser obtido como aplicação do Teorema de Livsic.
-
Mostrar Abstract
-
Hyperbolic Dynamics is one of the most important areas in the study of dynamical systems. Roughly speaking, a hyperbolic set for a dynamic is a non-empty, compact, and invariant set, such that for every point in this set, the tangent space decomposes as a direct sum of two subspaces: one stable (uniformly contractive) and one unstable (uniformly expansive), both of which are invariant under the action of the derivative. Through the Stable Manifold Theorem, it is known that these subbundles (stable and unstable) admit local manifolds that are invariant under the dynamics. In the study of hyperbolic dynamical systems, some classes of dynamics deserve greater emphasis, namely di eomorphisms of the Axiom A type and Anosov Diffeomorphisms. In the case of Axiom A type diffeomorphisms, the Smale Spectral Theorem is valid, a central result in the study of these types of transformations. Anosov Diffeomorphisms and Axiom A type satisfy shadowing properties, which are indispensable in the study of structural stability in hyperbolic dynamics. When it comes to structural stability, we can ask about sufficient conditions for the involved topological conjugation to be of class C1. It can be shown that when an Anosov di eomorphism has the same periodic data as its linearization, then these two are indeed C^1 conjugated, and this can be obtained as an application of Livsic's Theorem.
|
|