Made available in DSpace on 2015-03-26T13:45:32Z (GMT). No. of bitstreams: 1 texto completo.pdf: 500218 bytes, checksum: de8966897785d77fe0d36375f2dbc236 (MD5) Previous issue date: 2011-02-22 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / We define a dynamic system as follows dx = f(x) + g(x, t, ε), x ∈ Rn (1) ____ dt where f : Rn → Rn e g : Rn x R x RN → Rn Rn are C2, g is periodic in t, such that the system x˙ = f(x) (2) has a hyperbolic saddle point and a homoclinic orbit associated to this point, (1) is called perturbed homoclinic system (PHS). What happens with the system (2) after a disturbance, ie, when we in (1) ε assume positive values? In this work we analyze some methods in order to answer this question. We study the classical method of Melnikov for systems when n = 2 and g is periodic in t, a method to eliminate the requirement that g is periodic in t and also a generalization of the classical method of Melnikov to higher dimensions, the method of Melnikov-Gruendler. For each case we present applications. / Um sistema dinâmico dx = f(x) + g(x, t, ε), x ∈ Rn (1) ____ dt onde f : Rn → Rn e g : Rn x R x RN → Rn são de classe C2, g é periódica em t, tal que o sistema x˙ = f(x) (2) tem um ponto de equilíbrio do tipo sela e uma órbita homoclínica associada a este ponto, (1) é chamado sistema homoclínico perturbado. O que acontece com o sistema (2) após uma perturbação, ou seja, quando fazemos em (1) ε assumir valores positivos? Nesse trabalho analisamos ferramentas analíticas para começar a responder a esta pergunta, como o método clássico de Melnikov, para sistemas quando n = 2 e g é periódica em t. Usando um tipo especial de funções, provamos que o método de Melnikov fornece um critério para mostrar que para um intervalo de tempo finito [−T, T], com T arbitrariamente grande, o sistema perturbado é igual a um sistema caótico para uma classe mais geral de "funções perturbadoras". Por fim, apresentamos uma generalização deste método clássico para dimensões maiores, o método de Melnikov-Gruendler. Daremos ainda duas aplicações, uma exemplificando que para um intervalo de tempo finito o sistema perturbado é igual a um caótico e o outro relativo ao método de Melnikov-Gruendler.

- / -

京都大学 / 新制・課程博士 / 博士(情報学) / 甲第23587号 / 情博第781号 / 新制||情||133(附属図書館) / 京都大学大学院情報学研究科数理工学専攻 / (主査)教授 矢ヶ崎 一幸, 教授 梅野 健, 准教授 柴山 允瑠 / 学位規則第4条第1項該当 / Doctor of Informatics / Kyoto University / DFAM

Nesta tese estudamos um dos principais problemas na teoria qualitativa das equações diferenciais planares: o problema de determinar a bacia de atração de um ponto de equilíbrio. Damos uma prova rigorosa de que para sistemas lineares por partes de costura com duas zonas no plano, definidas por matrizes Hurwitz o único ponto de equilíbrio na reta de separação é globalmente assintoticamente estável. Por outro lado, provamos que nesta classe de sistemas, podemos ter um ponto de equilíbrio instável na origem quando uma curva poligonal separa as zonas, levando a um resultado contra-intuitivo do comportamento dinâmico de sistemas lineares por partes no plano. Além disso, estudamos os ciclos limites em perturbações suaves por partes de centros Hamiltonianos. Neste cenário, é comum adaptar resultados clássicos de sistemas suaves, como funções de Melnikov, para sistemas não-suaves. No entanto, existe pouca justificativa para este procedimento na literatura. Ao utilizar o método de regularização damos uma prova que suporta o uso de funções de Melnikov diretamente do problema não-suave original. / In this thesis we study one of the main problems in the qualitative theory of planar differential equations: the problem of determining the basin of attraction of an equilibrium point. We give a rigorous proof that for planar sewing piecewise linear systems with two zones, defined by Hurwitz matrices the unique equilibrium point in the separation straight line is globally asymptotically stable. On the other hand, we prove that sewing piecewise linear systems with two zones in the plane, defined by Hurwitz matrices can have one unstable equilibrium point at the origin allowing a broken line to separate the zones, leading to counterintuitive dynamical behaviors of simple piecewise linear systems in the plane. Furthermore, we study limit cycles in piecewise smooth perturbations of Hamiltonians centers. In this setting it is common to adapt classical results for smooth systems, like Melnikov functions, to non-smooth ones. However, there is little justification for this procedure in the literature. By using the regularization method we give a proof that supports the use of Melnikov functions directly from the original non-smooth problem.

Nesta tese estudamos um dos principais problemas na teoria qualitativa das equações diferenciais planares: o problema de determinar a bacia de atração de um ponto de equilíbrio. Damos uma prova rigorosa de que para sistemas lineares por partes de costura com duas zonas no plano, definidas por matrizes Hurwitz o único ponto de equilíbrio na reta de separação é globalmente assintoticamente estável. Por outro lado, provamos que nesta classe de sistemas, podemos ter um ponto de equilíbrio instável na origem quando uma curva poligonal separa as zonas, levando a um resultado contra-intuitivo do comportamento dinâmico de sistemas lineares por partes no plano. Além disso, estudamos os ciclos limites em perturbações suaves por partes de centros Hamiltonianos. Neste cenário, é comum adaptar resultados clássicos de sistemas suaves, como funções de Melnikov, para sistemas não-suaves. No entanto, existe pouca justificativa para este procedimento na literatura. Ao utilizar o método de regularização damos uma prova que suporta o uso de funções de Melnikov diretamente do problema não-suave original. / In this thesis we study one of the main problems in the qualitative theory of planar differential equations: the problem of determining the basin of attraction of an equilibrium point. We give a rigorous proof that for planar sewing piecewise linear systems with two zones, defined by Hurwitz matrices the unique equilibrium point in the separation straight line is globally asymptotically stable. On the other hand, we prove that sewing piecewise linear systems with two zones in the plane, defined by Hurwitz matrices can have one unstable equilibrium point at the origin allowing a broken line to separate the zones, leading to counterintuitive dynamical behaviors of simple piecewise linear systems in the plane. Furthermore, we study limit cycles in piecewise smooth perturbations of Hamiltonians centers. In this setting it is common to adapt classical results for smooth systems, like Melnikov functions, to non-smooth ones. However, there is little justification for this procedure in the literature. By using the regularization method we give a proof that supports the use of Melnikov functions directly from the original non-smooth problem.

Submitted by Jaqueline Silva (jtas29@gmail.com) on 2016-09-08T17:05:05Z No. of bitstreams: 2 Dissertação - Brayan Maurício Rodrigues Garzon - 2016.pdf: 1077822 bytes, checksum: 22f0f3e54ede997e3bbec84f88406474 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Jaqueline Silva (jtas29@gmail.com) on 2016-09-08T17:05:21Z (GMT) No. of bitstreams: 2 Dissertação - Brayan Maurício Rodrigues Garzon - 2016.pdf: 1077822 bytes, checksum: 22f0f3e54ede997e3bbec84f88406474 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2016-09-08T17:05:21Z (GMT). No. of bitstreams: 2 Dissertação - Brayan Maurício Rodrigues Garzon - 2016.pdf: 1077822 bytes, checksum: 22f0f3e54ede997e3bbec84f88406474 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2016-03-04 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / In this work we study and show the existence of traveling waves solutions for a system of parabolic partial differential equations (PPDE’s) which model in-situ combustion process in porous medium. The in-situ combustion process is a thermal method to recovery oil from petrolific reservoirs. The system deduction is making considering two layers of porous rock and aplying the physical laws of balance energy, fuel mass, oxygen mass, total gas mass, and the Darcy’s law which link the pressure and volumetric flow rate. The traveling waves are obtained making an useful variavel change such that convert the PPDE’s system in an ordinary differential equations system (ODE’s) where the existence of heteroclinic orbits is equivalent to the existence of a traveling waves for the system of PPDE’s which connect the burned state to the unburned state. In the proof of the existence and uniquess of such orbits are used basic tools in Qualitative Ordinary Differential Equations Theory, Dynamical Systems, Perturbation Theory and TravelingWaves Theory with special mention to Singular Perturbation Theory and Melnikov Method inside of the perturbation theory. / Neste trabalho estudamos e mostramos a existência de soluções do tipo onda viajante para um sistema de equações diferenciais parciais parabólico (EDPP’s) que modela um processo de combustão in-situ através de um meio poroso. A combustão in-situ é um método térmico de recuperação de óleo de reservatórios petrolíferos. O sistema é deduzido considerando duas camadas de rocha porosa e aplicando as leis físicas de balanço de energia, de massa de combustível, oxigênio, gás total, e a lei de Darcy que relaciona a pressão e a vazão volumétrica dos fluidos considerados. As ondas viajantes são obtidas fazendo uma mudança de variáveis apropriada de modo que o sistema de EDPP’s se transforme num sistema de equações diferenciais ordinárias (EDO’s), onde a existência de uma orbita conectando dois equilíbrios corresponde-se com a existência de uma onda viajante do sistema de EDPP’s, conectando um estado totalmente queimado com um estado não queimado. Para a prova de existência e unicidade das referidas órbitas são utilizadas ferramentas básicas da Teoria qualitativa das Equações Diferenciais Ordinárias, Sistemas Dinâmicos, Teoria da Perturbação e Teoria de Ondas Viajantes, ressaltando dentro da teoria da perturbação a técnica da Perturbação Singular Geométrica e o Método de Melnikov.

La recherche de cycles limites pour des sytèmes polynômiaux du plan est historiquement motivée par le 16e problème de Hilbert. Les résultats obtenus dans cette thèse concernent des systèmes différentiels quadratiques intégrables perturbés pour lesquels on met en oeuvre une adaptation d'un algorithme théorique proposé par Jean-Pierre Françoise permettant le calcul des dérivées successives de l'application de premier retour, encore appelées fonctions de Melnikov. Le premier exemple étudié est de type Liénard et présente un centre en l'origine. Le calcul par deux méthodes différentes de la première fonction de Melnikov assure l'existence d'un cycle limite pour le système perturbé. Dans certains cas, on calcule les fonctions de Melnikov d'ordre supérieur et on donne des conditions pour lesquelles le système reste à centre. Le second exemple est issu d'une équation d'Abel remarquée par Liouville, dont l'étude des singularités à l'infini fait apparaître une singularité non hyperbolique avec domaine elliptique. On perturbe quadratiquement une forme normale quadratique présentant cette singularité. Le calcul des trois premières fonctions de Melnikov assure l'existence de perturbations faisant apparaître deux cycles limites. D'autre part, on est en mesure de donner certains cas intégrables ainsi que la nature algébrique des fonctions de Melnikov d'ordre supérieur. Dans le troisième exemple, on étudie une famille de systèmes présentant soit une singularité avec deux secteurs elliptiques, soit un centre et une singularité avec un domaine elliptique. On espère trouver une perturbation quadratique générant quatre cycles limites imbriqués deux à deux. L'étude des fonctions de Melnikov jusqu'à l'ordre deux ne révèle cependant que l'existence de perturbations pour lesquelles on a deux cycles autour de l'un des centres et un seul autour de l'autre.

<p>Within the past decade, advances in small-scale electronics have reduced power consumption requirements such that mechanisms for harnessing ambient kinetic energy for self-sustenance are a viable technology. Such devices, known as energy harvesters, may enable self-sustaining wireless sensor networks for applications ranging from Tsunami warning detection to environmental monitoring to cost-effective structural health diagnostics in bridges and buildings. In particular, flexible electroelastic materials such as lead-zirconate-titanate (PZT) are sought after in designing such devices due to their superior efficiency in transforming mechanical energy into the electrical domain in comparison to induction methods. To date, however, material and dynamic nonlinearities within the most popular type of energy harvester, an electroelastically laminated cantilever beam, has received minimal attention in the literature despite being readily observed in laboratory experiments. </p><p>In the first part of this dissertation, an experimentally validated first-principles based modeling framework for quantitatively characterizing the intrinsic nonlinearities and moderately large amplitude response of a cantilevered electroelastic generator is developed. Nonlinear parameter identification is facilitated by an analytic solution for the generator's dynamic response alongside experimental data. The model is shown to accurately describe amplitude dependent frequency responses in both the mechanical and electrical domains and implications concerning the conventional approach to resonant generator design are discussed. Higher order elasticity and nonlinear damping are found to be critical for correctly modeling the harvester response while inclusion of a proof mass is shown to invigorate nonlinearities a much lower driving amplitudes in comparison to electroelastic harvesters without a tuning mass.</p><p>The second part of the dissertation concerns dynamical systems design to purposefully engage nonlinear phenomena in the mechanical domain. In particular, two devices, one exploiting hysteretic nonlinearities and the second featuring homoclinic bifurcation are investigated. Both devices exploit nonlinear magnet interactions with piezoelectric cantilever beams and a first principles modeling approach is applied throughout. The first device is designed such that both softening and hardening nonlinear resonance curves produces a broader response in comparison to the linear equivalent oscillator. The second device makes use of a supercritical pitchfork bifurcation wrought by nonlinear magnetic repelling forces to achieve a bistable electroelastic dynamical system. This system is also analytically modeled, numerically simulated, and experimentally realized to demonstrate enhanced capabilities and new challenges. In addition, a bifurcation parameter within the design is examined as a either a fixed or adaptable tuning mechanism for enhanced sensitivity to ambient excitation. Analytical methodologies to include the method of Harmonic Balance and Melnikov Theory are shown to provide superior insight into the complex dynamics of the bistable system in response to deterministic and stochastic excitation.</p> / Dissertation

Response and stability of vessel rolling motion with strongly nonlinear softening stiffness will be studied in this dissertation using the methods of stochastic dynamical systems. As one of the most classic stability failure modes of vessel dynamics, large amplitude rolling motion in random beam waves has been studied in the past decades by many different research groups. Due to the strongly nonlinear softening stiffness and the stochastic excitation, there is still no general approach to predict the large amplitude rolling response and capsizing phenomena. We studied the rolling problem respectively using the shaping filter technique, stochastic averaging of the energy envelope and the stochastic Melnikov function. The shaping filter technique introduces some additional Gaussian filter variables to transform Gaussian white noise to colored noise in order to satisfy the Markov properties. In addition, we developed an automatic cumulant neglect tool to predict the response of the high dimensional dynamical system with higher order neglect. However, if the system has any jump phenomena, the cumulant neglect method may fail to predict the true response. The stochastic averaging of the energy envelope and the Melnikov function both have been applied to the rolling problem before, it is our first attempt to apply both approaches to the same vessel and compare their efficiency and capability. The inverse of the mean first passage time based on Markov theory and rate of phase space flux based on the stochastic Melnikov function are defined as two different, but analogous capsizing criteria. The effects of linear and nonlinear damping and wave characteristic frequency are studied to compare these two criteria. Further investigation of the relationship between the Markov and Melnikov based method is needed to explain the difference and similarity between the two capsizing criteria.

Submitted by Franciele Moreira (francielemoreyra@gmail.com) on 2018-03-28T11:58:56Z No. of bitstreams: 2 Dissertação - Jeferson Arley Poveda Contreras - 2018.pdf: 763599 bytes, checksum: 6800571168e0aa9de85d151e4c912725 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2018-03-29T11:29:24Z (GMT) No. of bitstreams: 2 Dissertação - Jeferson Arley Poveda Contreras - 2018.pdf: 763599 bytes, checksum: 6800571168e0aa9de85d151e4c912725 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2018-03-29T11:29:24Z (GMT). No. of bitstreams: 2 Dissertação - Jeferson Arley Poveda Contreras - 2018.pdf: 763599 bytes, checksum: 6800571168e0aa9de85d151e4c912725 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2018-03-07 / Conselho Nacional de Pesquisa e Desenvolvimento Científico e Tecnológico - CNPq / The goal of this work is study limit cycles of piecewise smooth vector fields. First, we present the basic theory, passing through the areas of analysis, qualitative theory of differential equations and algebra. We also present basic concepts of Filippov fields, which are indispensable for the study of piecewise smooth fields. In chapter one, was the main topic, a general method for finding limit cycles will be described; in the second chapter limit cycles are found in a piecewise smooth vector field with non-degenerate center being perturbed by a piecewise polynomial vector field. In the fourth chapter, we study limit cycles in piecewise smooth Hamiltonian fields. / O objetivo deste trabalho é estudar ciclos limite de campos de vetores suaves por parte. Primeiro apresentaremos a teoria básica, passando pelas áreas de análise, teoria qualitativa das equações diferenciais e álgebra. Apresentamos também conceitos básicos de campos de Filippov, os quais são imprescindíveis para o estudo dos campos suaves por partes. No capítulo dos, como tópico principal, será descrito um método geral para encontrar ciclos limite; no segundo três são encontrados ciclos limites em um campo de vetores suave por partes com um centro não degenerado sendo perturbado por um polinômio. No quarto capitulo estudaremos os ciclos limites de campos de vetores Hamiltonianos por parte.