O tema em estudo é a resolubilidade global de campos vetoriais em \'T POT. 2 IND. (x,t)\' da forma L = \'\\partial IND. t\' +a(x) \'\\PARTIAL IND. x\', onde a \'PERTENCE\' \'C POT. INFINITO\' (\'T POT. 1\' ) é uma função real. Consideraremos o caso em que o operador L age no espaço de funções e o caso em que L age no espaço de distribuições. Utilizando teoria de distribuições, forneceremos condições necessárias e sufiientes para que a imagem de L seja um subespaço fechado, ou seja, para que L seja globalmente resolúvel. O caso mais interessante ocorre quando a função a se anula em algum ponto mas não é identicamente nula; neste caso, L será globalmente resolúvel se, e somente se, \'a POT. -1\' (0) contiver apenas zeros de ordem finita. Faremos também o estudo da resolubilidade global de operadores da forma P = \'\\PARTIAL IND. t\' + \\PARTIAL IND. x\' (\'a AST .\'), os quais são perturbações por um termo de ordem zero dos campos da forma L. Os operadores da forma P surgem quando consideramos o transposto de um operador da forma L / The topic under study is the global solvability of vector fields of the form L = \'\\PARTIAL IND. t\'+a(x)\'\\PARTIAL IND.x\' on the 2-torus \'T POT. 2 IND. (x;t)\' ; where a \'IT BELONGS\' \'C POT. INFINITY\' (\'T POT. 1\') is a real valued function. We consider the operator L acting on both spaces of functions and distributions. Using distribution theory we give necessary and sufficient conditions for the closedness of the range of L, ie, for L to be globally solvable. The most interesting case occurs when a vanishes somewhere but not everywhere; in this case, we show that a necessary and sufficient condition for L to be globally solvable is that each zero of a is of finite order. We also study the global solvability of operators of the form P = \'\\ PARTIAL IND. t\'+\'\\ PARTIAL IND. x(\'a AST .\' which are perturbations of L by a term of zero order. The operators P appear when we consider the transpose operator of L

Delay differential equations have a wide range of applications in engineering. This work is devoted to the analysis of delay Duffing equation, which plays a crucial role in modeling performance on demand Micro Electro Mechanical Systems (MEMS). We start with the stability analysis of a linear delay model. We also show that in certain cases the delay model can be efficiently approximated with a much simpler model without delay. We proceed with the analysis of a non-linear Duffing equation. This model is a significantly more complex mathematical model. For instance, the existence of a periodic solution for this equation is a highly nontrivial question, which was established by Struwe. The main result of this work is to establish the existence of a periodic solution to delay Duffing equation. The paper claimed to establish the existence of such solutions, however their argument is wrong. In this work we establish the existence of a periodic solution under the assumption that the delay is sufficiently small.

This dissertation addresses the new models in mathematical neuroscience: artificial neural networks, which have many similarities with the structure of human brain and the functions of cells by electronic circuits. The networks have been investigated due to their extensive applications in classification of patterns, associative memories, image processing, artificial intelligence, signal processing and optimization problems. These applications depend crucially on the dynamical behaviors of the networks. In this thesis the dynamics are presented by differential equations with discontinuities: differential equations with piecewise constant argument of generalized type, and both impulses at fixed moments and piecewise constant argument. A discussion of the models, which are appropriate for the proposed applications, are also provided. Qualitative analysis of existence and uniqueness of solutions, global asymptotic stability, uniform asymptotic stability and global exponential stability of equilibria, existence of periodic solutions and their global asymptotic stability for these networks are obtained. Examples with numerical simulations are given to validate the theoretical results. All the properties are rigorously approved by using methods for differential equations with discontinuities: existence and uniqueness theorems / stability analysis through the Second Lyapunov method and linearization. It is the first time that the problem of stability with the method of Lyapunov functions for differential equations with piecewise constant argument of generalized type is investigated. Despite the fact that these equations are with deviating argument, stability criteria are merely found in terms of Lyapunov functions.

In this dissertation we present four papers as chapters. In Chapter 2, we extended the techniques used for the Klein-Gordon Chain by Iooss, Kirchgässner, James, and Sire, to chains with non-nearest neighbor interactions. We look for travelling waves by reducing the Klein-Gordon chain with second nearest neighbor interaction to an advance-delay equation. Then we reduce the equation to a finite dimensional center manifold for some parameter regimes. By using the normal form expansion on the center manifold we were able to prove the existence of three different types of travelling solutions for the Klein Gordon Chain: periodic, quasi-periodic and homoclinic to periodic orbits with exponentially small amplitude. In Chapter 3 we include numerical methods for computing quasi-periodic solutions. We developed very efficient algorithms to compute smooth quasiperiodic equilibrium states of models in 1-D statistical mechanics models allowing non-nearest neighbor interactions. If we discretize a hull function using N Fourier coefficients, the algorithms require O(N) storage and a Newton step for the equilibrium equation requires only O(N log(N)) arithmetic operations. This numerical methods give rise to a criterion for the breakdown of quasi-periodic solutions. This criterion is presented in Chapter 4. In Chapter 5, we justify rigorously the criterion in Chapter 4. The justification of the criterion uses both Numerical KAM algorithms and rigorous results. The hypotheses of the theorem concern bounds on the Sobolev norms of a hull function and can be verified rigorously by the computer. The argument works with small modifications in all cases where there is an a posteriori KAM theorem. / text

In this thesis, we prove the existence of large frequency periodic solutions for the nonlinear wave equations utt − uxx − v(x)u = u3 + [fnof]([Omega]t, x) (1) with Dirichlet boundary conditions. Here, [Omega] represents the frequency of the solution. The method we use to find the periodic solutions u([Omega]) for large [Omega] originates in the work of Craig and Wayne [10] where they constructed solutions for free vibrations, i.e., for [fnof] = 0. Here we construct smooth solutions for forced vibrations ([fnof] [not equal to] 0). Given an x-dependent analytic potential v(x) previous works on (1) either assume a smallness condition on [fnof] or yields a weak solution. The study of equations like (1) goes back at least to Rabinowitz in the sixties [25]. The main difficulty in finding periodic solutions of an equation like (1), is the appearance of small denominators in the linearized operator stemming from the left hand side. To overcome this difficulty, we used a Nash-Moser scheme introduced by Craig and Wayne in [10]. / text

We study bifurcations of periodic solutions with spatio-temporal symmetries of functional differential equations (FDEs). The two main results are: (1) a centre manifold reduction around a periodic solution of FDEs with spatio-temporal symmetries, and (2) symmetry-breaking bifurcations for symmetric rings of delay-coupled lasers. For the case of ODEs, symmetry-breaking bifurcations from periodic solutions has already been studied. We extend this result to the case of symmetric FDEs using a Centre Manifold Theorem for symmetric FDEs which reduces FDEs into ODEs on an integral manifold around a periodic solution. We show that the integral manifold is invariant under the spatio-temporal symmetries which guarantees that the symmetry structure of the system of FDEs is preserved by this reduction. We also consider a problem in rings of delay-coupled lasers modeled using the Lang-Kobayashi rate equations. We classify the symmetry of bifurcating branches of solutions from steady-state and Hopf bifurcations that occur in 3-laser systems. This involves finding isotropy subgroups of the symmetry group of the system, and then using the Equivariant Branching Lemma and the Equivariant Hopf Theorem. We then utilize this result to find the bifurcating branches of solutions in DDE-Biftool. Symmetry often causes eigenvalues to have multiplicity, and in some cases, this could lead DDE-Biftool to incorrectly predict the bifurcation points. We address this issue by developing a method of finding bifurcation points which can be used for the general case of n-laser systems with unidirectional and bidirectional coupling. / Thesis (Ph.D, Mathematics & Statistics) -- Queen's University, 2012-04-30 11:25:01.011

On utilise la théorie de Floquet-Lin pour des systèmes différentiels linéaires quasi- périodiques pour établir des résultats d'existence et d'unicité et de dépendance continue des systèmes différentiels non linéaires quasi-périodiques. Et dans un second temps on établit un résultat de réductibilité d'un système différentiel linéaire presque-périodique en un système différentiel linéaire triangulaire supérieur avec conservation du nombre des solutions presque-périodiques indépendantes. Ensuite, un résultat d’existence et d’unicité et de dépendance continue des systèmes différentiels non linéaires presque-périodiques par rapport au terme du contrôle. / We use a Floquet theory for quasi-periodic linear ordinary differential equations due to Zhensheng Lin to obtain results, of existence, unicity, continuous and differentiable dependence, on the quasi-periodic solutions of quasi-periodic nonlinear ordinary differential equations. in a second time we establish the reducibility of linear systems of almost periodic differential equations into upper triangular systems of a. p. differential equations. This is done while the number of independent a. p. solutions is conserved. We prove existence and uniqueness of a. p. solutions of a nonlinear system with an a. p. linear part. Also we prove the continuous dependence of a. p. solutions of a nonlinear system with respect to an a. p. control term.

O tema em estudo é a resolubilidade global de campos vetoriais em \'T POT. 2 IND. (x,t)\' da forma L = \'\\partial IND. t\' +a(x) \'\\PARTIAL IND. x\', onde a \'PERTENCE\' \'C POT. INFINITO\' (\'T POT. 1\' ) é uma função real. Consideraremos o caso em que o operador L age no espaço de funções e o caso em que L age no espaço de distribuições. Utilizando teoria de distribuições, forneceremos condições necessárias e sufiientes para que a imagem de L seja um subespaço fechado, ou seja, para que L seja globalmente resolúvel. O caso mais interessante ocorre quando a função a se anula em algum ponto mas não é identicamente nula; neste caso, L será globalmente resolúvel se, e somente se, \'a POT. -1\' (0) contiver apenas zeros de ordem finita. Faremos também o estudo da resolubilidade global de operadores da forma P = \'\\PARTIAL IND. t\' + \\PARTIAL IND. x\' (\'a AST .\'), os quais são perturbações por um termo de ordem zero dos campos da forma L. Os operadores da forma P surgem quando consideramos o transposto de um operador da forma L / The topic under study is the global solvability of vector fields of the form L = \'\\PARTIAL IND. t\'+a(x)\'\\PARTIAL IND.x\' on the 2-torus \'T POT. 2 IND. (x;t)\' ; where a \'IT BELONGS\' \'C POT. INFINITY\' (\'T POT. 1\') is a real valued function. We consider the operator L acting on both spaces of functions and distributions. Using distribution theory we give necessary and sufficient conditions for the closedness of the range of L, ie, for L to be globally solvable. The most interesting case occurs when a vanishes somewhere but not everywhere; in this case, we show that a necessary and sufficient condition for L to be globally solvable is that each zero of a is of finite order. We also study the global solvability of operators of the form P = \'\\ PARTIAL IND. t\'+\'\\ PARTIAL IND. x(\'a AST .\' which are perturbations of L by a term of zero order. The operators P appear when we consider the transpose operator of L

Nous considérons un système mécanique en vibration non linéaire, pour lequel nous fournissons une solution approchée par l'utilisation des développements multiples échelles; nous proposons d'abord une étude avec double échelles puis avec triple échelles où nous comparons les deux approches. Une preuve rigoureuse de ces développements a été faite. L'étude de la stabilité de la solution est nécessaire pour montrer la convergence au voisinage de la résonance. Un lien entre l'amplitude de la réponse vibratoire et la fréquence du système en vibration libre a été mis en évidence. / We consider small solutions of a vibrating mechanical system with smooth non-linearities for which we provide an approximate solution by using multiple scale analysis; we first use a double scale analysis; in order to improve the approximation, then we perform a triple scale analysis; a rigorous proof of convergence of the triple scale method is included; for the forced response, a stability result is needed in order to prove convergence in a neighborhood of a primary resonance. The amplitude of the response with respect to the frequency forcing is described and it is related to the frequency of a free periodic vibration.

Neste trabalho, apresentamos condições suficientes para a existência e a unicidade de soluções periódicas para equações diferenciais funcionais com retardo e impulsos. Os resultados sobre existência estão ancorados num Teorema de Continuação de Jean Mawhin. Por outro lado, as condições que garantem a unicidade de soluções periódicas são condições do tipo Lipschitz / In this work, we present sufficient conditions for the existence and the uniqueness of periodic solutions for retarded functional differential equations with impulses. The results on the existence of periodic solutions are anchored by a Jean Mawhin continuation theorem. Moreover, the conditions that guarantee the uniqueness of the periodic solutions are Lipschitz type