Downloads


Papers and Preprints

         
[1] J. Galante, V. Kaloshin.  Destruction of Invariant Curves Using Comparison of Action.  Preprint.

[2] J. Galante, V. Kaloshin. Destruction of Invariant Curves Using The Ordering Condition.  Preprint.

[3] J. Galante, V. Kaloshin.  Construction of a Twisting Coordinate System for the Restricted Circular Planar Three Body Problem.  Preprint.

[4] J. Galante. Gauss's Circle Problem. Senior Honors Thesis at U. Rochester

[5] J. Galante. Generalized Cantor Expansions.  Rose Hulman Undergraduate Mathematics Journal.  Spring 2004 Issue


Selected Talks and Notes

Cometary Escape in the Restricted Circular Planar Three Body Problem.- Preliminary Oral Exam - March 2009

Rigorous Numerics on ODE's - Student Dynamics Seminar - Fall 2008
          Bound_Lemma - Some minor corrections to the Talk Paper
        

Software

Mathematica

***All of these require Mathematica 5 or better***

RCP3BP_Estimates_v4.1

Actcomp_v4.1 - Does the action comparison method in [1]

Actcomp4a_res - Numerical Output from rigorous integration in [1]

Localization_Intervals_v4.0 - Find localization intervals in [2]

Simplifications_v4.0 - Simplified forms for the perturbation term

Perturbation Bounds_v4.0 - Finds bounds on the perturbation term in [1]

Misc supporting calculations_v4.0 - Supporting calculations in [1],[2],[3]

Crossings_v4.0 - Trajectories which cross localization intervals in [2]

Draws the background on this page

CAPD

***All of these require CAPD***

Brief Directions on running these programs

Examples of rigorous integrators

Actcomp4 - rigorous inner action comparison in [1]

Outactcomp - rigorous outer action comparison in [1].  This program requires the summary log files below

Sepsplit74 - measures splitting of separatrices in [2]

dPrdr0  and dPphidPphi0 - computes equations of variation in [2]

twistcheck - computes twist term in [1],[2]

COSY

***All of these require COSY***

COSY-JERI - A Rigorous Global Optimizer and ODE Solver using Taylor Model Arithmetic.  This includes a brief readme and some examples.

gridstore - massive grid calculation described in [2]

gridbound - reads data and produces localization intervals found in [2]

Data

Summary Files for the action comparison method in [1]




Home  Links  Downloads  Projects  Pictures