Numerical Analysis

AG-2026.07-1120

math.NA

A Log-Gaussian Scale-Space Limiter for Hybrid Continuum--Ballistic Gas Dynamics

Bjørn Wu

We propose a log-Gaussian scale-space limiter for hybrid continuum-ballistic gas dynamics. The method defines complementary continuum and ballistic weights as Gaussian cumulative probabilities in logarithmic Knudsen-number space. This construction gives a smooth numerical transition between Navier-Stokes-Fourier and kinetic/free-molecular fluxes and suppresses asymptotically invalid correction branches in the continuum and free-molecular limits. The limiter is incorporated into a conservative finite-volume interface flux by blending a Navier-Stokes-Fourier flux with a half-range Maxwellian kinetic flux. Numerical tests using one-dimensional DVM/BGK Fourier and Couette benchmarks show that rarefaction corrections improve macroscopic profiles relative to NSF. A parameter scan over the transition center and width gives a DVM/BGK-calibrated pair K0=0.03 and sigma=2.5, reducing the combined mean profile error by about 40% for the tested planar wall-bounded flows. The paper is intended as a proof-of-concept numerical method and calibration study.

AG-2026.07-1025

math.NA

Splitting Analysis for Yukawa Potential

Di Fang, Jiaqi Zhang

Splitting methods are among the most classical and fundamental tools for the simulation of quantum dynamics, and their importance has grown further with the rise of quantum computing. In this work, we analyze the Schrödinger equation with Yukawa potential, a physically relevant and widely used model potential. It may be viewed as a Coulomb interaction with exponential decay at spatial infinity, preserving the Coulomb singularity at the origin while removing the long-range Coulomb tail. We prove that the operator splitting for this unbounded Hamiltonian achieves a global $1/4$-order convergence rate in the time step for many-body Yukawa interactions, with explicit polynomial dependence on the number of particles. The result holds for all initial wavefunctions in $H^2(\mathbb R^{3N})$, the natural domain of the Hamiltonian, and our numerical experiments are consistent with the theoretical estimates. To identify the sharp obstruction behind this rate, we prove a short-time lower bound in the one-body setting of order $t^{5/4}$ for the one-step error, which rules out any uniform global estimate of order better than $1/4$ in general. This agreement with the optimal $1/4$ rate in the Coulomb case is particularly interesting, as Yukawa potential is short-ranged compared to Coulomb potential. For the many-body upper bound, one of the new technical ingredients is the explicit polynomial-in-system-size Sobolev estimates of many-body Yukawa systems. These estimates are crucial for obtaining fully a priori bounds that depend only on the norms of the initial states, rather than on the solution at time $t$. For the one-body lower bound, we leverage a new analysis argument based on Fourier analysis and Kato smoothing.

AG-2026.07-476

math.NA

On low-rank tensor train approximability for linear nearest neighbor systems

Patrick Gelß, Sebastian Matera, Reinhold Schneider, André Uschmajew

Low-rank tensor methods are an important tool in the numerical treatment of equations with a high-dimensional state space. Nearest neighbor interaction systems like the Ising model or more general Markov jump processes, as well as 1D finite-state quantum systems are examples of such problems. While low-rank tensor train/matrix product state models have been shown to be highly efficient for the simulation of such systems, providing theoretical justification for this remains a challenging task. One approach for obtaining estimates on required ranks for certain accuracies is to investigate the rank increase in Krylov subspace methods for solving the problem at hand. In the context of area laws for ground states of 1D spin systems, nontrivial results on rank-increasing properties of nearest neighbor operator polynomials have been obtained in work of Arad et al. [arXiv:1301.1162] by studying the partial commutativity of local operators. In the present work, this technique is applied to polynomial methods for definite linear equations and dissipative linear ODEs with nearest neighbor structure. This allows to derive corresponding low-rank approximability statements for solutions of such problems which are independent of the system size. Numerical simulations of high-dimensional nearest neighbor systems illustrate the theoretical findings.

AG-2026.06-1931

math.NA

An Arbitrary-Lagrangian-Eulerian solver for relativistic detonation waves

Sara Rinaldi, Olindo Zanotti, Michael Dumbser

In this paper we study the dynamics of relativistic detonation waves theoretically and numerically. The reaction is physically accounted for by an extra term in the definition of the total energy density and by an additional equation for the evolution of the mass fraction of the reactant, while leaving formally unmodified the equations of mass and energy-momentum conservation. In this way, the Rankine-Hugoniot relations maintain the same formal structure of the inert version. For the numerical solution we use a second order finite volume ALE scheme with TVD reconstruction, where the mesh velocity is chosen equal to the shock speed. We also adopt a locally implicit algorithm for the treatment of potentially stiff reaction source terms that arise in the equation of the reactant. We furthermore propose a particularly efficient algorithm for the conversion from the conserved to the primitive variables, which for the relativistic Euler equations is known to be nontrivial. Following this approach, we can successfully solve the Zel'dovich-von Neumann-Doering profile of a relativistsic detonation wave, up to Lorentz factors of the shock front $γ_S\sim 7$. Our analysis allowed us to highlight a new special relativistic effect, which has remained unnoticed so far. While in Newtonian detonations the Zel'dovich pressure jump decreases monotonically with the mass flux through the shock front, in the relativistic case it shows a minimum and then rises monotonically as a function of the mass flux. This may have interesting physical implications on the amount of energy that can be extracted from a relativistic detonation wave.

AG-2026.06-1823

math.NA

Finite Elements for Helmholtz Scattering with Infinity as a Computational Boundary

Markus Wess, Anıl Zenginoğlu

Building on the null-infinity-layer construction, we develop an H1-conforming finite-element formulation of hyperboloidal compactification for the exterior Helmholtz equation. A change of coordinates maps infinity to a finite outer boundary, and a rescaling removes the leading oscillatory decay. We derive the transformed equation and a global sesquilinear weak formulation with bounded coefficients. The compactified boundary contributes an explicit boundary mass term, and its trace gives the far-field pattern up to a known normalization. We compare the resulting method with finite-element discretizations using perfectly matched layers (PML) and report benchmark results in two and three dimensions. Numerical experiments include scattering by a unit disk, resonance in a trapping geometry, a manufactured benchmark in three dimensions, and a submarine benchmark.

AG-2026.06-1736

math.NA

Second order explicit splitting scheme for fluid-poroelastic structure interaction problems

Yifan Wang, Jeonghun Lee, Suncica Canic

Efficient and provably accurate partitioned methods for fluid-poroelastic structure interaction remain challenging because explicit treatment of the Stokes-Biot interface coupling condition can compromise stability. In this work, we develop and analyze a fully discrete, second-order, explicit splitting scheme for the time-dependent Stokes-Biot problem on fixed domains. The method combines BDF2 time stepping with second-order Adams-Bashforth extrapolation of interface data through a Robin reformulation, yielding a partitioned algorithm in which the Stokes and Biot subproblems are solved independently and in parallel at each time step. The main analytical contribution is a rigorous stability and error analysis for this second-order explicit coupling strategy. Using BDF2 energy identities, a sharp decomposition of the extrapolated interface terms, and discrete trace estimates, we prove a closed stability bound under a parabolic CFL condition. We then derive an a priori error estimate through a projection-based framework using a Fortin projection for the fluid variables and Ritz-type projections for the poroelastic variables. The analysis identifies consistency defects from BDF2 time discretization, Adams-Bashforth interface extrapolation, and the projected kinematic relation. It shows that the total errors in fluid velocity, structure velocity, pore pressure, and elastic displacement are bounded by C times the sum of the kth power of the mesh size and the square of the time step, for k from 1 to 3, in bulk energy norms. Numerical experiments with manufactured solutions confirm second-order temporal convergence and optimal-order spatial convergence. We also include a moving-domain example with Navier-Stokes fluid flow, demonstrating applicability beyond the fixed-domain Stokes-Biot setting analyzed.

AG-2026.06-1003

math.NA

Reduced basis algorithm for solving nonlinear differential equations on quantum computers

Monica Lăcătuş, Matthias Möller, Sauro Succi

As quantum computing moves toward scientific computing applications, nonlinear differential equations remain a central challenge since quantum evolution is intrinsically linear. In this work, we introduce a reduced basis algorithm (RBA) for polynomial nonlinear ordinary differential equations (ODEs) and spatially discretized partial differential equations (PDEs). After time discretization, the method composes the resulting polynomial update map over $m$ timesteps, identifies the reduced monomial basis appearing in this composed map, and constructs a linear RBA operator whose action recovers the exact $m$-timestep nonlinear dynamics. Thus, at the level of the chosen discrete update rule, the method introduces no additional approximation error beyond the time discretization error. The qubit number requirement is governed by the size of the reduced monomial basis. For an $n$-dimensional polynomial ODE system of degree $p>1$, the lifted register requires at most $q_m^{\mathrm{ODE}} = O(nm\log p)$ qubits in the full basis scenario. For PDEs discretized on $N^D$ grid points, a locality-based construction requires at most $q_m^{\mathrm{PDE}} = O(D\log N + n m^{D+1}\log p)$ qubits. Hence, the dependence on the grid size remains logarithmic, while the nonlinear overhead is controlled by local reduced basis size. The main computational burden is moved from the quantum computer to a classical preprocessing step, where the reduced monomial basis and RBA operator are constructed for the chosen timestep window. Through numerical tests on the Lorenz system and the one-dimensional Burgers equation, we verify that the RBA reproduces the corresponding discrete time nonlinear dynamics exactly, while exposing the trade-off between timestep composition, reduced basis growth, and locality.

AG-2026.06-849

math.NA

Symmetric structure-preserving discretization of N-phase incompressible fluid mixtures with arbitrary density ratios

M. F. P. ten Eikelder, A. Brunk

Diffuse-interface models are a widely used framework for interfacial dynamics in complex fluids, in which interfaces are represented through smooth transition layers and capillary effects are encoded by a free-energy functional. For incompressible mixtures with more than two phases, however, robust computation is substantially more difficult because the numerical method should preserve the balance structure of the continuum model, maintain the saturation constraint, dissipate energy, and treat all phases symmetrically even when density ratios are arbitrary. Existing structure-preserving methods are largely developed for binary flows or for formulations that distinguish a reference phase, so a genuinely symmetric N-phase discretization remains lacking. The practical problem is therefore to construct a fully-discrete method for N-phase incompressible Navier--Stokes--Cahn--Hilliard mixture models that retains the key thermodynamic and conservation properties of the continuum equations for arbitrary density ratios. Here we propose a symmetric fully-discrete method for the N-phase incompressible Navier--Stokes--Cahn--Hilliard mixture model with arbitrary density ratios. The method yields a fully-discrete problem in which every solution satisfies exact phase volume conservation, phase mass conservation, total volume conservation, total mass conservation, and a discrete energy-dissipation law. In addition, if the volume-saturation constraint holds for the initial data, then it is preserved at every time step. We numerically verify these structure-preserving properties and demonstrate the robustness of the method in representative multiphase flow problems. The resulting scheme provides a computational framework for incompressible N-phase mixture flows with complex interfacial dynamics and arbitrary density contrasts.

AG-2026.06-837

math.NA

Curvature-Induced Force Fields in Hyperelasticity

Victor Dods

Originally motivated by creating first-person computer visualizations within Riemannian manifolds -- the author was led to study deformable-body mechanics, as rigid-body mechanics is not available in a generic Riemannian manifold due to its lack of nontrivial isometry group. Hyperelasticity is a particularly nice sub-category of continuum mechanics in which a deformable, elastic body's behavior is determined by a stored energy density function. This allows problems to be posed variationally, and powerful tools brought to bear on studying and solving them. This article presents numerical simulations of static solutions to a particular class of problems in hyperelastic mechanics in 2-dimensional Riemannian manifolds in which a flat hyperelastic body $B$ is embedded into a region $Ω$ in a nowhere-flat surface $S$ of revolution $z=z\left(r\right)$ such that $\left|K\left(r\right)\right|$ decreases as $r\to\infty$, where $K$ denotes the Gaussian curvature of $S$. For example, the funnel $z=-r^{-1}$ or the paraboloid $z=\frac{1}{2}r^{2}$. Because $B$ is flat, the body can't achieve a zero-stored-energy configuration, and restorative forces arise in the body to move it toward a region of lower stored energy -- meaning, toward a flatter configuration. With the addition of a gravitational potential $U\left(r\right)=z\left(r\right)$ on $S$, forces act on the body to pull it toward $r=0$. If the body has sufficient stiffness and remains within the region $Ω$, then the body has an equilibrium configuration in which the body's deformation-response forces perfectly cancel the gravitational forces. Such a configuration represents a kind of "levitation" phenomenon within this surface. The numerical implementation of this problem will be detailed and the resulting numerical solutions and various consequences discussed.

AG-2026.06-863

math.NA

Preconditioning for near-contacts in large 2D Stokes flows: a locally compressed method of fundamental solutions

Anna Broms, Anna-Karin Tornberg, Alex H. Barnett

We tackle two key difficulties in the simulation of the viscous hydrodynamics of a large dense collection of rigid particles: (i) the poor convergence rate of an iterative solution of the discretized linear system as particle gaps shrink, and (ii) the large number of unknowns needed to accurately discretize the resulting lubrication-driven flows. Our focus is the 2D Stokes resistance and mobility boundary value problems for nearly-touching disks. To address both challenges, we introduce a general two-body preconditioning strategy, and implement it with the method of fundamental solutions. For each close particle pair, the hard-to-resolve interaction is represented in a basis precomputed by solving a local boundary value problem on a fine grid. In an iterative solve, the resulting flow field corrects that obtained from a coarse representation of all particles. The local fine-grid correction can even be compressed so that all particles except the pair itself are affected by an equivalent set of coarse sources. Numerical experiments demonstrate rapid GMRES convergence in challenging multi-particle settings, with iteration counts remaining low even in densely packed suspensions. For example, the mobility problem is solved for a random close packing with area fraction $φ= 0.65$, $P = 10000$ monodisperse disks, and minimum separation $10^{-3}$, in just 47 GMRES iterations, achieving five digits of accuracy with 72 vector unknowns per body.

AG-2026.04-2065

math.NA

Beyond first-order accuracy in continuous-forcing immersed boundary methods, and their well-conditioned projection-based solution

Diederik Beckers, H. Jane Bae, Andres Goza

We introduce a refined immersed boundary (IB) methodology that is better-than-first-order accurate in practice, while preserving key properties of "continuous-forcing" IB approaches that retain a singular source term in the governing equations. Our method leverages a smoothed indicator (Heaviside) function, following ideas from multiphase flow and immersed layers formulations, to recast the IB solution as a composite of distinct interior and exterior fields. We demonstrate that, when cast through this composite-solution lens, prior continuous-forcing IB methods can be seen as neglecting terms in the governing and constraint equations that restrict the solution to first-order accuracy. We incorporate these terms to systematically improve accuracy without the need for heuristic corrections. In canonical Poisson problems, we empirically demonstrate second-order convergence, and in incompressible Navier-Stokes simulations the method achieves slightly sub-second-order performance. While our present study focuses on these cases, the framework suggests a path towards second-order accuracy or higher, with further extensions. This perspective reframes accuracy limitations typically attributed to IB schemes. Although continuous-forcing IB methods are often reported to be only first-order accurate, we show that neither smoothing nor interface interpolation inherently restricts attainable order. Moreover, we naturally incorporate this higher-order formulation into a projection-based solution process. The resulting algorithm simultaneously mitigates the spurious surface stresses produced by ill-conditioned linear systems and reduces sensitivity to geometric resolution, addressing both conditioning and accuracy concerns within a unified approach.

AG-2026.04-2074

math.NA

Data assimilation for slightly compressible flow

Aytekin Çıbık, Rui Fang

Continuous data assimilation (CDA) nudges observational data into governing equations to recover the underlying flow and improve predictions. Existing rigorous CDA analyses focus primarily on incompressible flows, yet no physical flow is perfectly incompressible. Approximating a slightly compressible flow with an incompressible model introduces non-negligible model errors. Data assimilation for compressible flows remains challenging due to strong nonlinearities and the presence of shocks. We design an algorithm that addresses the limitations of velocity-only nudging for slightly compressible flow. This work incorporates both velocity and pressure data from the slightly compressible flow and nudges both quantities into the incompressible Navier--Stokes equations. Our analysis shows that the model error decays exponentially in the initial error, with an asymptotic residual of order $\mathcal{O}(H)$, where H denotes the observation resolution. The analysis also identifies a scaling for the pressure nudging parameter $μ_1 = O(1/H^2)$ that ensures effective assimilation. We validate the theoretical results through a suite of numerical experiments: a convergence study confirming optimal rates, a modified Taylor--Green vortex benchmark demonstrating synchronization of energy, enstrophy, and pressure, and an acoustic wave propagation test that isolates the role of pressure nudging and achieves a $97.9\%$ reduction in pressure error relative to velocity-only assimilation. Together, these results provide a foundation for discrete error estimates and realistic compressible applications.

AG-2026.04-753

math.NA

From Exact Space-Time Symmetry Conservation to Automatic Mesh Refinement in Discrete Initial Boundary Value Problems

Alexander Rothkopf, W. A. Horowitz, Jan Nordström

In this contribution we present recent developments in the formulation and solution of Initial Boundary Value Problems (IBVPs). Building upon a modern variational action formulation of classical dynamics, we treat Initial Boundary Value Problems directly on the action level, bypassing governing equations. We show that by including coordinate maps as dynamical degrees of freedom together with propagating fields two key results emerge. Space-time symmetries remain protected even after discretization, leading to an exact conservation of Noether charges even for discrete IBVPs. The dynamical nature of the coordinate maps leads to an adjustment of space-time resolution, guided by Noether charge conservation, realizing a form of automatic adaptive mesh refinement. We stress that as long as SBP operators are used for the discretization, our results are independent of whether the dynamics are solved on the action or governing equation level and hold in particular also at high order. As proof-of-principle for our approach we present its application to scalar wave-propagation in 1+1 dimensions.

AG-2026.01-165

math.NA

From Penrose to Melrose: Computing Scattering Amplitudes at Infinity for Unbounded Media

Anıl Zenginoğlu

We develop a method to compute scattering amplitudes for the Helmholtz equation in variable, unbounded media with possibly long-range asymptotics. Combining Penrose's conformal compactification and Melrose's geometric scattering theory, we formulate the time-harmonic scattering problem on a compactified manifold with boundary and construct a two-step solver for scattering amplitudes at infinity. The construction is asymptotic: it treats a neighborhood of infinity, and is meant to couple to interior solvers via domain decomposition. The method provides far-field data without relying on explicit solutions or Green's function representation. Scattering in variable media is treated in a unified framework where both the incident and scattered fields solve the same background Helmholtz operator. Numerical experiments for constant, short-range, and long-range media with single-mode and Gaussian beam incidence demonstrate spectral convergence of the computed scattering amplitudes in all cases.

AG-2025.12-731

math.NA

High order numerical discretizations of the Einstein-Euler equations in the Generalized Harmonic formulation

Stefano Muzzolon, Michael Dumbser, Olindo Zanotti, Elena Gaburro

We propose two new alternative numerical schemes to solve the coupled Einstein-Euler equations in the Generalized Harmonic formulation. The first one is a finite difference (FD) Central Weighted Essentially Non-Oscillatory (CWENO) scheme on a traditional Cartesian mesh, while the second one is an ADER (Arbitrary high order Derivatives) discontinuous Galerkin (DG) scheme on 2D unstructured polygonal meshes. The latter, in particular, represents a preliminary step in view of a full 3D numerical relativity calculation on moving meshes. Both schemes are equipped with a well-balancing (WB) property, which allows to preserve the equilibrium of a priori known stationary solutions exactly at the discrete level. We validate our numerical approaches by successfully reproducing standard vacuum test cases, such as the robust stability, the linearized wave, and the gauge wave tests, as well as achieving long-term stable evolutions of stationary black holes, including Kerr black holes with extreme spin. Concerning the coupling with matter, modeled by the relativistic Euler equations, we perform a classical test of spherical accretion onto a Schwarzschild black hole, as well as an evolution of a perturbed non-rotating neutron star, demonstrating the capability of our schemes to operate also on the full Einstein-Euler system. Altogether, these results provide a solid foundation for addressing more complex and challenging simulations of astrophysical sources through DG schemes on unstructured 3D meshes.

AG-2025.12-072

math.NA

Constraint-Preserving High-Order Compact OEDG Method for Spherically Symmetric Einstein-Euler System

Yuchen Huang, Manting Peng, Kailiang Wu

Numerical simulation of the spherically symmetric Einstein--Euler (EE) system faces severe challenges due to the stringent physical admissibility constraints of relativistic fluids and the geometric singularities inherent in metric evolution. This paper proposes a high-order Constraint-Preserving (CP) compact Oscillation-Eliminating Discontinuous Galerkin (cOEDG) method specifically tailored to address these difficulties. The method integrates a scale-invariant oscillation-eliminating mechanism [M. Peng, Z. Sun, K. Wu, Math. Comp., 94: 1147--1198, 2025] into a compact Runge--Kutta DG framework. By characterizing the convex invariant region of the hydrodynamic subsystem with general barotropic equations of state, we prove that the proposed scheme preserves physical realizability (specifically, positive density and subluminal velocity) directly in terms of conservative variables, thereby eliminating the need for complex primitive-variable checks. To ensure the geometric validity of the spacetime, we introduce a bijective transformation of the metric potentials. Rather than evolving the constrained metric components directly, the scheme advances unconstrained auxiliary variables whose inverse mapping automatically enforces strict positivity and asymptotic bounds without any limiters. Combined with a compatible high-order boundary treatment, the resulting CPcOEDG method exhibits robust stability and design-order accuracy in capturing strong gravity-fluid interactions, as demonstrated by simulations of black hole accretion and relativistic shock waves.

AG-2025.11-956

math.NA

Scatter-Limited Hybrid Monte Carlo, Deterministic Transport with Quasi-Monte Carlo Sampling

Johannes Krotz, Ryan G. McClarren

We present a hybrid method for time-dependent particle transport that combines Monte Carlo (MC) estimation with a deterministic discrete ordinates (\(S_N\)) solve, augmented by quasi-Monte Carlo (QMC) sampling. For spatial discretizations, the MC component computes a piecewise-constant (cell-averaged) solution, while the \(S_N\) stage employs bilinear discontinuous finite elements. By hybridizing the formulation, the MC subproblem after a prescribed scatter limit becomes scattering-free, yielding a simple and efficient streaming/attenuation procedure. Between time steps, a simple scatter-free MC step is run to relabel the $S_N$ solution as an MC solution. A key feature of the approach is a tunable parameter \(N_{s}\) that controls how many material collisions are handled in the (Q)MC leg before handing off to the deterministic \(S_N\) solve; \(N_s=0\) recovers a purely uncollided MC leg, while \(N_s>0\) produces multi-scatter hybrids. QMC replaces pseudorandom draws with low-discrepancy points in the existing MC sampling maps, enabling a plug-in adoption within the standard MC code with modest, localized changes. We observe significant accuracy and convergence rate improvements through the use of QMC and practically no additional computational cost, which are generally not seen in comparable non-hybrid solves. We believe the multi-scatter approach provides additional flexibility in terms of parallelization and the choice of deterministic solver.

AG-2025.09-875

math.NA

Dynamical symmetry breaking described by cubic nonlinear Klein-Gordon equations

Yasuhiro Takei, Yoritaka Iwata

The dynamical symmetry breaking associated with the existence and non-existence of breather solutions is studied. Here, nonlinear hyperbolic evolution equations are calculated using a high-precision numerical scheme. %%% First, for clarifying the dynamical symmetry breaking, it is necessary to use a sufficiently high-precision scheme in the time-dependent framework. Second, the error of numerical calculations is generally more easily accumulated for calculating hyperbolic equations rather than parabolic equations. Third, numerical calculations become easily unstable for nonlinear cases. Our strategy for the high-precision and stable scheme is to implement the implicit Runge-Kutta method for time, and the Fourier spectral decomposition for space. %%% In this paper, focusing on the breather solutions, the relationship between the velocity, mass, and the amplitude of the perturbation is clarified. As a result, the conditions for transitioning from one state to another are clarified.

AG-2025.08-126

math.NA

Discretizing linearized Einstein-Bianchi system by symmetric and traceless tensors

Yuyang Guo, Jun Hu, Ting Lin

The Einstein-Bianchi system uses symmetric and traceless tensors to reformulate Einstein's original field equations. However, preserving these algebraic constraints simultaneously remains a challenge for numerical methods. This paper proposes a new formulation that treats the linearized Einstein-Bianchi system (near the trivial Minkowski metric) as the Hodge wave equation associated with the conformal Hessian complex. To discretize this equation, a conforming finite element conformal Hessian complex that preserves symmetry and traceless-ness simultaneously is constructed on general three-dimensional tetrahedral grids, and its exactness is proven.

AG-2025.06-1380

math.NA

Optimal alignment of Lorentz orientation and generalization to matrix Lie groups

Congzhou M Sha

There exist elegant methods of aligning point clouds in $\mathbb R^3$. Unfortunately, these methods fail to generalize to the case of Minkowski space, as we will show. Instead, we propose two solutions to the following problem: given inertial reference frames $A$ and $B$, and given (possibly noisy) measurements of a set of 4-vectors $\{v_i\}$ made in those reference frames with components $\{v_{A,i}\}$ and $\{v_{B,i}\}$, find the optimal Lorentz transformation $Λ$ such that $Λv_{A,i}=v_{B,i}$. The first method is direct least squares optimization through a parametrization of $SO(3,1)_+$ in terms of the familiar boost and rotation vectors. The second method takes a detour through the Lorentz algebra; in addition to being conceptually simple and possessing a computational advantage over the first method, it can easily be generalized to the alignment of vector representations in other matrix Lie groups.

AG-2025.06-194

math.NA

Physics-Informed Neural Networks for the Relativistic Burgers Equation in the Exterior of a Schwarzschild Black Hole

Shuyang Xiang

We introduce a Physics-Informed Neural Networks(PINN) to solve a relativistic Burgers equation in the exterior domain of a Schwarzschild black hole. Our main contribution is a PINN architecture that is able to simulate shock wave formations in such curved spacetime, by training a shock-aware network block and introducing a Godunov-inspired residuals in the loss function. We validate our method with numerical experiments with different kinds of initial conditions. We show its ability to reproduce both smooth and discontinuous solutions in the context of general relativity.

AG-2025.05-504

math.NA

Constraints Preserving Lax-Wendroff Flux Reconstruction for Relativistic Hydrodynamics with General Equations of State

Sujoy Basak, Arpit Babbar, Harish Kumar, Praveen Chandrashekar

In the realm of relativistic astrophysics, the ideal equation of state with a constant adiabatic index provides a poor approximation due to its inconsistency with relativistic kinetic theory. However, it is a common practice to use it for relativistic fluid flow equations due to its simplicity. Here we develop a high-order Lax-Wendroff flux reconstruction method on Cartesian grids for solving relativistic hydrodynamics equations with several general equations of state available in the literature. We also study the conversion from conservative to primitive variables, which depends on the equation of state in use, and provide an alternative method of conversion when the existing approach does not succeed. For the admissibility of the solution, we blend the high-order method with a low-order method on sub-cells and prove its physical admissible property in the case of all the equations of state used here. Lastly, we validate the scheme by several test cases having strong discontinuities, large Lorentz factor, and low density or pressure in one and two dimensions.

AG-2025.02-206

math.NA

pylevin: Efficient numerical integration of integrals containing up to three Bessel functions

Robert Reischke

Integrals involving highly oscillatory Bessel functions are notoriously challenging to compute using conventional integration techniques. While several methods are available, they predominantly cater to integrals with at most a single Bessel function, resulting in specialised yet highly optimised solutions. Here we present pylevin, a Python package to efficiently compute integrals containing up to three Bessel functions of arbitrary order and arguments. The implementation makes use of Levin's method and allows for accurate and fast integration of these highly oscillatory integrals. In benchmarking pylevin against existing software for single Bessel function integrals, we find its speed comparable, usually within a factor of two, to specialised packages such as FFTLog. Furthermore, when dealing with integrals containing two or three Bessel functions, pylevin delivers performance up to four orders of magnitude faster than standard adaptive quadrature methods, while also exhibiting better stability for large Bessel function arguments. pylevin is available from source via github or directly from PyPi.

AG-2024.11-424

math.NA

DiscoTEX 1.0: Discontinuous collocation and implicit-turned-explicit (IMTEX) integration symplectic, symmetric numerical algorithms with high order jumps for differential equations II: extension to higher-orders of numerical convergence

Lidia J. Gomes Da Silva

\texttt{DiscoTEX} is a highly accurate numerical algorithm for computing numerical weak-form solutions to distributionally sourced partial differential equations (PDE)s. The aim of this second paper, succeeding \cite{da2024discotex}, is to present its extension up to twelve orders. This will be demonstrated by computing numerical weak-form solutions to the distributionally sourced wave equation and comparing it to its exact solutions. The full details of the numerical scheme at higher orders will be presented.

AG-2024.10-885

math.NA

Physics-informed Neural Networks for Functional Differential Equations: Cylindrical Approximation and Its Convergence Guarantees

Taiki Miyagawa, Takeru Yokota

We propose the first learning scheme for functional differential equations (FDEs). FDEs play a fundamental role in physics, mathematics, and optimal control. However, the numerical analysis of FDEs has faced challenges due to its unrealistic computational costs and has been a long standing problem over decades. Thus, numerical approximations of FDEs have been developed, but they often oversimplify the solutions. To tackle these two issues, we propose a hybrid approach combining physics-informed neural networks (PINNs) with the \textit{cylindrical approximation}. The cylindrical approximation expands functions and functional derivatives with an orthonormal basis and transforms FDEs into high-dimensional PDEs. To validate the reliability of the cylindrical approximation for FDE applications, we prove the convergence theorems of approximated functional derivatives and solutions. Then, the derived high-dimensional PDEs are numerically solved with PINNs. Through the capabilities of PINNs, our approach can handle a broader class of functional derivatives more efficiently than conventional discretization-based methods, improving the scalability of the cylindrical approximation. As a proof of concept, we conduct experiments on two FDEs and demonstrate that our model can successfully achieve typical $L^1$ relative error orders of PINNs $\sim 10^{-3}$. Overall, our work provides a strong backbone for physicists, mathematicians, and machine learning experts to analyze previously challenging FDEs, thereby democratizing their numerical analysis, which has received limited attention. Code is available at \url{https://github.com/TaikiMiyagawa/FunctionalPINN}.

AG-2024.10-129

math.NA

Robust Discontinuous Galerkin Methods Maintaining Physical Constraints for General Relativistic Hydrodynamics

Huihui Cao, Manting Peng, Kailiang Wu

Simulating general relativistic hydrodynamics (GRHD) presents challenges such as handling curved spacetime, achieving high-order shock-capturing accuracy, and preserving key physical constraints (positive density, pressure, and subluminal velocity) under nonlinear coupling. This paper introduces high-order, physical-constraint-preserving, oscillation-eliminating discontinuous Galerkin (PCP-OEDG) schemes with Harten-Lax-van Leer flux for GRHD. To suppress spurious oscillations near discontinuities, we incorporate a computationally efficient oscillation-eliminating (OE) procedure based on a linear damping equation, maintaining accuracy and avoiding complex characteristic decomposition. To enhance stability and robustness, we construct PCP schemes using the W-form of GRHD equations with Cholesky decomposition of the spatial metric, addressing the non-equivalence of admissible state sets in curved spacetime. We rigorously prove the PCP property of cell averages via technical estimates and the Geometric Quasi-Linearization (GQL) approach, which transforms nonlinear constraints into linear forms. Additionally, we present provably convergent PCP iterative algorithms for robust recovery of primitive variables, ensuring physical constraints are satisfied throughout. The PCP-OEDG method is validated through extensive tests, demonstrating its robustness, accuracy, and capability to handle extreme GRHD scenarios involving strong shocks, high Lorentz factors, and intense gravitational fields.

AG-2024.06-2416

math.NA

On the Continuity of Schur-Horn Mapping

Hengzhun Chen, Yingzhou Li

The Schur-Horn theorem is a well-known result that characterizes the relationship between the diagonal elements and eigenvalues of a symmetric (Hermitian) matrix. In this paper, we extend this theorem by exploring the eigenvalue perturbation of a symmetric (Hermitian) matrix with fixed diagonals, which is referred to as the continuity of the Schur-Horn mapping. We introduce a concept called strong Schur-Horn continuity, characterized by minimal constraints on the perturbation. We demonstrate that several categories of matrices exhibit strong Schur-Horn continuity. Leveraging this notion, along with a majorization constraint on the perturbation, we prove the Schur-Horn continuity for general symmetric (Hermitian) matrices. The Schur-Horn continuity finds applications in oblique manifold optimization related to quantum computing.

AG-2024.06-2255

math.NA

Annealing-based approach to solving partial differential equations

Kazue Kudo

Solving partial differential equations (PDEs) using an annealing-based approach involves solving generalized eigenvalue problems. Discretizing a PDE yields a system of linear equations (SLE). Solving an SLE can be formulated as a general eigenvalue problem, which can be transformed into an optimization problem with an objective function given by a generalized Rayleigh quotient. The proposed algorithm requires iterative computations. However, it enables efficient annealing-based computation of eigenvectors to arbitrary precision without increasing the number of variables. Investigations using simulated annealing demonstrate how the number of iterations scales with system size and annealing time. Computational performance depends on system size, annealing time, and problem characteristics.

AG-2024.05-2054

math.NA

Cons-training Tensor Networks: Embedding and Optimization Over Discrete Linear Constraints

Javier Lopez-Piqueres, Jing Chen

In this study, we introduce a novel family of tensor networks, termed constrained matrix product states (MPS), designed to incorporate exactly arbitrary discrete linear constraints, including inequalities, into sparse block structures. These tensor networks are particularly tailored for modeling distributions with support strictly over the feasible space, offering benefits such as reducing the search space in optimization problems, alleviating overfitting, improving training efficiency, and decreasing model size. Central to our approach is the concept of a quantum region, an extension of quantum numbers traditionally used in U(1) symmetric tensor networks, adapted to capture any linear constraint, including the unconstrained scenario. We further develop a novel canonical form for these new MPS, which allow for the merging and factorization of tensor blocks according to quantum region fusion rules and permit optimal truncation schemes. Utilizing this canonical form, we apply an unsupervised training strategy to optimize arbitrary objective functions subject to discrete linear constraints. Our method's efficacy is demonstrated by solving the quadratic knapsack problem, achieving superior performance compared to a leading nonlinear integer programming solver. Additionally, we analyze the complexity and scalability of our approach, demonstrating its potential in addressing complex constrained combinatorial optimization problems.

AG-2024.04-953

math.NA

Exact symmetry conservation and automatic mesh refinement in discrete initial boundary value problems

Alexander Rothkopf, W. A. Horowitz, Jan Nordström

We present a novel solution procedure for initial boundary value problems. The procedure is based on an action principle, in which coordinate maps are included as dynamical degrees of freedom. This reparametrization invariant action is formulated in an abstract parameter space and an energy density scale associated with the space-time coordinates separates the dynamics of the coordinate maps and of the propagating fields. Treating coordinates as dependent, i.e. dynamical quantities, offers the opportunity to discretize the action while retaining all space-time symmetries and also provides the basis for automatic adaptive mesh refinement (AMR). The presence of unbroken space-time symmetries after discretization also ensures that the associated continuum Noether charges remain exactly conserved. The presence of coordinate maps in addition provides new freedom in the choice of boundary conditions. An explicit numerical example for wave propagation in $1+1$ dimensions is provided, using recently developed regularized summation-by-parts finite difference operators.

AG-2024.02-2266

math.NA

A multilayer shallow water model for polydisperse reactive sedimentation

Julio Careaga, Víctor Osores

A three-dimensional model of polydisperse reactive sedimentation is developed by means of a multilayer shallow water approach. The model consists of a variety of solid particles of different sizes and densities, and substrates diluted in water, which produce biochemical reactions while the sedimentation process occurs. Based on the Masliyah-Lockett-Bassoon settling velocity, compressibility of the sediment and viscosity of the mixture, the system of governing equations is composed by non-homogeneous transport equations, coupled to a momentum equation describing the mass-average velocity. Besides, the free-surface depicted by the total height of the fluid column is incorporated and fully determined through the multilayer approach. A finite volume numerical scheme on Cartesian grids is proposed to approximate the model equations. Numerical simulations of the denitrification process exemplify the performance of the numerical scheme and model under different scenarios and bottom topographies.

AG-2024.02-2279

math.NA

A unified constraint formulation of immersed body techniques for coupled fluid-solid motion: continuous equations and numerical algorithms

Amneet Pal Singh Bhalla, Neelesh A. Patankar

Numerical simulation of moving immersed solid bodies in fluids is now practiced routinely following pioneering work of Peskin and co-workers on immersed boundary method (IBM), Glowinski and co-workers on fictitious domain method (FDM), and others on related methods. A variety of variants of IBM and FDM approaches have been published, most of which rely on using a background mesh for the fluid equations and tracking the solid body using Lagrangian points. The key idea that is common to these methods is to assume that the entire fluid-solid domain is a fluid and then to constrain the fluid within the solid domain to move in accordance with the solid governing equations. The immersed solid body can be rigid or deforming. Thus, in all these methods the fluid domain is extended into the solid domain. In this review, we provide a mathemarical perspective of various immersed methods by recasting the governing equations in an extended domain form for the fluid. The solid equations are used to impose appropriate constraints on the fluid that is extended into the solid domain. This leads to extended domain constrained fluid-solid governing equations that provide a unified framework for various immersed body techniques. The unified constrained governing equations in the strong form are independent of the temporal or spatial discretization schemes. We show that particular choices of time stepping and spatial discretization lead to different techniques reported in literature ranging from freely moving rigid to elastic self-propelling bodies. These techniques have wide ranging applications including aquatic locomotion, underwater vehicles, car aerodynamics, and organ physiology (e.g. cardiac flow, esophageal transport, respiratory flows), wave energy convertors, among others. We conclude with comments on outstanding challenges and future directions.

AG-2024.02-2313

math.NA

A Unified-Field Monolithic Fictitious Domain-Finite Element Method for Fluid-Structure-Contact Interactions and Applications to Deterministic Lateral Displacement Problems

Cheng Wang, Pengtao Sun, Yumiao Zhang, Jinchao Xu, Yan Chen, Jiarui Han

Based upon two overlapped, body-unfitted meshes, a type of unified-field monolithic fictitious domain-finite element method (UFMFD-FEM) is developed in this paper for moving interface problems of dynamic fluid-structure interactions (FSI) accompanying with high-contrast physical coefficients across the interface and contacting collisions between the structure and fluidic channel wall when the structure is immersed in the fluid. In particular, the proposed novel numerical method consists of a monolithic, stabilized mixed finite element method within the frame of fictitious domain/immersed boundary method (IBM) for generic fluid-structure-contact interaction (FSCI) problems in the Eulerian-updated Lagrangian description, while involving the no-slip type of interface conditions on the fluid-structure interface, and the repulsive contact force on the structural surface when the immersed structure contacts the fluidic channel wall. The developed UFMFD-FEM for FSI or FSCI problems can deal with the structural motion with large rotational and translational displacements and/or large deformation in an accurate and efficient fashion, which are first validated by two benchmark FSI problems and one FSCI model problem, then by experimental results of a realistic FSCI scenario -- the microfluidic deterministic lateral displacement (DLD) problem that is applied to isolate circulating tumor cells (CTCs) from blood cells in the blood fluid through a cascaded filter DLD microchip in practice, where a particulate fluid with the pillar obstacles effect in the fluidic channel, i.e., the effects of fluid-structure interaction and structure collision, play significant roles to sort particles (cells) of different sizes with tilted pillar arrays.

AG-2024.02-2317

math.NA

A high-order, fully well-balanced, unconditionally positivity-preserving finite volume framework for flood simulations

Mirco Ciallella, Lorenzo Micalizzi, Victor Michel-Dansac, Philipp Öffner, Davide Torlo

In this work, we present a high-order finite volume framework for the numerical simulation of shallow water flows. The method is designed to accurately capture complex dynamics inherent in shallow water systems, particularly suited for applications such as tsunami simulations. The arbitrarily high-order framework ensures precise representation of flow behaviors, crucial for simulating phenomena characterized by rapid changes and fine-scale features. Thanks to an {\it ad-hoc} reformulation in terms of production-destruction terms, the time integration ensures positivity preservation without any time-step restrictions, a vital attribute for physical consistency, especially in scenarios where negative water depth reconstructions could lead to unrealistic results. In order to introduce the preservation of general steady equilibria dictated by the underlying balance law, the high-order reconstruction and numerical flux are blended in a convex fashion with a well-balanced approximation, which is able to provide exact preservation of both static and moving equilibria. Through numerical experiments, we demonstrate the effectiveness and robustness of the proposed approach in capturing the intricate dynamics of shallow water flows, while preserving key physical properties essential for flood simulations.

AG-2024.02-2321

math.NA

Mixed material point method formulation, stabilization, and validation for a unified analysis of free-surface and seepage flow

Bodhinanda Chandra, Ryota Hashimoto, Ken Kamrin, Kenichi Soga

This paper presents a novel stabilized mixed material point method (MPM) designed for the unified modeling of free-surface and seepage flow. The unified formulation integrates the Navier-Stokes equation with the Darcy-Brinkman-Forchheimer equation, effectively capturing flows in both non-porous and porous domains. In contrast to the conventional Eulerian computational fluid dynamics (CFD) solver, which solves the velocity and pressure fields as unknown variables, the proposed method employs a monolithic displacement-pressure formulation adopted from the mixed-form updated-Lagrangian finite element method (FEM). To satisfy the discrete inf-sup stability condition, a stabilization strategy based on the variational multiscale method (VMS) is derived and integrated into the proposed formulation. Another distinctive feature is the implementation of blurred interfaces, which facilitate a seamless and stable transition of flows between free and porous domains, as well as across two distinct porous media. The efficacy of the proposed formulation is verified and validated through several benchmark cases in 1D, 2D, and 3D scenarios. Conducted numerical examples demonstrate enhanced accuracy and stability compared to analytical, experimental, and other numerical solutions.

AG-2024.02-2331

math.NA

A Lattice Boltzmann Method for Non-Newtonian Blood Flow in Coiled Intracranial Aneurysms

Medeea Horvat, Stephan B. Lunowa, Dmytro Sytnyk, Barbara Wohlmuth

Intracranial aneurysms are the leading cause of hemorrhagic stroke. One of the established treatment approaches is the embolization induced by coil insertion. However, the prediction of treatment and subsequent changed flow characteristics in the aneurysm is still an open problem. In this work, we present an approach based on a patient-specific geometry and parameters including a coil representation as inhomogeneous porous medium. The model consists of the volume-averaged Navier-Stokes equations for a non-Newtonian blood rheology. We solve these equations using a problem-adapted lattice Boltzmann method and present a comparison between fully-resolved and volume-averaged simulations. The results indicate the validity of the model. Overall, this workflow allows for patient specific assessment of the flow due to potential treatment.

AG-2024.02-2357

math.NA

New limiter regions for multidimensional flows

James Woodfield, Hilary Weller, Colin J Cotter

Accurate transport algorithms are crucial for computational fluid dynamics and more accurate and efficient schemes are always in development. One dimensional limiting is commonly employed to suppress nonphysical oscillations. However, the application of such limiters can reduce accuracy. It is important to identify the weakest set of sufficient conditions required on the limiter as to allow the development of successful numerical algorithms. The main goal of this paper is to identify new less restrictive sufficient conditions for flux form in-compressible advection to remain monotonic. We identify additional necessary conditions for incompressible flux form advection to be monotonic, demonstrating that the Spekreijse limiter region is not sufficient for incompressible flux form advection to remain monotonic. Then a convex combination argument is used to derive new sufficient conditions that are less restrictive than the Sweby region for a discrete maximum principle. This allows the introduction of two new more general limiter regions suitable for flux form incompressible advection.

AG-2024.02-2381

math.NA

A generalized formulation for gradient schemes in unstructured finite volume method

Mandeep Deka, Ashwani Assam, Ganesh Natarajan

We present a generic framework for gradient reconstruction schemes on unstructured meshes using the notion of a dyadic sum-vector product. The proposed formulation reconstructs centroidal gradients of a scalar from its directional derivatives along specific directions in a suitably defined neighbourhood. We show that existing gradient reconstruction schemes can be encompassed within this framework by a suitable choice of the geometric vectors that define the dyadic sum tensor. The proposed framework also allows us to re-interpret certain hybrid schemes, which might not be derivable through traditional routes. Additionally, a generalization of flexible gradient schemes is proposed that can be employed to enhance the robustness of consistent gradient schemes without compromising on the accuracy of the computed gradients.

AG-2024.02-2405

math.NA

An efficient unconditional energy stable scheme for the simulation of droplet formation

Jinpeng Zhang, Changjuan Zhang, Xiaoping Wang

We have developed an efficient and unconditionally energy-stable method for simulating droplet formation dynamics. Our approach involves a novel time-marching scheme based on the scalar auxiliary variable technique, specifically designed for solving the Cahn-Hilliard-Navier-Stokes phase field model with variable density and viscosity. We have successfully applied this method to simulate droplet formation in scenarios where a Newtonian fluid is injected through a vertical tube into another immiscible Newtonian fluid. To tackle the challenges posed by nonhomogeneous Dirichlet boundary conditions at the tube entrance, we have introduced additional nonlocal auxiliary variables and associated ordinary differential equations. These additions effectively eliminate the influence of boundary terms. Moreover, we have incorporated stabilization terms into the scheme to enhance its numerical effectiveness. Notably, our resulting scheme is fully decoupled, requiring the solution of only linear systems at each time step. We have also demonstrated the energy decaying property of the scheme, with suitable modifications. To assess the accuracy and stability of our algorithm, we have conducted extensive numerical simulations. Additionally, we have examined the dynamics of droplet formation and explored the impact of dimensionless parameters on the process. Overall, our work presents a refined method for simulating droplet formation dynamics, offering improved efficiency, energy stability, and accuracy.

AG-2024.01-2331

math.NA

A coupling concept for Stokes-Darcy systems: the ICDD method

Marco Discacciati, Paola Gervasio

We present a coupling framework for Stokes-Darcy systems valid for arbitrary flow direction at low Reynolds numbers and for isotropic porous media. The proposed method is based on an overlapping domain decomposition concept to represent the transition region between the free-fluid and the porous-medium regimes. Matching conditions at the interfaces of the decomposition impose the continuity of velocity (on one interface) and pressure (on the other one) and the resulting algorithm can be easily implemented in a non-intrusive way. The numerical approximations of the fluid velocity and pressure obtained by the studied method converge to the corresponding counterparts computed by direct numerical simulation at the microscale, with convergence rates equal to suitable powers of the scale separation parameter $\varepsilon$ in agreement with classical results in homogenization.

AG-2024.01-2395

math.NA

Fast Summation on the Sphere with Applications to the Barotropic Vorticity Equation

Anthony Chen, Christiane Jablonowski

Fast summation refers to a family of techniques for approximating $O(N^2)$ sums in $O(N\log{N})$ or $O(N)$ time. These techniques have traditionally found wide use in astrophysics and electrostatics in calculating the forces in a $N$-body problem. In this work, we present a spherical tree code, and apply it to the problem of efficiently solving the barotropic vorticity equation.

AG-2024.01-2140

math.NA

Adaptive Immersed Mesh Method (AIMM) for Fluid Structure Interaction

R. Nemer, A. Larcher, E. Hachem

Our paper proposes an innovative approach for modeling Fluid-Structure Interaction (FSI). Our method combines both traditional monolithic and partitioned approaches, creating a hybrid solution that facilitates FSI. At each time iteration, the solid mesh is immersed within a fluid-solid mesh, all while maintaining its independent Lagrangian hyperelastic solver. The Eulerian mesh encompasses both the fluid and solid components and accommodates various physical phenomena. We enhance the interaction between solid and fluid through anisotropic mesh adaptation and the Level-Set methods. This enables a more accurate representation of their interaction. Together, these components constitute the Adaptive Immersed Mesh Method (AIMM). For both solvers, we utilize the Variational Multi-Scale (VMS) method, mitigating potential spurious oscillations common with piecewise linear tetrahedral elements. The framework operates in 3D with parallel computing capabilities. Our methods accuracy, robustness, and capabilities are assessed through a series of 2D numerical problems. Furthermore, we present various three-dimensional test cases and compare their results to experimental data.

AG-2024.01-2469

math.NA

Deep FBSDE Neural Networks for Solving Incompressible Navier-Stokes Equation and Cahn-Hilliard Equation

Yangtao Deng, Qiaolin He

Efficient algorithms for solving high-dimensional partial differential equations (PDEs) has been an exceedingly difficult task for a long time, due to the curse of dimensionality. We extend the forward-backward stochastic neural networks (FBSNNs) which depends on forward-backward stochastic differential equation (FBSDE) to solve incompressible Navier-Stokes equation. For Cahn-Hilliard equation, we derive a modified Cahn-Hilliard equation from a widely used stabilized scheme for original Cahn-Hilliard equation. This equation can be written as a continuous parabolic system, where FBSDE can be applied and the unknown solution is approximated by neural network. Also our method is successfully developed to Cahn-Hilliard-Navier-Stokes (CHNS) equation. The accuracy and stability of our methods are shown in many numerical experiments, specially in high dimension.

AG-2024.01-1382

math.NA

EWS time delay in low energy e C60 elastic scattering

Aiswarya R., Rasheed Shaik, Jobin Jose, Hari R. Varma, Himadri S. Chakraborty

Time delay in a projectile-target scattering is a fundamental tool in understanding their interactions by probing the temporal domain. The present study focuses on computing and analyzing the Eisenbud-Wigner-Smith (EWS) time delay in low energy elastic e C60 scattering. The investigation is carried out in the framework of a non-relativistic partial wave analysis (PWA) technique. The projectile-target interaction is described in (1) Density Functional Theory (DFT) and (2) Annular Square Well (ASW) static model, and their final results are compared in details. The impact of polarization on resonant and non-resonant time delay is also investigated.

AG-2015.06-1231

math.NA

Compression of the electron repulsion integral tensor in tensor hypercontraction format with cubic scaling cost

Jianfeng Lu, Lexing Ying

Electron repulsion integral tensor has ubiquitous applications in quantum chemistry calculations. In this work, we propose an algorithm which compresses the electron repulsion tensor into the tensor hypercontraction format with $\mathcal{O}(n N^2 \log N)$ computational cost, where $N$ is the number of orbital functions and $n$ is the number of spatial grid points that the discretization of each orbital function has. The algorithm is based on a novel strategy of density fitting using a selection of a subset of spatial grid points to approximate the pair products of orbital functions on the whole domain.

AG-2015.06-1066

math.NA

FEAST Eigensolver for non-Hermitian Problems

James Kestyn, Eric Polizzi, Ping Tak Peter Tang

A detailed new upgrade of the FEAST eigensolver targeting non-Hermitian eigenvalue problems is presented and thoroughly discussed. It aims at broadening the class of eigenproblems that can be addressed within the framework of the FEAST algorithm. The algorithm is ideally suited for computing selected interior eigenvalues and their associated right/left bi-orthogonal eigenvectors,located within a subset of the complex plane. It combines subspace iteration with efficient contour integration techniques that approximate the left and right spectral projectors. We discuss the various algorithmic choices that have been made to improve the stability and usability of the new non-Hermitian eigensolver. The latter retains the convergence property and multi-level parallelism of Hermitian FEAST, making it a valuable new software tool for the scientific community.

AG-2015.06-580

math.NA

A Theoretical Examination of Diffusive Molecular Dynamics

Gideon Simpson, Mitchell Luskin, David J. Srolovitz

Diffusive molecular dynamics is a novel model for materials with atomistic resolution that can reach diffusive time scales. The main ideas of diffusive molecular dynamics are to first minimize an approximate variational Gaussian free energy of the system with respect to the mean atomic coordinates (averaging over many vibrational periods), and to then to perform a diffusive step where atoms and vacancies (or two species in a binary alloy) flow on a diffusive time scale via a master equation. We present a mathematical framework for studying this algorithm based upon relative entropy, or Kullback-Leibler divergence. This adds flexibility in how the algorithm is implemented and interpreted. We then compare our formulation, relying on relative entropy and absolute continuity of measures, to existing formulations. The main difference amongst the equations appears in a model for vacancy diffusion, where additional entropic terms appear in our development.

AG-2015.06-363

math.NA

Exact formulas for the approximation of connections and curvature

Snorre Harald Christiansen

First we express the holonomy along a boundary curve as the integral on the domain, of an expression which is linear in the curvature. Then we provide a rigorous justification of the definition of curvature in Regge calculus.

AG-2015.06-332

math.NA

A hybrid Eulerian-Lagrangian flow solver

Artur Palha, Lento Manickathan, Carlos Simao Ferreira, Gerard van Bussel

Currently, Eulerian flow solvers are very efficient in accurately resolving flow structures near solid boundaries. On the other hand, they tend to be diffusive and to dampen high-intensity vortical structures after a short distance away from solid boundaries. The use of high order methods and fine grids, although alleviating this problem, gives rise to large systems of equations that are expensive to solve. Lagrangian solvers, as the regularized vortex particle method, have shown to eliminate (in practice) the diffusion in the wake. As a drawback, the modelling of solid boundaries is less accurate, more complex and costly than with Eulerian solvers (due to the isotropy of its computational elements). Given the drawbacks and advantages of both Eulerian and Lagrangian solvers the combination of both methods, giving rise to a hybrid solver, is advantageous. The main idea behind the hybrid solver presented is the following. In a region close to solid boundaries the flow is solved with an Eulerian solver, where the full Navier-Stokes equations are solved (possibly with an arbitrary turbulence model or DNS, the limitations being the computational power and the physical properties of the flow), outside of that region the flow is solved with a vortex particle method. In this work we present this hybrid scheme and verify it numerically on known 2D benchmark cases: dipole flow, flow around a cylinder and flow around a stalled airfoil. The success in modelling these flow conditions presents this hybrid approach as a promising alternative, bridging the gap between highly resolved and computationally intensive Eulerian CFD simulations and fast but less resolved Lagrangian simulations.

AG-2015.06-288

math.NA

A finite element implementation of surface elasticity at finite strains using the deal.II library

Andrew McBride, Ali Javili, Paul Steinmann, B Daya Reddy

The potentially significant role of the surface of an elastic body in the overall response of the continuum can be described using the mature theory of surface elasticity. The objective of this contribution is to detail the finite element approximation of the underlying governing equations (both in the volume and on its surface) and their solution using the open-source finite element library deal.II. The fully-nonlinear (geometric and material) setting is considered. The nonlinear problem is solved using a Newton--Raphson procedure wherein the tangent contributions from the volume and surface are computed exactly. The finite element formulation is implemented within the total Lagrangian framework and a Bubnov-Galerkin spatial discretization of the volume and the surface employed. The surface is assumed material. A map between the degrees of freedom on the surface and on the boundary of the volume is used to allocate the contribution from the surface to the global system matrix and residual vector. The deal.II library greatly facilitates the computation of the various surface operators, allowing the numerical implementation to closely match the theory developed in a companion paper. Key features of the theory and the numerical implementation are elucidated using a series of benchmark example problems. The full, documented source code is provided.

AG-2015.05-976

math.NA

Analysis of the diffuse-domain method for solving PDEs in complex geometries

Karl Yngve Lervåg, John Lowengrub

In recent work, Li et al.\ (Comm.\ Math.\ Sci., 7:81-107, 2009) developed a diffuse-domain method (DDM) for solving partial differential equations in complex, dynamic geometries with Dirichlet, Neumann, and Robin boundary conditions. The diffuse-domain method uses an implicit representation of the geometry where the sharp boundary is replaced by a diffuse layer with thickness $ε$ that is typically proportional to the minimum grid size. The original equations are reformulated on a larger regular domain and the boundary conditions are incorporated via singular source terms. The resulting equations can be solved with standard finite difference and finite element software packages. Here, we present a matched asymptotic analysis of general diffuse-domain methods for Neumann and Robin boundary conditions. Our analysis shows that for certain choices of the boundary condition approximations, the DDM is second-order accurate in $ε$. However, for other choices the DDM is only first-order accurate. This helps to explain why the choice of boundary-condition approximation is important for rapid global convergence and high accuracy. Our analysis also suggests correction terms that may be added to yield more accurate diffuse-domain methods. Simple modifications of first-order boundary condition approximations are proposed to achieve asymptotically second-order accurate schemes. Our analytic results are confirmed numerically in the $L^2$ and $L^\infty$ norms for selected test problems.

AG-2015.05-784

math.NA

A fast matrix-free algorithm for spectral approximations to the Schrödinger equation

Bernd Brumm

We consider the linear time-dependent Schrödinger equation with a time-dependent smooth potential on an unbounded domain. A Galerkin spectral method with a tensor-product Hermite basis is used as a discretization in space. Discretizing the resulting ODE for the Hermite expansion coefficients involves the computation of the action of the Galerkin matrix on a vector in each time step. We propose a fast algorithm for the direct computation of this matrix-vector product without actually assembling the matrix itself. The costs scale linearly in the size of the basis. Together with the application of a hyperbolically reduced basis, this reduces the computational effort considerably and helps cope with the infamous curse of dimensionality. The application of the fast algorithm is limited to the case of the potential being significantly smoother than the solution. The error analysis is based on a binary tree representation of the three-term recurrence relation for the one-dimensional Hermite functions. The fast algorithm constitutes an efficient tool for schemes involving the action of a matrix due to spectral discretization on a vector, and it is also applicable in the context of spectral approximations for linear problems other than the Schrödinger equation.

AG-2015.05-676

math.NA

Computational error estimates for Born-Oppenheimer molecular dynamics with nearly crossing potential surfaces

Christian Bayer, Hakon Hoel, Ashraful Kadir, Petr Plechac, Mattias Sandberg, Anders Szepessy

The difference of the values of observables for the time-independent Schroedinger equation, with matrix valued potentials, and the values of observables for ab initio Born-Oppenheimer molecular dynamics, of the ground state, depends on the probability to be in excited states and the electron/nuclei mass ratio. The paper first proves an error estimate (depending on the electron/nuclei mass ratio and the probability to be in excited states) for this difference of microcanonical observables, assuming that molecular dynamics space-time averages converge, with a rate related to the maximal Lyapunov exponent. The error estimate is uniform in the number of particles and the analysis does not assume a uniform lower bound on the spectral gap of the electron operator and consequently the probability to be in excited states can be large. A numerical method to determine the probability to be in excited states is then presented, based on Ehrenfest molecular dynamics and stability analysis of a perturbed eigenvalue problem.

AG-2015.05-524

math.NA

An inverse problem formulation for parameter estimation of a reaction diffusion model of low grade gliomas

Amir Gholami, Andreas Mang, George Biros

We present a numerical scheme for solving a parameter estimation problem for a model of low-grade glioma growth. Our goal is to estimate the spatial distribution of tumor concentration, as well as the magnitude of anisotropic tumor diffusion. We use a constrained optimization formulation with a reaction-diffusion model that results in a system of nonlinear partial differential equations (PDEs). In our formulation, we estimate the parameters using partially observed, noisy tumor concentration data at two different time instances, along with white matter fiber directions derived from diffusion tensor imaging (DTI). The optimization problem is solved with a Gauss-Newton reduced space algorithm. We present the formulation and outline the numerical algorithms for solving the resulting equations. We test the method using a synthetic dataset and compute the reconstruction error for different noise levels and detection thresholds for monofocal and multifocal test cases.

AG-2015.05-590

math.NA

Local Exponential Methods: a domain decomposition approach to exponential time integration of PDEs

Luca Bonaventura

A local approach to the time integration of PDEs by exponential methods is proposed, motivated by theoretical estimates by A.Iserles on the decay of off-diagonal terms in the exponentials of sparse matrices. An overlapping domain decomposition technique is outlined, that allows to replace the computation of a global exponential matrix by a number of independent and easily parallelizable local problems. Advantages and potential problems of the proposed technique are discussed. Numerical experiments on simple, yet relevant model problems show that the resulting method allows to increase computational efficiency with respect to standard implementations of exponential methods.

AG-2015.05-465

math.NA

A Numerical Method to solve Optimal Transport Problems with Coulomb Cost

Jean-David Benamou, Guillaume Carlier, Luca Nenna

In this paper, we present a numerical method, based on iterative Bregman projections, to solve the optimal transport problem with Coulomb cost. This is related to the strong interaction limit of Density Functional Theory. The first idea is to introduce an entropic regularization of the Kantorovich formulation of the Optimal Transport problem. The regularized problem then corresponds to the projection of a vector on the intersection of the constraints with respect to the Kullback-Leibler distance. Iterative Bregman projections on each marginal constraint are explicit which enables us to approximate the optimal transport plan. We validate the numerical method against analytical test cases.

AG-2015.05-1029

math.NA

Explicit and Implicit Kinetic Streamlined-Upwind Petrov Galerkin Method for Hyperbolic Partial Differential Equations

Ameya Dilip Jagtap, S. V. Raghurama Rao

A novel explicit and implicit Kinetic Streamlined-Upwind Petrov Galerkin (KSUPG) scheme is presented for hyperbolic equations such as Burgers equation and compressible Euler equations. The proposed scheme performs better than the original SUPG stabilized method in multi-dimensions. To demonstrate the numerical accuracy of the scheme, various numerical experiments have been carried out for 1D and 2D Burgers equation as well as for 1D and 2D Euler equations using Q4 and T3 elements. Furthermore, spectral stability analysis is done for the explicit 2D formulation. Finally, a comparison is made between explicit and implicit versions of the KSUPG scheme.

AG-2015.05-250

math.NA

An Introduction to Multilevel Monte Carlo for Option Valuation

Desmond J. Higham

Monte Carlo is a simple and flexible tool that is widely used in computational finance. In this context, it is common for the quantity of interest to be the expected value of a random variable defined via a stochastic differential equation. In 2008, Giles proposed a remarkable improvement to the approach of discretizing with a numerical method and applying standard Monte Carlo. His multilevel Monte Carlo method offers an order of speed up given by the inverse of epsilon, where epsilon is the required accuracy. So computations can run 100 times more quickly when two digits of accuracy are required. The multilevel philosophy has since been adopted by a range of researchers and a wealth of practically significant results has arisen, most of which have yet to make their way into the expository literature. In this work, we give a brief, accessible, introduction to multilevel Monte Carlo and summarize recent results applicable to the task of option evaluation.

AG-2015.05-247

math.NA

Flux form Semi-Lagrangian methods for parabolic problems

Luca Bonaventura, Roberto Ferretti

A semi-Lagrangian method for parabolic problems is proposed, that extends previous work by the authors to achieve a fully conservative, flux-form discretization of linear and nonlinear diffusion equations. A basic consistency and convergence analysis are proposed. Numerical examples validate the proposed method and display its potential for consistent semi-Lagrangian discretization of advection--diffusion and nonlinear parabolic problems.

AG-2015.04-1826

math.NA

Fractional relaxation and fractional oscillation models involving Erdelyi-Kober integrals

M. Concezzi, R. Garra, R. Spigler

We consider fractional relaxation and fractional oscillation equations involving Erdelyi-Kober integrals. In terms of Riemann-Liouville integrals, the equations we analyze can be understood as equations with time-varying coefficients. Replacing Riemann-Liouville integrals with Erdelyi-Kober-type integrals in certain fractional oscillation models, we obtain some more general integro-differential equations. The corresponding Cauchy-type problems can be solved numerically, and, in some cases analytically, in terms of Saigo-Kilbas Mittag-Leffler functions. The numerical results are obtained by a treatment similar to that developed by K. Diethelm and N.J. Ford to solve the Bagley-Torvik equation. Novel results about the numerical approach to the fractional damped oscillator equation with time-varying coefficients are also presented.

AG-2015.04-1570

math.NA

Convergence of penalty Robin-Robin domain decomposition methods for unilateral multibody contact problems of elasticity

Ivan I. Dyyak, Ihor I. Prokopyshyn, Ivan A. Prokopyshyn

The paper is devoted to the penalty Robin-Robin domain decomposition methods (DDMs), proposed by us for the solution of unilateral multibody contact problems of elasticity. These DDMs are based on the penalty method for variational inequalities and some stationary and nonstationary iterative methods for nonlinear variational equations. The main result of the paper is that we give the mathematical justification of proposed DDMs and prove theorems on their convergence. We also investigate the numerical efficiency of these methods using the finite element approximations.

AG-2015.04-968

math.NA

On the stability of time-domain integral equations for acoustic wave propagation

Charles L. Epstein, Leslie Greengard, Thomas Hagstrom

We give a principled approach for the selection of a boundary integral, retarded potential representation for the solution of scattering problems for the wave equation in an exterior domain.

AG-2015.04-493

math.NA

The geometry of generalized force matching in coarse-graining and related information metrics

Evangelia Kalligiannaki, Vagelis Harmandaris, Markos A. Katsoulakis, Petr Plechac

Using the probabilistic language of conditional expectations we reformulate the force matching method for coarse-graining of molecular systems as a projection on spaces of coarse observables. A practical outcome of this probabilistic description is the link of the force matching method with thermodynamic integration. This connection provides a way to systematically construct a local mean force in order to optimally approximate the potential of mean force through force matching. We introduce a generalized force matching condition for the local mean force in the sense that allows the approximation of the potential of mean force under both linear and non-linear coarse graining mappings (e.g., reaction coordinates, end-to-end length of chains). Furthermore, we study the equivalence of force matching with relative entropy minimization which we derive for general non-linear coarse graining maps. We present in detail the generalized force matching condition through applications to specific examples in molecular systems.

AG-2015.04-176

math.NA

Fast Direct Methods for Gaussian Processes

Sivaram Ambikasaran, Daniel Foreman-Mackey, Leslie Greengard, David W. Hogg, Michael O'Neil

A number of problems in probability and statistics can be addressed using the multivariate normal (Gaussian) distribution. In the one-dimensional case, computing the probability for a given mean and variance simply requires the evaluation of the corresponding Gaussian density. In the $n$-dimensional setting, however, it requires the inversion of an $n \times n$ covariance matrix, $C$, as well as the evaluation of its determinant, $\det(C)$. In many cases, such as regression using Gaussian processes, the covariance matrix is of the form $C = σ^2 I + K$, where $K$ is computed using a specified covariance kernel which depends on the data and additional parameters (hyperparameters). The matrix $C$ is typically dense, causing standard direct methods for inversion and determinant evaluation to require $\mathcal O(n^3)$ work. This cost is prohibitive for large-scale modeling. Here, we show that for the most commonly used covariance functions, the matrix $C$ can be hierarchically factored into a product of block low-rank updates of the identity matrix, yielding an $\mathcal O (n\log^2 n) $ algorithm for inversion. More importantly, we show that this factorization enables the evaluation of the determinant $\det(C)$, permitting the direct calculation of probabilities in high dimensions under fairly broad assumptions on the kernel defining $K$. Our fast algorithm brings many problems in marginalization and the adaptation of hyperparameters within practical reach using a single CPU core. The combination of nearly optimal scaling in terms of problem size with high-performance computing resources will permit the modeling of previously intractable problems. We illustrate the performance of the scheme on standard covariance kernels.

AG-2015.04-018

math.NA

Stochastic domain decomposition for time dependent adaptive mesh generation

Alexander Bihlo, Ronald D. Haynes, Emily J. Walsh

The efficient generation of meshes is an important component in the numerical solution of problems in physics and engineering. Of interest are situations where global mesh quality and a tight coupling to the solution of the physical partial differential equation (PDE) is important. We consider parabolic PDE mesh generation and present a method for the construction of adaptive meshes in two spatial dimensions using stochastic domain decomposition that is suitable for an implementation in a multi- or many-core environment. Methods for mesh generation on periodic domains are also provided. The mesh generator is coupled to a time dependent physical PDE and the system is evolved using an alternating solution procedure. The method uses the stochastic representation of the exact solution of a parabolic linear mesh generator to find the location of an adaptive mesh along the (artificial) subdomain interfaces. The deterministic evaluation of the mesh over each subdomain can then be obtained completely independently using the probabilistically computed solutions as boundary conditions. The parallel performance of this general stochastic domain decomposition approach has previously been shown. We demonstrate the approach numerically for the mesh generation context and compare the mesh obtained with the corresponding single domain mesh using a representative mesh quality measure.

AG-2015.03-2219

math.NA

New families of symplectic splitting methods for numerical integration in dynamical astronomy

Sergio Blanes, Fernando Casas, Ariadna Farres, Jacques Laskar, Joseba Makazaga, Ander Murua

We present new splitting methods designed for the numerical integration of near-integrable Hamiltonian systems, and in particular for planetary N-body problems, when one is interested in very accurate results over a large time span. We derive in a systematic way an independent set of necessary and sufficient conditions to be satisfied by the coefficients of splitting methods to achieve a prescribed order of accuracy. Splitting methods satisfying such (generalized) order conditions are appropriate in particular for the numerical simulation of the Solar System described in Jacobi coordinates. We show that, when using Poincaré Heliocentric coordinates, the same order of accuracy may be obtained by imposing an additional polynomial equation on the coefficients of the splitting method. We construct several splitting methods appropriate for each of the two sets of coordinates by solving the corresponding systems of polynomial equations and finding the optimal solutions. The experiments reported here indicate that the efficiency of our new schemes is clearly superior to previous integrators when high accuracy is required.

AG-2015.03-2803

math.NA

A blind deconvolution method for ground based telescopes and Fizeau interferometers

M. Prato, A. La Camera, S. Bonettini, S. Rebegoldi, M. Bertero, P. Boccacci

In the case of ground-based telescopes equipped with adaptive optics systems, the point spread function (PSF) is only poorly known or completely unknown. Moreover, an accurate modeling of the PSF is in general not available. Therefore in several imaging situations the so-called blind deconvolution methods, aiming at estimating both the scientific target and the PSF from the detected image, can be useful. A blind deconvolution problem is severely ill-posed and, in order to reduce the extremely large number of possible solutions, it is necessary to introduce sensible constraints on both the scientific target and the PSF. In a previous paper we proposed a sound mathematical approach based on a suitable inexact alternating minimization strategy for minimizing the generalized Kullback-Leibler divergence, assuring global convergence. In the framework of this method we showed that an important constraint on the PSF is the upper bound which can be derived from the knowledge of its Strehl ratio. The efficacy of the approach was demonstrated by means of numerical simulations. In this paper, besides improving the previous approach by the use of a further constraint on the unknown scientific target, we extend it to the case of multiple images of the same target obtained with different PSFs. The main application we have in mind is to Fizeau interferometry. As it is known this is a special feature of the Large Binocular Telescope (LBT). The method is applied to realistic simulations of imaging both by single mirrors and Fizeau interferometers. Successes and failures of the method in the imaging of stellar fields are demonstrated in simple cases. These preliminary results look promising at least in specific situations. The IDL code of the proposed method is available on request and will be included in the forthcoming version of the Software Package AIRY (v.6.1).

AG-2015.03-549

math.NA

ADER-WENO Finite Volume Schemes with Space-Time Adaptive Mesh Refinement

Michael Dumbser, Olindo Zanotti, Arturo Hidalgo, Dinshaw S. Balsara

We present the first high order one-step ADER-WENO finite volume scheme with Adaptive Mesh Refinement (AMR) in multiple space dimensions. High order spatial accuracy is obtained through a WENO reconstruction, while a high order one-step time discretization is achieved using a local space-time discontinuous Galerkin predictor method. Due to the one-step nature of the underlying scheme, the resulting algorithm is particularly well suited for an AMR strategy on space-time adaptive meshes, i.e.with time-accurate local time stepping. The AMR property has been implemented 'cell-by-cell', with a standard tree-type algorithm, while the scheme has been parallelized via the Message Passing Interface (MPI) paradigm. The new scheme has been tested over a wide range of examples for nonlinear systems of hyperbolic conservation laws, including the classical Euler equations of compressible gas dynamics and the equations of magnetohydrodynamics (MHD). High order in space and time have been confirmed via a numerical convergence study and a detailed analysis of the computational speed-up with respect to highly refined uniform meshes is also presented. We also show test problems where the presented high order AMR scheme behaves clearly better than traditional second order AMR methods. The proposed scheme that combines for the first time high order ADER methods with space--time adaptive grids in two and three space dimensions is likely to become a useful tool in several fields of computational physics, applied mathematics and mechanics.

AG-2015.03-452

math.NA

Numerical Methods for the Bogoliubov-Tolmachev-Shirkov model in superconductivity theory

Zhihao Ge, Ruihua Li

In the work, the numerical methods are designed for the Bogoliubov-Tolmachev-Shirkov model in superconductivity theory. The numerical methods are novel and effective to determine the critical transition temperature and approximate to the energy gap function of the above model. Finally, a numerical example confirming the theoretical results is presented.

AG-2015.03-095

math.NA

Uncertainty Quantification in Control Problems for Flocking Models

Giacomo Albi, Lorenzo Pareschi, Mattia Zanella

In this paper the optimal control of flocking models with random inputs is investigated from a numerical point of view. The effect of uncertainty in the interaction parameters is studied for a Cucker-Smale type model using a generalized polynomial chaos (gPC) approach. Numerical evidence of threshold effects in the alignment dynamic due to the random parameters is given. The use of a selective model predictive control permits to steer the system towards the desired state even in unstable regimes.

AG-2015.02-2760

math.NA

A Projected Preconditioned Conjugate Gradient Algorithm for Computing Many Extreme Eigenpairs of a Hermitian Matrix

Eugene Vecharynski, Chao Yang, John E. Pask

We present an iterative algorithm for computing an invariant subspace associated with the algebraically smallest eigenvalues of a large sparse or structured Hermitian matrix A. We are interested in the case in which the dimension of the invariant subspace is large (e.g., over several hundreds or thousands) even though it may still be small relative to the dimension of A. These problems arise from, for example, density functional theory based electronic structure calculations for complex materials. The key feature of our algorithm is that it performs fewer Rayleigh--Ritz calculations compared to existing algorithms such as the locally optimal precondition conjugate gradient or the Davidson algorithm. It is a block algorithm, hence can take advantage of efficient BLAS3 operations and be implemented with multiple levels of concurrency. We discuss a number of practical issues that must be addressed in order to implement the algorithm efficiently on a high performance computer.

AG-2015.02-1165

math.NA

Invariant Discretization of Partial Differential Equations Admitting Infinite-Dimensional Symmetry Groups

Raphael Rebelo, Francis Valiquette

Given a differential equation with infinite-dimensional symmetry pseudo-group it is shown, using an example, that it is generally not possible to construct enough joint invariants to form an invariant numerical scheme of the equation. To circumvent this problem, we propose to discretize the symmetry pseudo-group action. Using the theory of moving frames, joint invariants of the discretized action are algorithmically constructed. Computer simulations indicate that numerical schemes constructed from these joint invariants can produce better numerical results than standard schemes.

AG-2015.02-555

math.NA

Efficient Multigrid Preconditioners for Atmospheric Flow Simulations at High Aspect Ratio

Andreas Dedner, Eike Hermann Müller, Robert Scheichl

Many problems in fluid modelling require the efficient solution of highly anisotropic elliptic partial differential equations (PDEs) in "flat" domains. For example, in numerical weather- and climate-prediction an elliptic PDE for the pressure correction has to be solved at every time step in a thin spherical shell representing the global atmosphere. This elliptic solve can be one of the computationally most demanding components in semi-implicit semi-Lagrangian time stepping methods which are very popular as they allow for larger model time steps and better overall performance. With increasing model resolution, algorithmically efficient and scalable algorithms are essential to run the code under tight operational time constraints. We discuss the theory and practical application of bespoke geometric multigrid preconditioners for equations of this type. The algorithms deal with the strong anisotropy in the vertical direction by using the tensor-product approach originally analysed by Börm and Hiptmair [Numer. Algorithms, 26/3 (2001), pp. 219-234]. We extend the analysis to three dimensions under slightly weakened assumptions, and numerically demonstrate its efficiency for the solution of the elliptic PDE for the global pressure correction in atmospheric forecast models. For this we compare the performance of different multigrid preconditioners on a tensor-product grid with a semi-structured and quasi-uniform horizontal mesh and a one dimensional vertical grid. The code is implemented in the Distributed and Unified Numerics Environment (DUNE), which provides an easy-to-use and scalable environment for algorithms operating on tensor-product grids. Parallel scalability of our solvers on up to 20,480 cores is demonstrated on the HECToR supercomputer.

AG-2015.02-397

math.NA

Modelling and simulation of acrylic bone cement injection and curing within the framework of vertebroplasty

Ralf Landgraf, Jörn Ihlemann, Sebastian Kolmeder, Alexander Lion, Helena Lebsack, Cornelia Kober

The minimal invasive procedure of vertebroplasty is a surgical technique to treat compression fractures of vertebral bodies. During the treatment, liquid bone cement gets injected into the affected vertebral body and therein cures to a solid. In order to investigate the treatment and the impact of injected bone cement, an integrated modelling and simulation framework has been developed. The framework includes (i) the generation of microstructural computer models based on microCT images of human cancellous bone, (ii) computational fluid dynamics (CFD) simulations of bone cement injection into the trabecular structure and (iii) non-linear finite element (FE) simulations of the subsequent bone cement curing. A detailed description of the material behaviour of acrylic bone cements is provide d for both simulation stages. A non-linear process-depending fluid flow model is chosen to represent the bone cement behaviour during injection. The bone cements phase change from a highly viscous fluid to a solid is described by a non-linear viscoelastic material model with curing dependent properties. To take into account the distinctive temperature dependence of acrylic bone cements, both material models are formulated in a thermo-mechanically coupled manner. Moreover, the corresponding microstructural CFD- and FE-simulations are performed using thermo-mechanically coupled solvers. An application of the presented modelling and simulation framework to a sample of human cancellous bone demonstrates the capabilities of the presented approach.

AG-2015.02-031

math.NA

Boundary integral solution of potential problems arising in the modelling of electrified oil films

David J. Chappell

We consider a class of potential problems on a periodic half-space for the modelling of electrified oil films, which are used in the development of novel switchable liquid optical devices (diffraction gratings). A boundary integral formulation which reduces the problem to the study of the oil-air interface alone is derived and solved in a highly efficient manner using the Nyström method. The oil films encountered experimentally are typically very thin and thus an interface-only integral representation is important for avoiding the near-singularity problems associated with boundary integral methods for long slender domains. The super-algebraic convergence of the proposed methods is discussed and demonstrated via appropriate numerical experiments.

AG-2015.01-1373

math.NA

Deforming fluid domains within the finite element method: Five mesh-based tracking methods in comparison

Stefanie Elgeti, Henning Sauerland

Fluid flow applications can involve a number of coupled problems. One is the simulation of free-surface flows, which require the solution of a free-boundary problem. Within this problem, the governing equations of fluid flow are coupled with a domain deformation approach. This work reviews five of those approaches: interface tracking using a boundary-conforming mesh and, in the interface capturing context, the level-set method, the volume-of-fluid method, particle methods, as well as the phase-field method. The history of each method is presented in combination with the most recent developments in the field. Particularly, the topics of extended finite elements (XFEM) and NURBS-based methods, such as Isogeometric Analysis (IGA), are addressed. For illustration purposes, two applications have been chosen: two-phase flow involving drops or bubbles and sloshing tanks. The challenges of these applications, such as the geometrically correct representation of the free surface or the incorporation of surface tension forces, are discussed.

AG-2015.01-1065

math.NA

Error analysis of the transport properties of Metropolized schemes

Max Fathi, A. -A. Homman, G. Stoltz

We consider in this work the numerical computation of transport coefficients for Brownian dynamics. We investigate the discretization error arising when simulating the dynamics with the Smart MC algorithm (also known as Metropolis-adjusted Langevin algorithm). We prove that the error is of order one in the time step, when using either the Green-Kubo or the Einstein formula to estimate the transport coefficients. We illustrate our results with numerical simulations.

AG-2015.01-325

math.NA

Energy conserving schemes for the simulation of musical instrument contact dynamics

Vasileios Chatziioannou, Maarten van Walstijn

Collisions are an innate part of the function of many musical instruments. Due to the nonlinear nature of contact forces, special care has to be taken in the construction of numerical schemes for simulation and sound synthesis. Finite difference schemes and other time-stepping algorithms used for musical instrument modelling purposes are normally arrived at by discretising a Newtonian description of the system. However because impact forces are non-analytic functions of the phase space variables, algorithm stability can rarely be established this way. This paper presents a systematic approach to deriving energy conserving schemes for frictionless impact modelling. The proposed numerical formulations follow from discretising Hamilton's equations of motion, generally leading to an implicit system of nonlinear equations that can be solved with Newton's method. The approach is first outlined for point mass collisions and then extended to distributed settings, such as vibrating strings and beams colliding with rigid obstacles. Stability and other relevant properties of the proposed approach are discussed and further demonstrated with simulation examples. The methodology is exemplified through a case study on tanpura string vibration, with the results confirming the main findings of previous studies on the role of the bridge in sound generation with this type of string instrument.

AG-2015.01-2225

math.NA

Preconditioned Recycling Krylov subspace methods for self-adjoint problems

André Gaul, Nico Schlömer

The authors propose a recycling Krylov subspace method for the solution of a sequence of self-adjoint linear systems. Such problems appear, for example, in the Newton process for solving nonlinear equations. Ritz vectors are automatically extracted from one MINRES run and then used for self-adjoint deflation in the next. The method is designed to work with arbitrary inner products and arbitrary self-adjoint positive-definite preconditioners whose inverse can be computed with high accuracy. Numerical experiments with nonlinear Schrödinger equations indicate a substantial decrease in computation time when recycling is used.

AG-2014.12-2470

math.NA

Fourier-based schemes for computing the mechanical response of composites with accurate local fields

François Willot

We modify the Green operator involved in Fourier-based computational schemes in elasticity, in 2D and 3D. The new operator is derived by expressing continuum mechanics in terms of centered differences on a rotated grid. Use of the modified Green operator leads, in all systems investigated, to more accurate strain and stress fields than using the discretizations proposed by Moulinec and Suquet (1994) or Willot and Pellegrini (2008). Moreover, we compared the convergence rates of the "direct" and "accelerated" FFT schemes with the different discretizations. The discretization method proposed in this work allows for much faster FFT schemes with respect to two criteria: stress equilibrium and effective elastic moduli.

AG-2014.12-1359

math.NA

Error Analysis of Diffusion Approximation Methods for Multiscale Systems in Reaction Kinetics

Simon Cotter, Radek Erban

Several different methods exist for efficient approximation of paths in multiscale stochastic chemical systems. Another approach is to use bursts of stochastic simulation to estimate the parameters of a stochastic differential equation approximation of the paths. In this paper, multiscale methods for approximating paths are used to formulate different strategies for estimating the dynamics by diffusion processes. We then analyse how efficient and accurate these methods are in a range of different scenarios, and compare their respective advantages and disadvantages to other methods proposed to analyse multiscale chemical networks.

AG-2014.12-1198

math.NA

Non-dissipative space-time $hp$-discontinuous Galerkin method for the time-dependent Maxwell Equations

Martin Lilienthal, Sascha M. Schnepp, Thomas Weiland

A finite element method for the solution of the time-dependent Maxwell equations in mixed form is presented. The method allows for local $hp$-refinement in space and in time. To this end, a space-time Galerkin approach is employed. In contrast to the space-time DG method introduced in \cite{vegt_space_2002} test and trial space do not coincide. This allows for obtaining a non-dissipative method. In order to obtain an efficient implementation, a hierarchical tensor product basis in space and time is proposed. In particular it allows to evaluate the local residual with a complexity of $\mathcal{O}(p^4)$ and $\mathcal{O}(p^5)$ for affine and non-affine elements, respectively.

AG-2014.12-1802

math.NA

Statistical behavior of adaptive multilevel splitting algorithms in simple models

Joran Rolland, Eric Simonnet

Adaptive multilevel splitting algorithms have been introduced rather recently for estimating tail distributions in a fast and efficient way. In particular, they can be used for computing the so-called reactive trajectories corresponding to direct transitions from one metastable state to another. The algorithm is based on successive selection-mutation steps performed on the system in a controlled way. It has two intrinsic parameters, the number of particles/trajectories and the reaction coordinate used for discriminating good or bad trajectories. We investigate first the convergence in law of the algorithm as a function of the timestep for several simple stochastic models. Second, we consider the average duration of reactive trajectories for which no theoretical predictions exist. The most important aspect of this work concerns some systems with two degrees of freedom. They are studied in details as a function of the reaction coordinate in the asymptotic regime where the number of trajectories goes to infinity. We show that during phase transitions, the statistics of the algorithm deviate significatively from known theoretical results when using non-optimal reaction coordinates. In this case, the variance of the algorithm is peaking at the transition and the convergence of the algorithm can be much slower than the usual expected central limit behavior. The duration of trajectories is affected as well. Moreover, reactive trajectories do not correspond to the most probable ones. Such behavior disappears when using the optimal reaction coordinate called committor as predicted by the theory. We finally investigate a three-state Markov chain which reproduces this phenomenon and show logarithmic convergence of the trajectory durations.

AG-2014.12-759

math.NA

Fully-implicit log-conformation formulation of constitutive laws

Philipp Knechtges, Marek Behr, Stefanie Elgeti

Subject of this paper is the derivation of a new constitutive law in terms of the logarithm of the conformation tensor that can be used as a full substitute for the 2D governing equations of the Oldroyd-B, Giesekus and other models. One of the key features of these new equations is that - in contrast to the original log-conf equations given by Fattal and Kupferman (2004) - these constitutive equations combined with the Navier-Stokes equations constitute a self-contained, non-iterative system of partial differential equations. In addition to its potential as a fruitful source for understanding the mathematical subtleties of the models from a new perspective, this analytical description also allows us to fully utilize the Newton-Raphson algorithm in numerical simulations, which by design should lead to reduced computational effort. By means of the confined cylinder benchmark we will show that a finite element discretization of these new equations delivers results of comparable accuracy to known methods.

AG-2014.12-843

math.NA

Cell List Algorithms for Nonequilibrium Molecular Dynamics

Matthew Dobson, Ian Fox, Alexandra Saracino

We present two modifications of the standard cell list algorithm for nonequilibrium molecular dynamics simulations of homogeneous, linear flows. When such a flow is modeled with periodic boundary conditions, the simulation box deforms with the flow, and recent progress has been made developing boundary conditions suitable for general 3D flows of this type. For the typical case of short-ranged, pairwise interactions, the cell list algorithm reduces computational complexity of the force computation from O($N^2$) to O($N$), where $N$ is the total number of particles in the simulation box. The new versions of the cell list algorithm handle the dynamic, deforming simulation geometry. We include a comparison of the complexity and efficiency of the two proposed modifications of the standard algorithm.

AG-2014.12-701

math.NA

Numerical Simulation of Dendritic crystal growth using phase field method and investigating the effects of different physical parameter on the growth of the dendrite

Rahul Sanal

In this journal, we study the phase-field model of solidification for numerical simulation of dendritic crystal growth that occurs during the casting of metals and alloys based on the kobayashi [1] model. Qualitative relationships between shapes of the crystal and physical parameters are studied and visualized.

AG-2014.12-2846

math.NA

Short note on the mass matrix for Gauss-Lobatto grid points

Saul A. Teukolsky

The mass matrix for Gauss-Lobatto grid points is usually approximated by Gauss-Lobatto quadrature because this leads to a diagonal matrix that is easy to invert. The exact mass matrix and its inverse are full. We show that the exact mass matrix \emph{and} its inverse differ from the approximate diagonal ones by a simple rank-1 update (outer product). They can thus be applied to an arbitrary vector in $O(N)$ operations instead of $O(N^2)$.

AG-2014.12-360

math.NA

Variational Integrators in Plasma Physics

Michael Kraus

Variational integrators are a special kind of geometric discretisation methods applicable to any system of differential equations that obeys a Lagrangian formulation. In this thesis, variational integrators are developed for several important models of plasma physics: guiding centre dynamics (particle dynamics), the Vlasov-Poisson system (kinetic theory), and ideal magnetohydrodynamics (plasma fluid theory). Special attention is given to physical conservation laws like conservation of energy and momentum. Most systems in plasma physics do not possess a Lagrangian formulation to which the variational integrator methodology is directly applicable. Therefore the theory is extended towards nonvariational differential equations by linking it to Ibragimov's theory of integrating factors and adjoint equations. It allows us to find a Lagrangian for all ordinary and partial differential equations and systems thereof. Consequently, the applicability of variational integrators is extended to a much larger family of systems than envisaged in the original theory. This approach allows for the application of Noether's theorem to analyse the conservation properties of the system, both at the continuous and the discrete level. In numerical examples, the conservation properties of the derived schemes are analysed. In case of guiding centre dynamics, momentum in the toroidal direction of a tokamak is preserved exactly. The particle energy exhibits an error, but the absolute value of this error stays constant during the entire simulation. Therefore numerical dissipation is absent. In case of the kinetic theory, the total number of particles, total linear momentum and total energy are preserved exactly, i.e., up to machine accuracy. In case of magnetohydrodynamics, the total energy, cross helicity and the divergence of the magnetic field are preserved up to machine precision.

AG-2014.12-356

math.NA

Variational and linearly-implicit integrators, with applications

Molei Tao, Houman Owhadi

We show that symplectic and linearly-implicit integrators proposed by [Zhang and Skeel, 1997] are variational linearizations of Newmark methods. When used in conjunction with penalty methods (i.e., methods that replace constraints by stiff potentials), these integrators permit coarse time-stepping of holonomically constrained mechanical systems and bypass the resolution of nonlinear systems. Although penalty methods are widely employed, an explicit link to Lagrange multiplier approaches appears to be lacking; such a link is now provided (in the context of two-scale flow convergence [Tao, Owhadi and Marsden, 2010]). The variational formulation also allows efficient simulations of mechanical systems on Lie groups.

AG-2014.12-341

math.NA

Certified counting of roots of random univariate polynomials

Joseph Cleveland, Jeffrey Dzugan, Jonathan D. Hauenstein, Ian Haywood, Dhagash Mehta, Anthony Morse, Leonardo Robol, Taylor Schlenk

A challenging problem in computational mathematics is to compute roots of a high-degree univariate random polynomial. We combine an efficient multiprecision implementation for solving high-degree random polynomials with two certification methods, namely Smale's $α$-theory and one based on Gerschgorin's theorem, for showing that a given numerical approximation is in the quadratic convergence region of Newton's method of some exact solution. With this combination, we can certifiably count the number of real roots of random polynomials. We quantify the difference between the two certification procedures and list the salient features of both of them. After benchmarking on random polynomials where the coefficients are drawn from the Gaussian distribution, we obtain novel experimental results for the Cauchy distribution case.

AG-2014.12-233

math.NA

A simple Cartesian scheme for compressible multimaterials

Yannick Gorsse, Angelo Iollo, Thomas Milcent, Haysam TELIB

We present a simple numerical method to simulate the interaction of two non-miscible compressible materials separated by an interface. The media considered may have significantly different physical properties and constitutive laws, describing for example fluids or hyperelastic solids. The model is fully Eulerian and the scheme is the same for all materials. We show stiff numerical illustrations in case of gas--gas, gas--water, gas--elastic solid interactions in the large deformation regime.

AG-2014.12-235

math.NA

Long-time asymptotic solution structure of Camassa-Holm equation subject to an initial condition with non-zero reflection coefficient of the scattering data

Chueh-Hsin Chang, Ching-Hao Yu, Tony Wen-Hann Sheu

In this article we numerically revisit the long-time solution behavior of the Camassa-Holm equation. The finite difference solution of this integrable equation is sought subject to the newly derived initial condition with Delta-function potential. Our underlying strategy of deriving a numerical phase accurate finite difference scheme in time domain is to reduce the numerical dispersion error through minimization of the derived discrepancy between the numerical and exact modified wavenumbers. Additionally, to achieve the goal of conserving Hamiltonians in the completely integrable equation of current interest, a symplecticity-preserving time-stepping scheme is developed. Based on the solutions computed from the temporally symplecticity-preserving and the spatially wavenumber-preserving scheme, the long-time asymptotic CH solution characters can be accurately depicted in distinct regions of the space-time domain featuring with their own quantitatively very different solution behaviors. We also aim to numerically confirm that in the two transition zones their long-time asymptotics can indeed be described in terms of the theoretically derived Painlevé transcendents. Another attempt of this study is to numerically exhibit a close connection between the presently predicted finite-difference solution and the solution of the Painlevé ordinary differential equation of type II in two different transition zones.

AG-2014.11-1536

math.NA

On the asymptotics of Bessel functions in the Fresnel regime

Jhu Heitman, James Bremer, Vladimir Rokhlin, Bogdan Vioreanu

We introduce a version of the asymptotic expansions for Bessel functions $J_ν(z)$, $Y_ν(z)$ that is valid whenever $|z| > ν$ (which is deep in the Fresnel regime), as opposed to the standard expansions that are applicable only in the Fraunhofer regime (i.e. when $|z| > ν^2$). As expected, in the Fraunhofer regime our asymptotics reduce to the classical ones. The approach is based on the observation that Bessel's equation admits a non-oscillatory phase function, and uses classical formulas to obtain an asymptotic expansion for this function; this in turn leads to both an analytical tool and a numerical scheme for the efficient evaluation of $J_ν(z)$, $Y_ν(z)$, as well as various related quantities. The effectiveness of the technique is demonstrated via several numerical examples. We also observe that the procedure admits far-reaching generalizations to wide classes of second order differential equations, to be reported at a later date.

AG-2014.11-1709

math.NA

A fast approach to Discontinuous Galerkin solvers for Boltzmann-Poisson transport systems for full electronic bands and phonon scattering

Irene M. Gamba, Armando Majorana, Jose A. Morales, Chi-Wang Shu

The present work is motivated by the development of a fast DG based deterministic solver for the extension of the BTE to a system of transport Boltzmann equations for full electronic multi-band transport with intra-band scattering mechanisms. Our proposed method allows to find scattering effects of high complexity, such as anisotropic electronic bands or full band computations, by simply using the standard routines of a suitable Monte Carlo approach only once. In this short paper, we restrict our presentation to the single band problem as it will be also valid in the multi-band system as well. We present preliminary numerical tests of this method using the Kane energy band model, for a 1-D 400nm $n^{+}-n-n^{+}$ silicon channel diode, showing moments at $t=0.5$ps and $t=3.0$ps.

AG-2014.11-1326

math.NA

An FFT-based Galerkin Method for Homogenization of Periodic Media

Jaroslav Vondřejc, Jan Zeman, Ivo Marek

In 1994, Moulinec and Suquet introduced an efficient technique for the numerical resolution of the cell problem arising in homogenization of periodic media. The scheme is based on a fixed-point iterative solution to an integral equation of the Lippmann-Schwinger type, with action of its kernel efficiently evaluated by the Fast Fourier Transform techniques. The aim of this work is to demonstrate that the Moulinec-Suquet setting is actually equivalent to a Galerkin discretization of the cell problem, based on approximation spaces spanned by trigonometric polynomials and a suitable numerical integration scheme. For the latter framework and scalar elliptic setting, we prove convergence of the approximate solution to the weak solution, including a-priori estimates for the rate of convergence for sufficiently regular data and the effects of numerical integration. Moreover, we also show that the variational structure implies that the resulting non-symmetric system of linear equations can be solved by the conjugate gradient method. Apart from providing a theoretical support to Fast Fourier Transform-based methods for numerical homogenization, these findings significantly improve on the performance of the original solver and pave the way to similar developments for its many generalizations proposed in the literature.

AG-2014.11-253

math.NA

A Parallel Orbital-Updating Approach for Electronic Structure Calculations

Xiaoying Dai, Xingao Gong, Aihui Zhou, Jinwei Zhu

In this paper, we propose an orbital iteration based parallel approach for electronic structure calculations. This approach is based on our understanding of the single-particle equations of independent particles that move in an effective potential. With this new approach, the solution of the single-particle equation is reduced to some solutions of independent linear algebraic systems and a small scale algebraic problem. It is demonstrated by our numerical experiments that this new approach is quite efficient for full-potential calculations for a class of molecular systems.

AG-2014.11-3601

math.NA

Explicit methods in extended phase space for inseparable Hamiltonian problems

Pauli Pihajoki

We present a method for explicit leapfrog integration of inseparable Hamiltonian systems by means of an extended phase space. A suitably defined new Hamiltonian on the extended phase space leads to equations of motion that can be numerically integrated by standard symplectic leapfrog (splitting) methods. When the leapfrog is combined with coordinate mixing transformations, the resulting algorithm shows good long term stability and error behaviour. We extend the method to non-Hamiltonian problems as well, and investigate optimal methods of projecting the extended phase space back to original dimension. Finally, we apply the methods to a Hamiltonian problem of geodesics in a curved space, and a non-Hamiltonian problem of a forced non-linear oscillator. We compare the performance of the methods to a general purpose differential equation solver LSODE, and the implicit midpoint method, a symplectic one-step method. We find the extended phase space methods to compare favorably to both for the Hamiltonian problem, and to the implicit midpoint method in the case of the non-linear oscillator.

AG-2014.10-3225

math.NA

Boltzmann Equation Solver Adapted to Emergent Chemical Non-equilibrium

Jeremiah Birrell, Jon Wilkening, Johann Rafelski

We present a novel method to solve the spatially homogeneous and isotropic relativistic Boltzmann equation. We employ a basis set of orthogonal polynomials dynamically adapted to allow for emergence of chemical non-equilibrium. Two time dependent parameters characterize the set of orthogonal polynomials, the effective temperature $T(t)$ and phase space occupation factor $Υ(t)$. In this first paper we address (effectively) massless fermions and derive dynamical equations for $T(t)$ and $Υ(t)$ such that the zeroth order term of the basis alone captures the particle number density and energy density of each particle distribution. We validate our method and illustrate the reduced computational cost and the ability to easily represent final state chemical non-equilibrium by studying a model problem that is motivated by the physics of the neutrino freeze-out processes in the early Universe, where the essential physical characteristics include reheating from another disappearing particle component ($e^\pm$-annihilation).

AG-2014.10-1214

math.NA

Conformal map and harmonic measure of the Bunimovich stadium

Vipin Kerala Varma

We consider the conformal mapping of the Bunimovich stadium, a region enclosed by a Jordan curve with four smooth corners, primarily in the context of a particle undergoing Brownian motion within its closed geometry with Dirichlet boundary conditions. A Chebyshev weighting of the solutions of Symm's integral equation is employed to give a numerical conformal map of the region onto the canonical domain of the unit disk in the complex plane. As a measure of the accuracy of the transformation, the domes' harmonic measure evaluated at the centre of the stadium is thereby extracted and is compared with results obtained from Schwarz-Christoffel transformations and Monte Carlo simulations; the pros and cons of the method are reiterated.

AG-2014.10-892

math.NA

Multidomain spectral method for Schrödinger equations

M. Birem, C. Klein

A multidomain spectral method with compactified exterior domains combined with stable second and fourth order time integrators is presented for Schrödinger equations. The numerical approach allows high precision numerical studies of solutions on the whole real line. At examples for the linear and cubic nonlinear Schrödinger equation, this code is compared to transparent boundary conditions and perfectly matched layers approaches. The code can deal with asymptotically non vanishing solutions as the Peregrine breather being discussed as a model for rogue waves. It is shown that the Peregrine breather can be numerically propagated with essentially machine precision, and that localized perturbations of this solution can be studied.