A newly proposed F-class mission by the European Space Agency (ESA) in 2019,Comet Interceptor, aims to dynamically intercept a New Solar System Objectsuch as a Dynamically New Comet (DNC). The Spacecraft will be placed in aperiodic (Halo) orbit around the Sun-Earth L2 Lagrangian point, waiting for furtherinstructions about the passage of a comet or an asteroid, which could well bereached within the stipulated mission constraints.A major part of the detection of these bodies will be owed to the Large SynopticSurvey Telescope (Currently under construction in Chile), which hopes to vastlyincrease the ability to discover a possible target using the catalogue of LongPeriod Comets and a set of its orbits. It is suggested that, in a mission length of<5 years, discoveries and warnings are possible so that optimization of thetrajectory and characterisation of the object are done within the set windows.This thesis is aimed at facilitating a transfer to a Potentially Hazardous Asteroid(PHA), a subset of the Near-Earth Objects (NEO), as a secondary choice on theoff-chance that the discovered comet could not be reached from the L2 Librationpoint within the mission constraints.The first section of this thesis deals with the selection of a Potentially HazardousAsteroid for our mission from the larger database of the Near-Earth Objects,based on a measure of impact hazard called the Palermo Scale, while the secondsection of the thesis aims to obtain a suitable Halo orbit around L2 through ananalytical construction method. After a desired orbit is found, the invariantmanifolds around the Halo orbit are constructed and analysed in an attempt toreduce the ΔV, where from the spacecraft can intercept the Potentially Hazardous Asteroid through the trajectory demanding the least energy.

Indiana University-Purdue University Indianapolis (IUPUI) / Let f:X\rightarrow X be a dominant meromorphic self-map, where X is a compact, connected complex manifold of dimension n > 1. Suppose there is an embedded copy of \mathbb P^1 that is invariant under f, with f holomorphic and transversally superattracting with degree a in some neighborhood. Suppose also that f restricted to this line is given by z\rightarrow z^b, with resulting invariant circle S. We prove that if a ≥ b, then the local stable manifold W^s_loc(S) is real analytic. In fact, we state and prove a suitable localized version that can be useful in wider contexts. We then show that the condition a ≥ b cannot be relaxed without adding additional hypotheses by resenting two examples with a < b for which W^s_loc(S) is not real analytic in the neighborhood of any point.

<p dir="ltr">In the pursuit of establishing a sustainable space economy within the cislunar region, it is vital to formulate transfer design strategies that uncover economically viable highways between different regions of the space domain. The inherent complexity of spacecraft dynamics in the cislunar space poses challenges in determining feasible transfer options. However, the motion characterized by known dynamical structures modeled through the circular restricted three-body problem (CR3BP) aids in the identification of pathways with reasonable maneuver costs and flight times. A framework is proposed that incorporates a quasi-periodic orbit (QPOs) as an option to design transfer scenarios. This investigation focuses on the construction of transfers between periodic orbits. The framework is exemplified by the construction of pathways between an L2 9:2 synodic resonant Near-Rectilinear Halo Orbit (NRHO) and a planar Moon-centered Distant Retrograde Orbit (DRO). The innate difference in the geometries of the departure and arrival orbits of the sample case, along with the lack of natural flows towards and away from them, imply that links between these orbits may necessitate costly maneuvers. A strategy is formulated that leverages the stable and unstable manifolds associated with intermediate periodic orbits and quasi-periodic orbits to construct end-toend trajectories. As part of this strategy, a systematic methodology is outlined to streamline the determination of transfer options provided by the 5-dimensional manifolds associated with a QPO family. This approach reveals multiple local basins of solutions, both interior and exterior-types, characterized by selected intermediate orbits. The construction of transfers informed by the manifolds associated with QPOs is more intricate than those based on periodic orbits. However, QPO-derived solutions allow for the recognition of alternative local basins of solutions and often offer more cost-effective transfer options when compared to trajectories designed using periodic orbits that underlie the QPOs.</p>

Au cours des dernières décennies, l’étude de la dynamique autour des points de Lagrange des systèmes Terre-Lune (EMLi) et Terre-Soleil (SELi) a ouvert de nouvelles possibilités pour les orbites et les transferts spatiaux. Souvent modélisés comme des Problèmes à Trois Corps (CR3BP) distincts, ces deux systèmes ont également été combinés pour produire des trajectoiresà faible coût dans le système Terre-Lune-Soleil étendu. Cette approximation (PACR3BP) a permis de mettre en évidence un réseau à faible énergie de trajectoires (LEN) qui relie la Terre, la Lune, EML1,2 et SEL1,2. Cependant, pour chaque trajectoire calculée, le PACR3BP nécessite une connexion arbitraire entre les CR3BPs, ce qui complique son utilisation systématique. Cette thèse vise à mettre en place une modélisation à quatre corps non autonome pour l’étude du LEN basé sur un système Hamiltonien périodique cohérent, le Problème Quasi-Bicirculaire (QBCP). Tout d’abord, la Méthode de Paramétrisation est appliquée afin d’obtenir une représentation semi-analytique des variétés invariantes autour de chaque point de Lagrange. Une recherche systématique de connexions EML1,2-SEL1,2 peut alors être effectuée dans l’espace des paramètres : les conditions initiales sur la variété centrale-instable de EML1,2 sont propagées et les trajectoires résultantes sont projetées sur la variété centrale de SEL1,2 . Un transfert est détecté lorsque la distance de projection est proche de zéro. Les familles de transfert obtenues sont corrigées dans un modèle newtonien haute-fidélité du système solaire. La structure globale des connections est largement préservée et valide l’utilisation du QBCP comme modèle de base du LEN. / In recent decades, the dynamics about the libration points of the Sun-Earth (SELi) and Earth-Moon (EMLi ) systems have been increasingly studied and used, both in terms of transfer trajectory computation and nominal orbit design. Often seen as two distinct Circular Restricted Three Body Problems (CR3BP), both systems have also been combined to produce efficient transfers in the Sun-Earth-Moon system. This patched CR3BP approximation (PACR3BP) allowed to uncover a low-energy network (LEN) of trajectories that interconnect the Earth, the Moon, EML1,2 and SEL1,2 . However, for every computed trajectory, the PACR3BP requires an arbitrary connection between the CR3BPs, which limits its use in a systematic tool. This thesis introduces a single non-autonomous four-body framework for the study of the LEN based on a coherent periodically-forced Hamiltonian system, the Quasi-Bicircular Problem (QBCP). First, the Parameterization Method is applied in order to obtain high-order, periodic, semi-analytical parameterizations of the invariant manifolds about each libration point. A systematic search for EML1,2 -SEL1,2 connections can then be performed in the parameterization space: initial conditions on the center-unstable manifold at EML1,2 are propagated and projected on the center manifold at SEL1,2. A transfer is found each time that the distance of projection is close to zero. These trajectories are refined as solutions of a Boundary Value Problem, which uncover families of natural transfers, later transitioned into a higher-fidelity model. The global structure of the connecting orbits is largely preserved, which validates the QBCP as a relevant model for the LEN.

This PhD thesis consists of a summary and seven papers, where various applications of auto-validated computations are studied. In the first paper we describe a rigorous method to determine unknown parameters in a system of ordinary differential equations from measured data with known bounds on the noise of the measurements. Papers II, III, IV, and V are concerned with Abelian integrals. In Paper II, we construct an auto-validated algorithm to compute Abelian integrals. In Paper III we investigate, via an example, how one can use this algorithm to determine the possible configurations of limit cycles that can bifurcate from a given Hamiltonian vector field. In Paper IV we construct an example of a perturbation of degree five of a Hamiltonian vector field of degree five, with 27 limit cycles, and in Paper V we construct an example of a perturbation of degree seven of a Hamiltonian vector field of degree seven, with 53 limit cycles. These are new lower bounds for the maximum number of limit cycles that can bifurcate from a Hamiltonian vector field for those degrees. In Papers VI, and VII, we study a certain kind of normal form for real hyperbolic saddles, which is numerically robust. In Paper VI we describe an algorithm how to automatically compute these normal forms in the planar case. In Paper VII we use the properties of the normal form to compute local invariant manifolds in a neighbourhood of the saddle.

Die vorliegende Arbeit behandelt die kollektive Dynamik identischer Klasse-I-anregbarer Elemente. Diese können im Rahmen der nichtlinearen Dynamik als Systeme nahe einer Sattel-Knoten-Bifurkation auf einem invarianten Kreis beschrieben werden. Der Fokus der Arbeit liegt auf dem Studium aktiver Rotatoren als Prototypen solcher Elemente. In Teil eins der Arbeit besprechen wir das klassische Modell abstoßend gekoppelter aktiver Rotatoren von Shinomoto und Kuramoto und generalisieren es indem wir höhere Fourier-Moden in der internen Dynamik der Rotatoren berücksichtigen. Wir besprechen außerdem die mathematischen Methoden die wir zur Untersuchung des Aktive-Rotatoren-Modells verwenden. In Teil zwei untersuchen wir Existenz und Stabilität periodischer Zwei-Cluster-Lösungen für generalisierte aktive Rotatoren und beweisen anschließend die Existenz eines Kontinuums periodischer Lösungen für eine Klasse Watanabe-Strogatz-integrabler Systeme zu denen insbesondere das klassische Aktive-Rotatoren-Modell gehört und zeigen dass (i) das Kontinuum eine normal-anziehende invariante Mannigfaltigkeit bildet und (ii) eine der auftretenden periodischen Lösungen Splay-State-Dynamik besitzt. Danach entwickeln wir mit Hilfe der Averaging-Methode eine Störungstheorie für solche Systeme. Mit dieser können wir Rückschlüsse auf die asymptotische Dynamik des generalisierten Aktive-Rotatoren-Modells ziehen. Als Hauptergebnis stellen wir fest dass sowohl periodische Zwei-Cluster-Lösungen als auch Splay States robuste Lösungen für das Aktive-Rotatoren-Modell darstellen. Wir untersuchen außerdem einen "Stabilitätstransfer" zwischen diesen Lösungen durch sogenannte Broken-Symmetry States. In Teil drei untersuchen wir Ensembles gekoppelter Morris-Lecar-Neuronen und stellen fest, dass deren asymptotische Dynamik der der aktiven Rotatoren vergleichbar ist was nahelegt dass die Ergebnisse aus Teil zwei ein qualitatives Bild für solch kompliziertere und realistischere Neuronenmodelle liefern. / We study the collective dynamics of class I excitable elements, which can be described within the theory of nonlinear dynamics as systems close to a saddle-node bifurcation on an invariant circle. The focus of the thesis lies on the study of active rotators as a prototype for such elements. In part one of the thesis, we motivate the classic model of repulsively coupled active rotators by Shinomoto and Kuramoto and generalize it by considering higher-order Fourier modes in the on-site dynamics of the rotators. We also discuss the mathematical methods which our work relies on, in particular the concept of Watanabe-Strogatz (WS) integrability which allows to describe systems of identical angular variables in terms of Möbius transformations. In part two, we investigate the existence and stability of periodic two-cluster states for generalized active rotators and prove the existence of a continuum of periodic orbits for a class of WS-integrable systems which includes, in particular, the classic active rotator model. We show that (i) this continuum constitutes a normally attracting invariant manifold and that (ii) one of the solutions yields splay state dynamics. We then develop a perturbation theory for such systems, based on the averaging method. By this approach, we can deduce the asymptotic dynamics of the generalized active rotator model. As a main result, we find that periodic two-cluster states and splay states are robust periodic solutions for systems of identical active rotators. We also investigate a 'transfer of stability' between these solutions by means of so-called broken-symmetry states. In part three, we study ensembles of higher-dimensional class I excitable elements in the form of Morris-Lecar neurons and find the asymptotic dynamics of such systems to be similar to those of active rotators, which suggests that our results from part two yield a suitable qualitative description for more complicated and realistic neural models.