Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.08166

AdHImEx: Adaptively High-Order Implicit-Explicit Transport for Large Time Steps

Amber J. te Winkel·Hilary Weller·Christian Kühnlein·James Kent
View original source ↗Read source document ↗Export metadata ↓

Abstract

Adaptively Implicit-Explicit (AdImEx) time stepping provides stability for large time steps for mass-conservative transport, making it attractive for the numerical representation of advection in weather and climate prediction. Existing AdImEx transport schemes become first-order accurate in the large-time-step, implicit regime and may require multiple sparse matrix solutions per time step. This work introduces AdHImEx, a new AdImEx scheme that addresses both limitations simultaneously. AdHImEx provides second-order accuracy for large Courant numbers while requiring only a single matrix solution per time step. It is a Runge-Kutta scheme that blends third-order accurate explicit time stepping and Crank-Nicolson implicit time stepping to provide numerically verified stability for Courant numbers up to 100. AdHImEx is designed for flows that are predominantly explicit, activating implicit time stepping only where large Courant numbers occur. It retains the full efficiency and third-order accuracy of the explicit time stepping in regions with small Courant numbers. In this work, it is combined with a fifth-order accurate finite-volume discretisation in space for mass conservation. A second contribution of this work is a novel stage-dependent treatment of the divergence operator that preserves constancy despite different implicit and explicit Runge-Kutta stage time steps and spatially varying implicitness, removing spurious divergence. This innovation is applicable to other AdImEx time stepping schemes. Convergence, transport, and efficiency tests demonstrate substantial improvements over previous first-order AdImEx schemes, little phase and amplitude error, accurate transport on locally refined meshes with large Courant numbers, and promising efficiency characteristics for atmospheric transport.

Explore related subjects

math.NAcs.NAphysics.comp-phphysics.flu-dyn

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Amber J. te Winkel, Hilary Weller, Christian Kühnlein, James Kent. 2026-10-06. AdHImEx: Adaptively High-Order Implicit-Explicit Transport for Large Time Steps. https://arxiv.org/abs/2610.08166

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

High-order entropy stable isothermal wall boundary condition for the compressible Navier--Stokes equations

Entropy stable boundary conditions are critical for ensuring that the corresponding numerical scheme satisfies the discrete entropy inequality, thus, mimicking the second law of thermodynamics for the compressible Navier-Stokes equations discretely. Provably entropy-stable adiabatic wall boundary conditions were introduced in Parsani 2014~\cite{parsani2014entropy}. These discrete wall boundary conditions were further generalized in Dalcin 2019~\cite{dalcin2019conservative} to a moving adiabatic solid wall or a wall with a prescribed heat flux for the compressible Navier--Stokes equations discretized by using summation-by-parts (SBP) and simultaneous-approximation-term (SAT) operators. Currently no entropy-stable formulation using SBP-SAT operators for isothermal wall boundary conditions is available in the literature. This paper presents a new isothermal no-slip wall boundary conditions that: 1) enforces the $T|_{y=0}=T^{wall}$ and $\vec{v}|_{y=0}=\vec{v}^{wall}$ conditions with the design order of accuracy while maintaining stability, 2) provides the correct sign of entropy production at the wall, and 3) mimics the entropy balance of the Navier-Stokes equations at the discrete level. The structure-preserving and design-order properties of the proposed methodology are demonstrated and verified on standard benchmark problems for compressible flows.

math.NA↗
arXiv2026

Convergence of repeated-pole rational approximation of the exponential on infinite sectors

For $h>0$, degree $m\ge0$, $0\leβ<π$, and $q>0$, let $Σ_β=\{re^{iθ}:r\ge0,\ |θ|\leβ/2\}$ and let $E_{m,β}(q)$ denote the best uniform error for approximating $e^{-hz}$ on $Σ_β$ by rational functions whose only possible finite pole is $s=-q/h$, with multiplicity at most $m$. For the linear scaling $q=αm$ with a fixed $α>0$, a Möbius map reduces the problem to polynomial approximation on a compact lens. Write $γ_β=2-β/π$ and let $α_c(γ_β)$ denote the saddle-coalescence threshold. For $0<α<α_c(γ_β)$, let $H_β(α)\in(0,1)$ be the exponential of the real saddle action. An exact boundary Faber integral, a global fractional-power contour deformation, and a two-saddle expansion yield the sharp two-sided order $E_{m,β}(αm)\asymp m^{-1/2}H_β(α)^m$, uniformly on compact subsets of $0<α<α_c(γ_β)$. On this noncoalescing interval, the exponential factor $H_β(α)$ has the unique minimizer $α_β^*=1/[γ_β\sin(π/(2γ_β))]$ and minimum $\tan(π/(4γ_β))$, recovering the classical half-line factor $\tan(π/8)=\sqrt{2}-1$ at $β=0$. Numerical-range estimates give matrix dimension-independent upper bounds for projected shift-and-invert Arnoldi, while finite-degree pole searches and nonnormal experiments illustrate the distinction between the sector-uniform law and individual matrix computations.

math.NA↗
arXiv2026

Shifted tapered-pole approximation on finite sectors: an exact asymptotic and dimension control

We study explicit lightning-plus-polynomial (LP) approximation of $g(z)z^α(\log z)^m$ on a closed unit-radius sector, where $0<α<1$, $m$ is fixed, and $g$ is analytic nearby. Since the basic sector root-exponential rate is already known, we address three finer questions. First, a one-sided Abel--Poisson formula and a pole-free notched contour give a branchwise error bound that is uniform for grid shifts in compact subsets of $(0,1)$ and valid for every fixed logarithmic power. Second, for $z^α$ in the dense and balanced regimes, an exact vertex-scale rescaling identifies a positive finite leading constant for a specified shifted sequence. Third, a rate-matched band of additional representation poles followed by polynomial compression gives the explicit representation dimension $N+2\sqrt{2αλ_σN}+O(1)$ while leaving the first $N$ tapered poles unchanged. A slightly overresolved hybrid sequence also preserves the exact leading constant. Matched-dimension experiments, including reentrant sectors, illustrate the allocation. These exact-asymptotic and dimension statements concern the stated constructions, not sector minimax approximation or total computational complexity.

math.NA↗