No description available.

Central to tapping mode atomic force microscopy is an oscillating cantilever whose tip interacts with a sample surface. The tip-surface interactions are strongly nonlinear, rapidly changing, and hysteretic. We explore numerically a lumped-mass model that includes attractive, adhesive, and repulsive contributions as well as the interaction of the capillary fluid layers that cover both tip and sample in the ambient conditions common in experiment. To accomplish this, we have developed and used numerical techniques specifically tailored for discontinuous, nonlinear, and hysteretic dynamical systems. In particular, we use forward-time simulation with event handling and the numerical pseudo-arclength continuation of periodic solutions. We first use these numerical approaches to explore the nonlinear dynamics of the cantilever. We find the coexistence of three steady state oscillating solutions: (i) periodic with low-amplitude, (ii) periodic with high-amplitude, and (iii) high-periodic or irregular behavior. Furthermore, the branches of periodic solutions are found to end precisely where the cantilever comes into grazing contact with event surfaces in state space corresponding to the onset of capillary interactions and the onset of repulsive forces associated with surface contact. Also, the branches of periodic solutions are found to be separated by windows of irregular dynamics. These windows coexist with the periodic branches of solutions and exist beyond the termination of the periodic solution. We also explore the power dissipated through the interaction of the capillary fluid layers. The source of this dissipation is the hysteresis in the conservative capillary force interaction. We relate the power dissipation with the fraction of oscillations that break the fluid meniscus. Using forward-time simulation with event handling, this is done exactly and we explore the dissipated power over a range of experimentally relevant conditions. It is found that the dissipated power as a function of the equilibrium cantilever-surface separation has a characteristic shape that we directly relate to the cantilever dynamics. We also find that despite the highly irregular cantilever dynamics, the fraction of oscillations breaking the meniscus behaves in a fairly simple manner. We have also performed a large number of forward-time simulations over a wide range of initial conditions to approximate the basins of attraction of steady oscillating solutions. Overall, the simulations show a complex pattern of high and low amplitude periodic solutions over the range of initial conditions explored. We find that for large equilibrium separations, the basin of attraction is dominated by the low-amplitude periodic solution and for the small equilibrium separations by the high-amplitude periodic solution. / Ph. D.

In this thesis, we study the existence of random periodic solutions for both nonlinear dissipative stochastic functional differential equations (SFDEs) and semilinear nondissipative SFDEs in C([-r,0],R^d). Under some sufficient conditions for the existence of global semiflows for SFDEs, by using pullback-convergence technique to SFDE, we obtain a general theorem about the existence of random periodic solutions. By applying coupled forward-backward infinite horizon integral equations method, we perform the argument of the relative compactness of Wiener-Sobolev spaces in C([0,τ],C([-r,0]L²(Ω))) and the generalized Schauder's fixed point theorem to show the existence of random periodic solutions.

In this thesis, we study the existence of stationary solutions for two cases. One is for random difference equations. For this, we prove the existence and uniqueness of the stationary solutions in a finite-dimensional Euclidean space Rd by applying the coupling method. The other one is for semi linear stochastic evolution equations. For this case, we follows Mohammed, Zhang and Zhao [25]'s work. In an infinite-dimensional Hilbert space H, we release the Lipschitz constant restriction by using Arzela-Ascoli compactness argument. And we also weaken the globally bounded condition for F by applying forward and backward Gronwall inequality and coupling method.

This is a study of the effect of harvesting on a system with two competing species. The system is a Ricker-type model that extends the work done by Luis, Elaydi, and Oliveira to include the effect of harvesting on the system. We look at the uniform bound of the system as well as the isoclines and perform a stability analysis of the equilibrium points. We also look at the effects of harvesting on the stability of the system by looking at the bifurcation of the system with respect to harvesting.

O estudo da região de estabilidade é de extrema importância nas ciências, aplicações em engenharia e nos sistemas de controle não linear. Neste trabalho, uma caracterização completa da região de estabilidade e da fronteira da região de estabilidade de pontos fixos estáveis de uma classe ampla de sistemas dinâmicos discretos não lineares é desenvolvida. Os resultados deste trabalho estendem a caracterização da região de estabilidade já proposta na literatura para uma ampla classe de sistemas, modelados por difeomorfismos e que admitem a presença de órbitas periódicas e pontos fixos na fronteira da região de estabilidade. Caracterizações dinâmicas e topológicas são propostas para a fronteira da região de estabilidade. Além disso, são dadas condições necessárias e suficientes para que um ponto fixo ou órbita periódica pertença à fronteira da região de estabilidade. Exemplos numéricos, incluindo o modelo de uma rede neural simétrica com 2-neurônios, ilustram os resultados propostos neste trabalho. / The study of the stability region is very important in the sciences, engineering applications, and in nonlinear control systems. In this work, a complete characterization for both the stability region and the stability boundary of stable xed points of a nonlinear discrete dynamical systems is developed. The results of this work extend the characterization of the stability region already proposed in the literature for a larger class of systems, which are modeled by dieomorphisms and which admit the presence of periodic orbits and xed points on the stability boundary. Several dynamical and topological characterizations are proposed to the stability boundary. Moreover, several necessary and sucient conditions for xed points and periodic orbits to lie on the stability boundary are derived. Numerical examples, including the model of a symmetric neural network with 2-neurons, illustrate the results proposed in this work.

Les automates cellulaires forment une famille bien connue de modèles dynamiques discrets, introduits par S.Ulam et J. von Neumann dans les années 40. Ils ont été étudiés avec succès sous différents points de vue: modélisation, dynamique, ou encore complexité algorithmique. Dans ce travail, nous adoptons ce dernier point de vue pour étudier la famille des automates cellulaires coagulants, ceux dont l’état d’une cellule nepeut évoluer qu’en suivant une relation d’ordre prédéfinie sur l’ensemble de ses états. Nous étudions la complexité algorithmique de ces automates cellulaires de deux points de vue : la capacité de certains automates coagulants à simuler tous les autres automates cellulaires coagulants, appelée universalité intrinsèque, et la complexité temporelle de prédiction de l’évolution d’une cellule à partir d’une configuration finie, appelée complexité de prédiction. Nous montrons que malgré les sévères restrictions apportées par l’ordre sur les états,les automates cellulaires coagulants peuvent toujours exhiber des comportements de grande complexité.D’une part, nous démontrons qu’en dimension deux et supérieure il existe un automate cellulaire coagulants intrinsèquement universel pour les automates cellulaires coagulants en codant leurs états par des blocs de cellules ; cet automate cellulaire effectue au plus deux changements d’états par cellule. Ce résultat est minimal en dimension deux et peut être amélioré en passant à au plus un changement en dimensions supérieures.D’autre part, nous étudions la complexité algorithmique du problème de prédiction pour la famille des automates cellulaires totalistiques à deux états et voisinage de von Neumann en dimension deux. Dans cette famille de 32 automates, nous exhibons deux automates de complexité maximale dans le cas d’une mise à jour synchrone des cellules et nous montrons que dans le cas asynchrone cette complexité n’est atteinte qu’à partir de la dimension trois. Pour presque tous les autres automates de cette famille, nous montrons que leur complexité de prédiction est plus faible (sous l’hypothèse P 6≠NP). / Cellular automata are a well know family of discrete dynamic systems, defined by S. Ulam and J. von Neumannin the 40s. The have been successfully studied from the point of view of modeling, dynamics and computational complexity. In this work, we adopt this last point of view to study the family of freezing cellular automata, those where the state of a cell can only evolve following an order relation on the set of states. We study the complexity of these cellular automata from two points of view, the ability of some freezing cellular automata to simulate every other freezing cellular automata, called intrinsic universality, and the time complexity to predict the evolution of a cell starting from a given finite configuration, called prediction complexity. We show that despite the severe restriction of the ordering of states, freezing cellular automata can still exhibit highly complex behaviors.On the one hand, we show that in two or more dimensions there exists an intrinsically universal freezing cellular automaton, able to simulate any other freezing cellular automaton by encoding its states into blocks of cells, where each cell can change at most twice. This result is minimal in dimension two and can be even simplified to one change per cell in higher dimensions.On the other hand, we extensively study the computational complexity of the prediction problem for totalistic freezing cellular automata with two states and von Neumann neighborhood in dimension two. In this family of 32 cellular automata, we find two automata with the maximum complexity for classical synchronous cellular automata, while in the case of asynchronous evolution, the maximum complexity can only be achived in dimension three. For most of the other automata of this family, we show that they have a lower complexity (assuming P 6≠NP).

O estudo da região de estabilidade é de extrema importância nas ciências, aplicações em engenharia e nos sistemas de controle não linear. Neste trabalho, uma caracterização completa da região de estabilidade e da fronteira da região de estabilidade de pontos fixos estáveis de uma classe ampla de sistemas dinâmicos discretos não lineares é desenvolvida. Os resultados deste trabalho estendem a caracterização da região de estabilidade já proposta na literatura para uma ampla classe de sistemas, modelados por difeomorfismos e que admitem a presença de órbitas periódicas e pontos fixos na fronteira da região de estabilidade. Caracterizações dinâmicas e topológicas são propostas para a fronteira da região de estabilidade. Além disso, são dadas condições necessárias e suficientes para que um ponto fixo ou órbita periódica pertença à fronteira da região de estabilidade. Exemplos numéricos, incluindo o modelo de uma rede neural simétrica com 2-neurônios, ilustram os resultados propostos neste trabalho. / The study of the stability region is very important in the sciences, engineering applications, and in nonlinear control systems. In this work, a complete characterization for both the stability region and the stability boundary of stable xed points of a nonlinear discrete dynamical systems is developed. The results of this work extend the characterization of the stability region already proposed in the literature for a larger class of systems, which are modeled by dieomorphisms and which admit the presence of periodic orbits and xed points on the stability boundary. Several dynamical and topological characterizations are proposed to the stability boundary. Moreover, several necessary and sucient conditions for xed points and periodic orbits to lie on the stability boundary are derived. Numerical examples, including the model of a symmetric neural network with 2-neurons, illustrate the results proposed in this work.

O presente trabalho apresenta a teoria de sistemas dinâmicos dissipativos impulsivos. Apresentamos resultados suficientes e necessários para obtermos dissipatividade para sistemas impulsivos autônomos e não autônomos utilizando funções de Lyapunov. No que segue, desenvolvemos a teoria de estabilidade para a seção nula de um sistema dinâmico não autônomo com impulsos. Utilizando os resultados da teoria abstrata para sistemas não autônomos com impulsos, apresentamos o estudo da estabilidade de um modelo presa-predador com controle e impulsos. / The present work presents the theory of impulsive dissipative dynamical systems. We present necessary and sufficient conditions to obtain dissipativity for autonomous and non-autonomous impulsive dynamical systems via Lyapunov functions. In the sequel, we develop the theory of stability for the null section of non-autonomous dynamical systems with impulses. Using the results from the abstract theory we present the study of stability for a controlled prey-predator model under impulse conditions.

O lado escuro do universo é misterioso e sua natureza é ainda desconhecida. De fato, isto talvez constitua o maior desafio da cosmologia moderna. As duas com- ponentes do setor escuro (mat´ eria escura e energia escura) correspondem hoje a cerca de noventa e cinco por cento do universo. O candidato mais simples para a energia energia é uma constante cosmológica. Contudo, esta tentativa apresenta uma enorme discrepância de 120 ordens de magnitude entre a predição teórica e os dados observados. Tal disparidade motiva os físicos a investigar modelos mais sofisticados. Isto pode ser feito tanto buscando um entendimento mais profundo de onde a constante cosmológica vem, se deseja-se derivá-la de primeiros princípios, quanto considerando outras possibilidades para a expansão acelerada, tais como modificações da relatividade geral, campos de matéria adi- cionais e assim por diante. Ainda considerando uma energia escura dinâmica, pode existir a possibilidade de interação entre energia e matéria escuras, uma vez que suas densidades são comparáveis e, dependendo do acoplamento usado, a interação pode também aliviar a questão de porquê as densidades de matéria e energia escura são da mesma ordem hoje. Modelos fenomenológicos tem sido amplamente estudados na literatura. Por outro lado, modelos de teoria de cam- pos que visam uma descrição consistente da interação energia escura/matéria escura ainda são poucos. Nesta tese, nós exploramos como candidato à energia escura um campo escalar ou vetorial em várias abordagens diferentes, levando em conta uma possível interação entre as duas componentes do setor escuro. A tese é dividida em três partes, que podem ser lidas independentemente. Na primeira parte, nós analisamos o comportamento asintótico de alguns modelos cosmológicos usando campos escalares ou vetorial como candidatos para a energia escura, à luz da teoria de sistemas dinâmicos. Na segunda parte, nós usamos um campo escalar em supergravidade para construir um modelo de energia escura dinâmico e também para incorporar um modelo de energia escura holográfica em supergravidade mínima. Finalmente, na terceira parte, nós propomos um modelo de energia escura metaestável, no qual a energia escura é um campo escalar com um potencial dado pela soma de auto-interações pares até ordem seis. Nós inserimos a energia escura metaestável em um modelo SU(2)R escuro, onde o dubleto de energia escura e o dubleto de matéria escura interagem nat- uramente. Tal interação abre uma nova janela para investigar o setor escuro do ponto-de-vista de física de partículas. Esta tese é baseada nos seguintes artigos, disponíveis também no arXiv: 1611.00428, 1605.03550, 1509.04980, 1508.07248, 1507.00902 e 1505.03243. O autor também colaborou nos trabalhos: 1607.03506 e 1605.05264. / The dark side of the universe is mysterious and its nature is still unknown. In fact, this poses perhaps as the biggest challenge in the modern cosmology. The two components of the dark sector (dark matter and dark energy) correspond today to around ninety five percent of the universe. The simplest dark energy candidate is a cosmological constant. However, this attempt presents a huge discrepancy of 120 orders of magnitude between the theoretical prediction and the observed data. Such a huge disparity motivates physicists to look into a more sophisticated models. This can be done either looking for a deeper understanding of where the cosmological constant comes from, if one wants to derive it from first principles, or considering other possibilities for accelerated expansion, such as modifications of general relativity, additional matter fields and so on. Still regarding a dynamical dark energy, there may exist a possibility of interaction between dark energy and dark matter, since their densities are comparable and, depending on the coupling used, the interaction can also alleviate the issue of why dark energy and matter densities are of the same order today. Phenomenological models have been widely explored in the literature. On the other hand, field theory models that aim a consistent description of the dark energy/dark matter interaction are still few. In this thesis, we explore either a scalar or a vector field as a dark energy candidate in several different approaches, taking into account a possible interaction between the two components of the dark sector. The thesis is divided in three parts, which can be read independently of each other. In the first part, we analyze the asymptotic behavior of some cosmological models using either scalar or vector fields as dark energy candidates, in the light of the dynamical system theory. In the second part, we use a scalar field in the supergravity framework to build a model of dynamical dark energy and also to embed a holographic dark energy model into minimal supergravity. Finally, in the third part, we propose a model of metastable dark energy, in which the dark energy is a scalar field with a potential given by the sum of even self-interactions up to order six. We insert the metastable dark energy into a dark SU(2)R model, where the dark energy doublet and the dark matter doublet naturally interact with each other. Such an interaction opens a new window to investigate the dark sector from the point-of-view of particle physics. This thesis is based on the following papers, available also in the arXiv: 1611.00428, 1605.03550, 1509.04980, 1508.07248, 1507.00902 and 1505.03243. The author also collaborated in the works 1607.03506 and 1605.05264.