Zymplectic

Zymplectic 0.12.0 - 2024.09.06	Download links
Windows x86-64	Zymplectic v.0.12.0 win64 gcc Zymplectic v.0.12.0 win64 clang
Linux x86-64	Currently unavailable

Introduction

Explicit symplectic integrators (SIs, singular SI) are numerical integration schemes for separable Hamiltonian systems: $$H=T(p)+V(q)$$ where H is the Hamiltonian typically associated with the energy of the system. T and V is typically associated with the kinetic and potential energy respectively. p and q denotes the canonical coordinates which are often associated with momentum and position obeying: $$\dot{p}= -\frac{\partial H}{\partial q}$$ $$\dot{q}= \frac{\partial H}{\partial p}$$ The time evolution of the autonomous and separable Hamiltonian system can be calculated numerically by canonical transformation of coordinates (q₀,p₀) → (q_s,p_s) over the time τ:

$$q_i=q_{i - 1} + \tau c_i\frac{\partial T}{\partial p}(p_{i - 1}) $$ $$p_i=p_{i - 1} - \tau d_i\frac{\partial V}{\partial q}(q_i)$$ where s is the number of stages equal to the number of splitting coefficints c or d. The accuracy and integration order depends on the choice of the splitting coefficients.

SIs preserve the phase-space volume exactly and counteract dissipation of the initial Hamiltonian as opposed to well-acclaimed non-symplectic Runge-Kutta methods. SIs are widely used for long-time numerical integration in the fields of celestial mechanics, accelerator physics, molecular dynamics, and quantum chemistry, and in particular any form of state space analyses that are particularly vulnerable to dissipative errors.

The symplectic Euler method (first order) and the leapfrog method (second order) in spite of their poor accuracy are among the most acclaimed SIs, and are often used without the users' awareness of the symplectic properties.

The Hamiltonian is one of the qualitative physical properties of autonomous dynamical systems that is preserved throughout the numerical integration (see demo, left mouse to start simulation):

Applications

In addition to their common application, SIs may also be applied to systems where T or V depend explicitly on time, that are the so-called non-autonomous systems where the Hamiltonian is generally not conserved. $$H = T(p,t)+V(q,t)$$ While explicit system integrators are primarily intended for separable Hamiltonian systems it has been shown that they can be applied to non-separable systems which can not be separated into two terms T(p) and V(q) or in other words that T or V depend irreducibly on both q and p, and without loss of generality may or may not depend explicitly on time:

$$H = f(p,q,t)$$ for any sufficiently smooth function f. Finally, SIs while possibly waiving some symplectic properties, can have their use extended to a wide range of differential equations such as ordinary differential equations that may not be governed by a Hamiltonian.

The Zymplectic project

Zymplectic is vastly different from other differential equation libraries such as GSL or JuliaDiffEq. Zymplectic is intended for Hamiltonian systems and supports only explicit symplectic integrators. Zymplectic is designed to load c/c++ source files containing Hamilton's equations of Hamiltonian systems, which when interpreted, compiled, loaded are simulated with any desired method, graphics and settings optionally set in the graphical user interface. Zymplectic automatically displays/retrieves relevant data, including simulated objects, simulation error, energy surfaces and object trajectories. Users need not to know any large number of functions or calling conventions to make a simulation code, greatly reducing the abstraction of coding aiding the user in expressing advanced Hamiltonian systems. The c++ files loaded by Zymplectic are macro-augmented to further enhance the ease of use with no negative impact on flexibility or performance. Zymplectic is fully functional without installation and does not require any IDE or compilers since Zymplectic is bundled with either gcc or clang. Zymplectic includes the single largest online selection of symplectic integrators ranging from the symplectic Euler to high order symplectic Runge-Kutta (SPRK) as well as Runge-Kutta-Nyström (RKN) methods, all which are also available in text format for those who pursue to make their own implementations.

Showcases

List last updated 2023.03.27

Zymplectic features

Prebuilt GUI with no setup or dependencies
Bundled with GCC or clang to dynamically compile c++ code
More than 70 examples to be simulated with a single click
More than 100 SPRK and RKN integrators
Built-in Kahan summation for reducing truncation errors
Practical 2D/3D OpenGL-based UI with interactive features
Benchmarking to identify the best methods for a given system
Wide scope supporting conventional separable Hamiltonian systems, but also non-separable, non-autonomous and non-holonomic systems

Ease of use

Zymplectic requires only declarations of Hamilton's equations, initial conditions and simple initialization functions to run. This is done in macro-augmented c++ code, allowing simple declarations of comprehensive Hamiltonian systems with few lines of code.

//example implementation of Hénon-Heiles system

#include "math.h"
const double lambda = 1.0;
double _q_init[] = {0.3,0.0}; //initial position
double _p_init[] = {0.0,0.4}; //and momentum

double energy_H(Arg) { //Hamiltonian (optional)
    return lambda*q2*(q1@2 - q2@2/3.0) + 0.5*(q1@2 + q2@2 + p1@2 + p2@2);
} //Zymplectic supports the power operator @

void dH(Arg) { //Hamilton's equations
    dq1 = q1 + lambda*2*q1*q2;
    dq2 = q2 + lambda*(q1@2 - q2@2);
    dp1 = p1;
    dp2 = p2;
}

void main() {
    Z.H(energy_H,dH,0);
}

Each object can also be paired with other objects or assigned to seperate kinetic and potential energies. This allows easy construction of more complicated physical systems with very few lines of code.

Zymplectic's interface includes the GUI control panel, an interactive glut-display window and an output console

Zymplectic project