On the Number of Nonnegative Solutions to the Inequality a1 +....ar < n

In this paper, we present a simple and fast method for counting the number of nonnegative integer solutions to the equality a1x1+a2x2+: : :+arxr = n where a1; a2; :::; ar and n are positive integers. As an application, we use the method for finding the number of solutions of a Diophantine inequality

Domains of analyticity of Lindstedt expansions of KAM tori in dissipative perturbations of Hamiltonian systems

Many problems in Physics are described by dynamical systems that are conformally symplectic (e.g., mechanical systems with a friction proportional to the velocity, variational problems with a small discount or thermostated systems). Conformally symplectic systems are characterized by the property that they transform a symplectic form into a multiple of itself. The limit of small dissipation, which is the object of the present study, is particularly interesting. We provide all details for maps, but we present also the modifications needed to obtain a direct proof for the case of differential equations. We consider a family of conformally symplectic maps $f_{\mu, \epsilon}$ defined on a $2d$-dimensional symplectic manifold $\mathcal M$ with exact symplectic form $\Omega$; we assume that $f_{\mu,\epsilon}$ satisfies $f_{\mu,\epsilon}^*\Omega=\lambda(\epsilon) \Omega$. We assume that the family depends on a $d$-dimensional parameter $\mu$ (called drift) and also on a small scalar parameter $\epsilon$. Furthermore, we assume that the conformal factor $\lambda$ depends on $\epsilon$, in such a way that for $\epsilon=0$ we have $\lambda(0)=1$ (the symplectic case). We study the domains of analyticity in $\epsilon$ near $\epsilon=0$ of perturbative expansions (Lindstedt series) of the parameterization of the quasi--periodic orbits of frequency $\omega$ (assumed to be Diophantine) and of the parameter $\mu$. Notice that this is a singular perturbation, since any friction (no matter how small) reduces the set of quasi-periodic solutions in the system. We prove that the Lindstedt series are analytic in a domain in the complex $\epsilon$ plane, which is obtained by taking from a ball centered at zero a sequence of smaller balls with center along smooth lines going through the origin. The radii of the excluded balls decrease faster than any power of the distance of the center to the origin

Extremal families of cubic Thue equations

We exactly determine the integral solutions to a previously untreated infinite family of cubic Thue equations of the form $F(x,y)=1$ with at least $5$ such solutions. Our approach combines elementary arguments, with lower bounds for linear forms in logarithms and lattice-basis reduction

Vibration suppression in multi-body systems by means of disturbance filter design methods

This paper addresses the problem of interaction in mechanical multi-body systems and shows that subsystem interaction can be considerably minimized while increasing performance if an efficient disturbance model is used. In order to illustrate the advantage of the proposed intelligent disturbance filter, two linear model based techniques are considered: IMC and the model based predictive (MPC) approach. As an illustrative example, multivariable mass-spring-damper and quarter car systems are presented. An adaptation mechanism is introduced to account for linear parameter varying LPV conditions. In this paper we show that, even if the IMC control strategy was not designed for MIMO systems, if a proper filter is used, IMC can successfully deal with disturbance rejection in a multivariable system, and the results obtained are comparable with those obtained by a MIMO predictive control approach. The results suggest that both methods perform equally well, with similar numerical complexity and implementation effort