cancellations in the perturbation series of certain completely integrable Hamiltonian systems. and existence of heteroclinic chains in Hamiltonian three time scales systems, Preprint, 1997. Ge1] Gentile, G: A proof of existence of whiskered tori with quasi at homoclinic intersections in a class of almost integrable Hamiltonians systems, Forum Mathematicum 17 Draft #1 DB k?1 (k ? 1)!? 0 C(;) ?1 ...

The most precise measurements are done at present by timing of radiopulsars in binary systems with two neutron stars. The timing measurements of the Taylor-Hulse pulsar give the most precise results on testing of general relativity (GR), finding implicit proof of existence of gravitational waves. We show that the existing measurements, used for checking the variability of the fundamental consta...

We revisit affine diffusion processes on general and on the canonical state space in particular. A detailed study of theoretic and applied aspects of this class of Markov processes is given. In particular, we derive admissibility conditions and provide a full proof of existence and uniqueness through stochastic invariance of the canonical state space. Existence of exponential moments and the fu...

We consider the question of existence of “bell-shaped” (i.e. non-increasing for x > 0 and non-decreasing for x < 0) traveling waves for the strain variable of the generalized Hertzian model describing, in the special case of a p = 3/2 exponent, the dynamics of a granular chain. The proof of existence of such waves is based on the English and Pego [Proceedings of the AMS 133, 1763 (2005)] formul...

We present a new, simple proof of existence for the Lanczos spinor potential in 3+1 dimensions that introduces a potential T ABCD = T (ABC)D of the Lanczos potential together with several generalizations to other index configurations and metric signatures. The potential T ABCD can also be used to express, in a concise way, the gauge freedom left in the Lanczos potential after the differential g...

Milner and Patton (J. Comput. Appl. Math., in press) introduced earlier a new approach to modeling host–parasite dynamics through a convection–diffusion partial differential equation, which uses the parasite density as a continuous structure variable. A motivation for the model was presented there, as well as results from numerical simulations and comparisons with those from other models. Howev...

(a) Definition of a ∆-system, statement and proof of the ∆-system lemma. (b) Statement of MA (Martin’s Axiom) and MAκ, proof that MAω holds and MAc fails. (c) Definition of a club and a stationary subset of κ, of the club filter and proof that the club filter on a regular cardinal κ is κ-complete. (d) Statement and proof of the Pressing Down Lemma. i. An application: Statement and proof of Thom...

On account of the existence of uncertainty, DEA occasionally faces the situation of imprecise data, especially when a set of DMUs include missing data, ordinal data, interval data, stochastic data, or fuzzy data. Therefore, how to evaluate the efficiency of a set of DMUs in interval environments is a problem worth studying. In this paper, we discussed the new method for evaluation and ranking i...