Computing reliable numerical approximations of invariant sets for nonlinear systems is the core problem for computer assisted study of dynamical systems. In the case of conservative systems the problem is complicated by the fact that there is no phase space dissipation to drive orbits onto attractors. In this dissertation we discuss several contributions to the field of computer assisted study of invariant dynamics in conservative systems. / text

In this paper, we prove, for a certain class of open billiard dynamical systems, the existence of a family of smooth probability measures on the leaves of the dynamical system's unstable manifold. These measures describe the conditional asymptotic behavior of forward trajectories of the system. Furthermore, properties of these families are proven which are germane to the PYC programme for these systems. Strong sufficient conditions for the uniqueness of such families are given which depend upon geometric properties of the system's phase space. In particular, these results hold for a fairly nonrestrictive class of triangular configurations of scatterers.

A recently developed approach, in the area of nonlinear oscillations, is used to analyze the single degree of freedom equation of motion of a oating unit (such as a ship) about a critical axis (such as roll). This method makes use of a closed form analytic solution, exact upto the rst order, and takes into account the the complete unperturbed (no damping or forcing) dynamics. Using this method very-large-amplitude nonlinear vessel motion in a random seaway can be analysed with techniques similar to those used to analyse nonlinear vessel motions in a regular (periodic) or random seaway. The practical result being that dynamic capsizing studies can be undertaken considering the shortterm irregularity of the design seaway. The capsize risk associated with operation in a given sea state can be evaluated during the design stage or when an operating area change is being considered. Moreover, this technique can also be used to guide physical model tests or computer simulation studies to focus on critical vessel and environmental conditions which may result in dangerously large motion amplitudes. Extensive comparitive results are included to demonstrate the practical usefulness of this approach. The results are in the form of solution orbits which lie in the stable or unstable manifolds and are then projected onto the phase plane.

We use transcendental shift-like automorphisms of Ck, k > 2 to construct two examples of non-degenerate entire mappings with prescribed ranges. The first example exhibits an entire mapping of Ck, k>2 whose range avoids a given polydisc but contains the complement of a slightly larger concentric polydisc. This generalizes a result of Dixon-Esterle in C2. The second example shows the existence of a Fatou-Bieberbach domain in Ck,k > 2 that is constrained to lie in a prescribed region. This is motivated by similar results of Buzzard and Rosay-Rudin. In the second part we compute the order and type of entire mappings that parametrize one dimensional unstable manifolds for shift-like polynomial automorphisms and show how they can be used to prove a Yoccoz type inequality for this class of automorphisms.

Neste trabalho estudamos problemas de reação difusão em domínios unidimensionais que surgem de materiais compostos e obtemos resultados comparando os fluxos do problema original e do problema limite quando a difusão fica muito grande em partes do domínio. Provamos que os autovalores e autofunções do operador linear ilimitado associado à equação limite têm a propriedade de Sturm Liouville e provamos que as soluções do problema de reação difusão têm a propriedade do decrescimento do número de zeros ao longo do tempo. Estes resultados são usados para provar que as variedades instável e estável de pontos de equilíbrios são genericamente transversais e que o fluxo no atrator para o problema de reação difusão é genericamente estruturalmente estável. Estes fatos permitem obter a equivalência topológica dos fluxos restritos aos atratores dos problemas original e seu problema limite. / In this work we study some reaction-difusion problems in one dimensional domains that arise from composite materials. We obtain some results comparing the flux of the original problem and the flux of the limit problem when the difusion becomes large on parts of the physical domain. We prove that the eigenvalues and eigenfunctions of the linear unbounded operator associated with the equation have the Sturm Liouville property and also that the solutions of the reaction difusion equation have the property that the zeros do not increase with time. These results are used to obtain that the stable and unstable manifolds of equilibrium points are generically transversal and that the flux on the attractor for the reaction difusion problem is generically structurally stable. Using this we are able to prove the topological equivalence of the fluxs restricted to the attractors of the original and the limit problem.

Neste trabalho estudamos problemas de reação difusão em domínios unidimensionais que surgem de materiais compostos e obtemos resultados comparando os fluxos do problema original e do problema limite quando a difusão fica muito grande em partes do domínio. Provamos que os autovalores e autofunções do operador linear ilimitado associado à equação limite têm a propriedade de Sturm Liouville e provamos que as soluções do problema de reação difusão têm a propriedade do decrescimento do número de zeros ao longo do tempo. Estes resultados são usados para provar que as variedades instável e estável de pontos de equilíbrios são genericamente transversais e que o fluxo no atrator para o problema de reação difusão é genericamente estruturalmente estável. Estes fatos permitem obter a equivalência topológica dos fluxos restritos aos atratores dos problemas original e seu problema limite. / In this work we study some reaction-difusion problems in one dimensional domains that arise from composite materials. We obtain some results comparing the flux of the original problem and the flux of the limit problem when the difusion becomes large on parts of the physical domain. We prove that the eigenvalues and eigenfunctions of the linear unbounded operator associated with the equation have the Sturm Liouville property and also that the solutions of the reaction difusion equation have the property that the zeros do not increase with time. These results are used to obtain that the stable and unstable manifolds of equilibrium points are generically transversal and that the flux on the attractor for the reaction difusion problem is generically structurally stable. Using this we are able to prove the topological equivalence of the fluxs restricted to the attractors of the original and the limit problem.