Physics-informed neural networks (PINNs) solve partial differential equations without a mesh, but they do not in general preserve the steady states that well-balanced schemes reproduce exactly. We present a well-balanced extension of the weak and entropy PINN (WE-PINN) framework to the shallow water equations over smooth and discontinuous bathymetry. The residual is a weak space--time control-volume identity enforced on randomly placed control volumes that may overlap, so no mesh is needed. In free-surface variables, the geometric source is integrated by parts onto the bed, so that the network is never differentiated, and a cell-local bed-slope correction makes the quadrature reproduce the exact bed increment. Bed discontinuities, located from the bathymetry alone, separate sub-domains carrying independent networks, coupled through conservation of discharge and total head. We prove that…
Locally conformally symplectic (LCS) manifolds are characterized by a nondegenerate two-form $Ω$ satisfying $\mathrm{d}Ω=φ\wedgeΩ$, where $φ$ is a closed one-form, called the Lee form. Although an LCS structure is locally conformal to an ordinary symplectic structure, the local symplectic descriptions need not arise from a single global symplectic form. This creates a natural local-to-global problem for geometric numerical integration: local symplectic discretizations must be compatible on chart overlaps in order to determine a globally defined numerical dynamics. We develop a Hamiltonian variational framework for the construction and globalization of structure-preserving integrators for LCS systems. The continuous theory is first recalled in a form adapted to a Type~II Hamiltonian variational principle. We then introduce exact and approximate discrete right Hamiltonians for the local…
Analog in-memory computing offers the potential to accelerate approximate inverse preconditioning, but hardware errors can degrade preconditioners designed in digital arithmetic. We develop an analog-digital preconditioner for symmetric positive-definite linear systems that combines analog block Jacobi with a small digital low-rank residual correction. The correction space is constructed by probing the same programmed analog arrays used in the solve, targeting errors from both the coupling omitted by block Jacobi and persistent hardware perturbations. Under a random linear-operator model, we separate the programmed-mean error from fresh read fluctuations, distinguish the effects of copy averaging and repeated reads, and quantify the sampling accuracy of columnwise probing. Under a centered additive write-noise model, we also derive a computable regularization threshold and identify the…
We establish quantitative convergence results for the smoothed particle hydrodynamics (SPH) method approximating the compressible Euler equations with nonlinear pressure laws $ρ^γ$, $γ\geq 2$. Our approach is based on a nonlocal approximation of the pressure force that preserves the energy structure of the original system, including an exact energy balance. Using the relative entropy method, we prove convergence towards smooth solutions of the compressible Euler equations as the nonlocality parameter $\varepsilon\to0$, with algebraic convergence rates and an explicit algebraic relationship between $\varepsilon$ and the number of particles $N$. In particular, we obtain quantitative convergence rates for the density in the Wasserstein distance and negative Sobolev norms, and for the momentum in the flat metric. A key feature of our analysis is that it applies to measure-valued densities…
We present a dynamic domain decomposition method for gas mixtures described by a multi-species BGK model in the regime where collisions between particles of the same species are dominant. In this regime the hydrodynamic limit is a system of Euler equations in which every species keeps its own velocity and temperature, the species being coupled through momentum and energy exchange terms. To decide locally whether this multi-velocity, multi-temperature Euler description is accurate, we extend the moment realizability criterion of Levermore, Morokoff and Nadiga: for each species, a realizability matrix is derived from the Chapman--Enskog expansion of the kinetic model, and its zeroth- and first-order approximations are compared. The indicator involves only macroscopic quantities and is evaluated species by species, so that in the same cell one species may be described by the Euler…
We prove a two-sided a posteriori error estimate for numerical approximations of fully coupled McKean-Vlasov forward-backward SDEs with jumps under full-tuple law dependence. The coefficients may depend on the joint law of $(X,Y,Z,U)$, and we allow infinite jump activity. We construct a computable estimator ${\mathcal{E}_π}$ for the squared full-tuple error ${\mathcal{D}_π}$ relative to the exact Euler solution. The estimator uses the boundary and cumulative residuals of any admissible grid approximation. Under monotonicity and on sufficiently fine grids, $c\,{\mathcal{E}_π} \le {\mathcal{D}_π} \le C\,{\mathcal{E}_π}$. The efficiency bound holds without monotonicity or a mesh restriction. Analogous two-sided bounds hold for the continuous-time error up to a discretisation remainder that vanishes under coefficient time regularity. Closed-form and state-nonlinear benchmarks cover…
Numerical simulation of transport processes in magnetized plasmas is characterized by extreme anisotropy, where diffusion along magnetic field lines can be many orders of magnitude larger than in the perpendicular direction. This anisotropy leads to thin, steep boundary layers and numerical pollution that standard finite element methods struggle to resolve without prohibitive mesh refinement. In this paper, we introduce the Partition of Unity Data-Driven Finite Element Method (PU-DDFEM), a data-driven local model reduction approach, for anisotropic diffusion. The method utilizes a bottom-up construction to enable a complete offline-online splitting. We parametrize the local magnetic field and boundary conditions to generate a snapshot space that captures the essential physics of plasma confinement. Dominant modes are extracted via a local spectral problem to identify representative…
The simulation of semiclassical Schrödinger dynamics is often hindered by rapid oscillations, where classical numerical methods and quantum simulation algorithms can suffer severe precision loss as the semiclassical parameter $\varepsilon \to 0$. In this work, we uncover a surprising robustness of high-order Magnus quantum algorithms in the semiclassical regime. We establish two important results. First, we extend the theory of Magnus superconvergence from free-particle reference dynamics to a general class of Schrödinger operators whose reference Hamiltonian includes harmonic confinement. Second, and more importantly, we reveal a nontrivial semiclassical scaling law: while the expansion remainder term bound suggests an error prefactor of $O(\varepsilon^{-(p+1)})$ for a $p$th-order method, we prove that the loss is in fact order-independent and collapses to $O(\varepsilon^{-1})$ for all…
We study the cell problem with mixed Dirichlet-Neumann boundary condition to reconstruct the effective matrix for two-dimensional scalar divergence-form equations with bounded measurable, and possibly nonsymmetric coefficients. We prove uniform invertibility of the mean-gradient matrix. Moreover, we derive the first-order error estimate when the medium is periodic.
In Hu, Li and Min (2011), the authors propose a weak second order accurate $θ$-trapezoidal method as an improvement to the classical tau-leaping method. However, for complex chemical kinetic systems their model's underlying analytical assumptions can fail to hold in practice, leading to a significant reduction in its computational effectiveness. Here we introduce a modification to the method which allows it to regain desirable convergence characteristics, both given the original and a relaxed version of the underlying assumptions. We confirm this improvement through a local error analysis and present numerical examples showing it consistently performs either better or comparable to the $θ$-trapezoidal method.
We propose a numerical method for solving initial-boundary value problems for the Burgers equation that takes into account the presence of singularities of the analytic continuation of the solution into the complex plane. The algorithm uses rational approximations, a collocation method and a new scheme for time discretization combined with the relaxation method. An adaptive strategy is developed to account for the location of the singular point of the solution. Solutions to the well-known benchmark problem with a sine-shaped initial condition are obtained for the values of the viscosity as low as nu = 10^-8. Verification of the numerical results in such an extreme parameter regime makes it necessary to modify a classical formula for the exact solution so as to avoid floating-point overflow during its computation. The developed method is compared with an algorithm employing the…
Explicit stabilized methods provide an efficient approach to stiff systems arising from deterministic parabolic equations, yet rigorous convergence theory for their application to stochastic partial differential equations remains scarce. To the best of our knowledge, the only prior fully discrete strong convergence analysis of explicit stabilized integrators for SPDEs is due to [A. Abdulle et al. IMA J. Numer. Anal. 43(1)(2023), pp. 258--292] and it is restricted to additive noise. The present work addresses the extension to multiplicative noise, by coupling Galerkin finite element spatial discretization with explicit stabilized time integrators. Under global Lipschitz assumptions and appropriate spatial regularity conditions, we derive the strong error bound $\mathcal{O}(h^{1+r}+τ^{1/2})$ with $r\in[0,1)$, which achieves the optimal temporal strong convergence rate $1/2$ for the…
In this paper, we establish algebraic strong convergence rates for spectral Galerkin and fully discrete approximations of the stochastic Burgers equation driven by additive space--time white noise. For deterministic initial data in $H^1$, the spectral approximation is shown to be convergent in the spatial supremum norm, uniformly in time and in every finite probability moment, with order arbitrarily close to $1/2$. Furthermore, we prove that an accelerated fully tamed exponential method possesses spatial and temporal strong convergence orders arbitrarily close to $1/2$ and $1/4$ under a CFL condition. The key to our analysis is a polynomial stability estimate for the conservative Burgers flux, which allows us to control the nonlinear error using polynomial moment bounds for the exact and numerical solutions. To the best of our knowledge, these are the first algebraic strong convergence…
In this paper, we propose a coarse/fine splitting-based parallel unsmoothed aggregation algebraic multigrid (AMG) method, referred to as CF-UAMG. The proposed method utilizes the strong-connection structure identified by classical AMG (C-AMG) coarse/fine splitting to guide the selection of aggregate roots and the formation of aggregates, aiming to improve the quality of the aggregation-based coarse space and thus the convergence of unsmoothed aggregation AMG (UA-AMG). We also prove uniform two-grid convergence of CF-UAMG with a convergence bound independent of the matrix size for symmetric positive definite M-matrices with nonnegative row sums. Numerical experiments on three classes of three-dimensional problems, including Poisson-type equations, radiation diffusion equations, and incompressible Navier-Stokes equations, demonstrate the robustness both in convergence and parallelism of…
Numerical simulations of fracture propagation require accurate computation of stress intensity factors (SIFs) to determine whether a pre-existing fracture will propagate. Even though displacement solutions from well-established numerical methods generally converge with mesh refinement, the convergence behavior of SIF estimates remains less understood. In this work, we propose a scaling law to improve the performance of SIF extraction using two-point displacement correlation methods. This scaling law relates sampling distance from the fracture tip to mesh resolution. It is developed by balancing the asymptotic truncation error against the numerical discretization error. Three numerical discretization methods--standard quadratic finite elements, quadratic finite elements with quarter-point elements, and a multi-point stress approximation finite volume method--are employed to validate the…
Grid-based multinode Shepard collocation combines tensor-product Lagrange interpolants on overlapping Cartesian subgrids. On an implicitly defined domain, retained subgrids may cross the boundary and contain exterior source nodes. Removing or moving these nodes changes the local interpolants. We introduce exterior-row replacement (ERR) to preserve the source nodes and coefficients of every retained subgrid. We assemble PDE rows at strictly interior sources and supply the remaining equations through boundary evaluations. We consider two square completion methods based on projection and redistribution, an oversampled weighted least-squares one (ERR-OS), and a completion method that selects boundary rows through the interior PDE nullspace (ERR-QR). Full column rank is characterized by the boundary action on this nullspace. We also give completion conditions for prescribed fitted rows and…
The Method of Auxiliary Sources has been extensively studied in the case of cylindrical geometries. In this article, the authors provide analysis elements for the elliptical geometry case. Based on a Mathieu functions expansion, the impedance matrix is projected into a reduced diagonal matrix. At the same time, the matrix is studied in the Fourier domain. A checkerboard structure is found and a relation between the different elements of the matrix is proven. Numerical simulations confirm the theoretical results. We additionally identify an exact finite-grid parity rule, an aliasing identity connecting the discrete and continuous Fourier representations, and controlled near-circular Fourier-band localization. These results are mostly independent of a small-$q$ truncation of radial Mathieu functions.
We extend BK19 the semi-implicit finite-volume solver, to provide access to the quasi-geostrophic (QG) regime within the same compressible framework that already admits soundproof and hydrostatic limits. In order to achieve this goal, we incorporate the asymptotic framework from the continuous theory into the numerical scheme. Adopting the usual asymptotic setting for the quasi-geostrophic regime and using it directly in the numerical model, we perform a scale analysis of the compressible Euler equations in the synoptic length and time scales in the limit of small Rossby number. In this limit, the discrete implicit step recovers geostrophic balance, together with the pseudo-incompressible divergence constraint. We construct a staggered-grid curl operator consistent with the discrete derivatives and use it to define the vorticity in the numerical framework. An asymptotic analysis of the…
We study the recovery of small normal displacements of a known inclusion from a single mixed Steklov eigenpair. The data consist of the eigenvalue and the eigenfunction trace on any nonempty open subset of the fixed outer boundary, with the eigenfunction normalized using only that subset. For an inner Dirichlet condition, we prove that the linearized measurement map is injective at every simple eigenvalue. A compatible adjoint identity yields a reconstruction method with a conditional stability estimate on any fixed finite-dimensional space of smooth displacements. For the principal Dirichlet eigenpair, the same local data also determine the inclusion uniquely among sufficiently small normal graphs. In a three-dimensional concentric shell, the eigenvalue determines the mean displacement at first order, while spherical harmonics diagonalize the remaining full-boundary trace map. The…
In this paper, we characterize the sharp almost sure asymptotics for the numerical error of the Euler--Maruyama method applied to stochastic differential equations with additive noise. Specifically, we establish, to our knowledge, the first sharp laws of the iterated logarithm for Euler--Maruyama errors in this setting along geometric mesh refinements $(N_i)_{i\in\mathbb N^+}=(α^i)_{i\in\mathbb N^+}$ for any integer $α\geq 2$. These results identify $(N_i)^{-1}\sqrt{\log\log N_i}$ as the sharp almost sure error scale and provide an explicit expression for the path-dependent constants governing the asymptotic error envelopes. The LIL constants also admit a natural interpretation through the asymptotic error distribution, specifically through the conditional covariance matrix of the stable limit of the rescaled error given the driving Wiener process. A central challenge in establishing…
For the representation of signals on the sphere band-limited at $L$ using the optimal number of samples, $L^2$, equal to the number of degrees of freedom in harmonic space and placed on $L$ iso-latitude rings, we develop a spherical harmonic transform (SHT) that is theoretically exact, requires no solution of linear systems and no precomputation beyond the placement of the rings, and has complexity $O(L^3)$. The transform rests on the observation that, for each order $m$, the samples on the rings that resolve order $m$ are a complete set of samples for the order-$m$ profile of the signal, so that its values on the remaining rings follow from a closed-form Lagrange basis, the sampling functions of order $m$. We prove that the proposed optimal-dimensionality SHT (OSHT) recovers every band-limited signal exactly in exact arithmetic, so that the $L^2$ samples admit a sampling theorem in the…
We develop an intrinsic kinetic moment closure for shallow-water equations on smooth manifolds of arbitrary dimension equipped with prescribed, possibly time-dependent Riemannian metrics. Hamiltonian transport on the cotangent bundle and metric-dependent momentum integration yield balance laws with hydrostatic pressure, bottom topography, a skew-adjoint force, and dissipative bottom friction. An explicit compactly supported Gibbs equilibrium satisfies the required mass, momentum, and tensor second-moment conditions. We derive the quasilinear formulation and characteristic speeds, establish the continuous mechanical-energy balance with geometric work and frictional dissipation, and obtain a weak entropy inequality for vanishing-viscosity limits under stated convergence assumptions. On the rotating sphere with a fixed round metric, the skew-adjoint force represents Coriolis effects. We…
This paper is concerned with strong error estimates for fully discrete finite element approximations of the stochastic Burgers--Huxley equation with multiplicative noise. We use the implicit Euler--Maruyama scheme for time discretization and continuous piecewise linear finite elements for spatial discretization. Moment bounds and exponential integrability estimates are established and used with the discrete stochastic Gronwall inequality to derive error estimates in full expectation. Sub-second-moment error estimates are first obtained in the discrete maximum-in-time $L^2$-norm and the discrete $L^2$-in-time $H^1$-norm. Second-moment error estimates in the discrete maximum-in-time $L^2$-norm are then established using a higher-moment argument. The convergence rates are of order $k^{1/2}$ in time and $h$ in space, with the spatial rate being optimal in the $H^1$-norm. Finally, numerical…
We propose the Lower-envelope Eikonal Neural Operator (LENO), a physics-informed neural operator for eikonal equations with heterogeneous velocity fields and general source sets. LENO encodes the variational minimum principle of viscosity solutions by constructing source-wise candidate fields and taking their pointwise minimum. This lower-envelope structure enforces the source condition exactly and represents nonsmooth multi-source solutions without a soft boundary penalty. The model is trained without precomputed solution data, using a Godunov upwind residual as the sole training signal. Experiments on point sources and curve sources, sample-dependent piecewise velocity fields, and OpenFWI CurveVel-A and Style-A media show accurate agreement with references of Fast Marching Method (FMM). Additional validation shows that the Godunov residual outperforms conventional finite difference…
Stiff phase-field dynamics are typically solved by semi-implicit or fully implicit time discretizations, since the interfacial scales in the Allen--Cahn and Cahn--Hilliard equations impose severe step-size restrictions on standard explicit methods. In this paper, we investigate a different strategy based on stabilized Runge--Kutta solvers, in particular the Runge--Kutta--Legendre (RKL) and Runge--Kutta--Gegenbauer (RKG) families. These schemes possess enlarged stability regions and therefore provide a natural explicit framework for diffusion-dominated gradient flows without requiring implicit solves. For the Allen--Cahn equation, combined with Strang splitting, we establish a maximum principle in 1-dimensional case, and prove energy dissipation in all the dimensions. For the modified energy dissipation analysis, we further introduce two new first-order stabilized schemes of RKL and RKG…