A Unification of Models of Tethered Satellites

In this paper, different conservative models of tethered satellites are related mathematically, and it is established in what limit they may provide useful insight into the underlying dynamics. An infinite dimensional model is linked to a finite dimensional model, the slack-spring model, through a conjecture on the singular perturbation of tether thickness. The slack-spring model is then naturally related to a billiard model in the limit of an inextensible spring. Next, the motion of a dumbbell model, which is lowest in the hierarchy of models, is identified within the motion of the billiard model through a theorem on the existence of invariant curves by exploiting Moser's twist map theorem. Finally, numerical computations provide insight into the dynamics of the billiard model

On the regularization of impact without collision: the Painlevé paradox and compliance

We consider the problem of a rigid body, subject to a unilateral constraint, in the presence of Coulomb friction. We regularize the problem by assuming compliance (with both stiffness and damping) at the point of contact, for a general class of normal reaction forces. Using a rigorous mathematical approach, we recover impact without collision (IWC) in both the inconsistent and indeterminate Painlev\'e paradoxes, in the latter case giving an exact formula for conditions that separate IWC and lift-off. We solve the problem for arbitrary values of the compliance damping and give explicit asymptotic expressions in the limiting cases of small and large damping, all for a large class of rigid bodies.Comment: Compared to previous version of the paper, we have: (a) Added a new theorem 2, (b) added a new discussion section with numerical computations, and (c) changed the overall exposition of the manuscrip

On the use of blow up to study regularizations of singularities of piecewise smooth dynamical systems in R3\mathbb{R}^3

In this paper we use the blow up method of Dumortier and Roussarie \cite{dumortier_1991,dumortier_1993,dumortier_1996}, in the formulation due to Krupa and Szmolyan \cite{krupa_extending_2001}, to study the regularization of singularities of piecewise smooth dynamical systems \cite{filippov1988differential} in $\mathbb R^3$. Using the regularization method of Sotomayor and Teixeira \cite{Sotomayor96}, first we demonstrate the power of our approach by considering the case of a fold line. We quickly recover a main result of Bonet and Seara \cite{reves_regularization_2014} in a simple manner. Then, for the two-fold singularity, we show that the regularized system only fully retains the features of the singular canards in the piecewise smooth system in the cases when the sliding region does not include a full sector of singular canards. In particular, we show that every locally unique primary singular canard persists the regularizing perturbation. For the case of a sector of primary singular canards, we show that the regularized system contains a canard, provided a certain non-resonance condition holds. Finally, we provide numerical evidence for the existence of secondary canards near resonance.Comment: To appear in SIAM Journal of Applied Dynamical System

Computation of saddle type slow manifolds using iterative methods

This paper presents an alternative approach for the computation of trajectory segments on slow manifolds of saddle type. This approach is based on iterative methods rather than collocation-type methods. Compared to collocation methods, that require mesh refinements to ensure uniform convergence with respect to $\epsilon$, appropriate estimates are directly attainable using the method of this paper. The method is applied to several examples including: A model for a pair of neurons coupled by reciprocal inhibition with two slow and two fast variables and to the computation of homoclinic connections in the FitzHugh-Nagumo system.Comment: To appear in SIAM Journal of Applied Dynamical System

On the approximation of the canard explosion point in singularly perturbed systems without an explicit small parameter

A canard explosion is the dramatic change of period and amplitude of a limit cycle of a system of nonlinear ODEs in a very narrow interval of the bifurcation parameter. It occurs in slow–fast systems and is well understood in singular perturbation problems where a small parameter epsilon defines the time-scale separation. We present an iterative algorithm for the determination of the canard explosion point which can be applied for a general slow–fast system without an explicit small parameter. We also present assumptions under which the algorithm gives accurate estimates of the canard explosion point. Finally, we apply the algorithm to the van der Pol equations, a Templator model for a self-replicating system and a model for intracellular calcium oscillations with no explicit small parameters and obtain very good agreement with results from numerical simulations.<br/