Computer Assisted Proof for Normally Hyperbolic Invariant Manifolds

We present a topological proof of the existence of a normally hyperbolic invariant manifold for maps. In our approach we do not require that the map is a perturbation of some other map for which we already have an invariant manifold. But a non-rigorous, good enough, guess is necessary. The required assumptions are formulated in a way which allows for rigorous computer assisted verification. We apply our method for a driven logistic map, for which non-rigorous numerical simulation in plain double precision suggests the existence of a chaotic attractor. We prove that this numerical evidence is false and that the attractor is a normally hyperbolic invariant curve.Comment: 33 pages, 16 figure

Two Particle-Hole Excitations in Charged Current Quasielastic Antineutrino--Nucleus Scattering

We evaluate the quasielastic and multinucleon contributions to the antineutrino nucleus scattering cross section and compare our results with the recent MiniBooNE data. We use a local Fermi gas model that includes RPA correlations and gets the multinucleon part from a systematic many body expansion of the $W$ boson selfenergy in the nuclear medium. The same model had been quite successful for the neutrino cross section and contains no new parameters. We have also analysed the relevance of 2p2h events for the antineutrino energy reconstruction.Comment: 6 pages, 4 figure

Earth-Moon Lagrangian points as a testbed for general relativity and effective field theories of gravity

We first analyse the restricted four-body problem consisting of the Earth, the Moon and the Sun as the primaries and a spacecraft as the planetoid. This scheme allows us to take into account the solar perturbation in the description of the motion of a spacecraft in the vicinity of the stable Earth-Moon libration points L4 and L5 both in the classical regime and in the context of effective field theories of gravity. A vehicle initially placed at L4 or L5 will not remain near the respective points. In particular, in the classical case the vehicle moves on a trajectory about the libration points for at least 700 days before escaping away. We show that this is true also if the modified long-distance Newtonian potential of effective gravity is employed. We also evaluate the impulse required to cancel out the perturbing force due to the Sun in order to force the spacecraft to stay precisely at L4 or L5. It turns out that this value is slightly modified with respect to the corresponding Newtonian one. In the second part of the paper, we first evaluate the location of all Lagrangian points in the Earth-Moon system within the framework of general relativity. For the points L4 and L5, the corrections of coordinates are of order a few millimeters and describe a tiny departure from the equilateral triangle. After that, we set up a scheme where the theory which is quantum corrected has as its classical counterpart the Einstein theory, instead of the Newtonian one. In other words, we deal with a theory involving quantum corrections to Einstein gravity, rather than to Newtonian gravity. By virtue of the effective-gravity correction to the long-distance form of the potential among two point masses, all terms involving the ratio between the gravitational radius of the primary and its separation from the planetoid get modified. Within this framework, for the Lagrangian points of stable equilibrium, we find quantum corrections of order two millimeters, whereas for Lagrangian points of unstable equilibrium we find quantum corrections below a millimeter. In the latter case, for the point L1, general relativity corrects Newtonian theory by 7.61 meters, comparable, as an order of magnitude, with the lunar geodesic precession of about 3 meters per orbit. The latter is a cumulative effect accurately measured at the centimeter level through the lunar laser ranging positioning technique. Thus, it is possible to study a new laser ranging test of general relativity to measure the 7.61-meter correction to the L1 Lagrangian point, an observable never used before in the Sun-Earth-Moon system. Performing such an experiment requires controlling the propulsion to precisely reach L1, an instrumental accuracy comparable to the measurement of the lunar geodesic precession, understanding systematic effects resulting from thermal radiation and multi-body gravitational perturbations. This will then be the basis to consider a second-generation experiment to study deviations of effective field theories of gravity from general relativity in the Sun-Earth-Moon system

Normalizing connections and the energy-momentum method

The block diagonalization method for determining the stability of relative equilibria is discussed from the point of view of connections. We construct connections whose horizontal and vertical decompositions simultaneosly put the second variation of the augmented Hamiltonian and the symplectic structure into normal form. The cotangent bundle reduction theorem provides the setting in which the results are obtained

Asymptotic analysis of displaced lunar orbits

The design of spacecraft trajectories is a crucial task in space mission design. Solar sail technology appears as a promising form of advanced spacecraft propulsion which can enable exciting new space science mission concepts such as solar system exploration and deep space observation. Although solar sailing has been considered as a practical means of spacecraft propulsion only relatively recently, the fundamental ideas are by no means new (see McInnes1 for a detailed description). A solar sail is propelled by reflecting solar photons and therefore can transform the momentum of the photons into a propulsive force. Solar sails can also be utilised for highly non-Keplerian orbits, such as orbits displaced high above the ecliptic plane (see Waters and McInnes2). Solar sails are especially suited for such non-Keplerian orbits, since they can apply a propulsive force continuously. In such trajectories, a sail can be used as a communication satellite for high latitudes. For example, the orbital plane of the sail can be displaced above the orbital plane of the Earth, so that the sail can stay fixed above the Earth at some distance, if the orbital periods are equal (see Forward3). Orbits around the collinear points of the Earth-Moon system are also of great interest because their unique positions are advantageous for several important applications in space mission design (see e.g. Szebehely4, Roy,5 Vonbun,6 Thurman et al.,7 Gomez et al.8, 9). Several authors have tried to determine more accurate approximations (quasi-Halo orbits) of such equilibrium orbits10. These orbits were first studied by Farquhar11, Farquhar and Kamel10, Breakwell and Brown12, Richardson13, Howell14, 15.If an orbit maintains visibility from Earth, a spacecraft on it (near the L2 point) can be used to provide communications between the equatorial regions of the Earth and the lunar poles. The establishment of a bridge for radio communications is crucial for forthcoming space missions, which plan to use the lunar poles.McInnes16 investigated a new family of displaced solar sail orbits near the Earth-Moon libration points.Displaced orbits have more recently been developed by Ozimek et al.17 using collocation methods. In Baoyin and McInnes18, 19, 20 and McInnes16, 21, the authors describe new orbits which are associated with artificial Lagrange points in the Earth-Sun system. These artificial equilibria have potential applications for future space physics and Earth observation missions. In McInnes and Simmons22, the authors investigate large new families of solar sail orbits, such as Sun-centered halo-type trajectories, with the sail executing a circular orbit of a chosen period above the ecliptic plane. We have recently investigated displaced periodic orbits at linear order in the Earth-Moon restricted three-body system, where the third massless body is a solar sail (see Simo and McInnes23). These highly non-Keplerian orbits are achieved using an extremely small sail acceleration. It was found that for a given displacement distance above/below the Earth-Moon plane it is easier by a factor of order 3.19 to do so at L4=L5 compared to L1=L2 - ie. for a fixed sail acceleration the displacement distance at L4=L5 is greater than that at L1=L2. In addition, displaced L4=L5 orbits are passively stable, making them more forgiving to sail pointing errors than highly unstable orbits at L1=L2.The drawback of the new family of orbits is the increased telecommunications path-length, particularly the Moon-L4 distance compared to the Moon-L2 distance