arXiv Science⌕ Search

SEARCH · arXiv Science

Search arXiv Science

Search indexed arXiv papers on artificial intelligence, large language models, computer vision and robotics. Read source abstracts and follow links to arXiv.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

40 recordsLinked to original sources
arXiv2026

Convergence of implicit schemes for Hamilton-Jacobi-Bellman quasi-variational inequalities

In [Azimzadeh, P., and P. A. Forsyth. "Weakly chained matrices, policy iteration, and impulse control." SIAM J. Num. Anal. 54.3 (2016): 1341-1364], we outlined the theory and implementation of computational methods for implicit schemes for Hamilton-Jacobi-Bellman quasi-variational inequalities (HJBQVIs). No convergence proofs were given therein. This work closes the gap by giving rigorous proofs of convergence. We do so by introducing the notion of nonlocal consistency and appealing to a Barles-Souganidis type analysis. Our results rely only on a well-known comparison principle and are independent of the specific form of the intervention operator.

math.NA↗
arXiv2026

Learning functional components of PDEs from data using neural networks

Partial differential equation (PDE) models frequently contain unknown functional terms that cannot be measured directly, limiting their predictive utility. While data-driven methods for estimating scalar PDE parameters are well established, the recovery of unknown functions remains comparatively underexplored. Here, we show that standard parameter estimation workflows can be extended to infer functional components of PDEs directly from data. Our approach embeds neural networks within the PDE framework, allowing unknown functions to be learned during training with high accuracy. Using nonlocal aggregation-diffusion equations as a case study, we infer interaction kernels and external potentials from steady-state observations. We systematically examine how reconstruction accuracy depends on factors such as the number and diversity of available solutions, sampling density, and measurement noise. The resulting framework retains the advantages of conventional PDE calibration approaches while extending them to functional inference: once trained, the PDE model can be used in the standard way to analyse system behaviour and generate predictions.

cs.LG↗
arXiv2026

Compact implicit high-resolution numerical scheme for multicomponent transport problems with Langmuir sorption

We present a compact implicit high-resolution finite volume scheme for one-dimensional multicomponent transport problems with nonlinear Langmuir sorption. The method combines a second order compact implicit discretization with WENO reconstruction and a time limiter for the treatment of steep gradients and discontinuities. A special attention is given to the Courant number used in the limiter, where local characteristic Courant numbers based on the eigenvalues of the inverse retardation matrix are considered. The compact implicit schemes are compared with analogous explicit first and second order methods. Numerical experiments show second order convergence for smooth solutions and demonstrate that the implicit approach can be used with significantly larger Courant numbers. The method is also applied to a three-component displacement chromatography problem with sharp concentration fronts.

math.NA↗
arXiv2026

Strong convergence rates of tamed exponential Euler schemes for superlinear hyperbolic SPDEs

In this paper, we prove pathwise uniform convergence at rates up to $1/2$ for tamed exponential Euler schemes for semilinear hyperbolic stochastic evolution equations with superlinearly growing nonlinearities and multiplicative noise. We take the term hyperbolic to mean that the leading operator generates a contractive $C_0$-semigroup but no parabolic smoothing occurs. Under local Lipschitz, polynomial growth, coercivity, and monotonicity conditions on the nonlinearities, we establish pathwise uniform strong error estimates of the form \begin{equation*} \Big(\mathbb{E}\max_{0\le j \le N} \|U(t_j)-U^j\|_X^p\Big)^{1/p} \lesssim \sqrt{k} \end{equation*} on a Hilbert space $X$ for $p\in [2,\infty)$. Here, $U$ is the mild solution and $U^j$ is the tamed exponential Euler approximation at time $t_j=jk$ with step size $k>0$. This extends previous convergence results for non-parabolic SPDEs from globally to locally Lipschitz nonlinearities, allowing both drift and diffusion to grow polynomially. In a stochastic Kato framework, we further establish local and global well-posedness as well as uniform a priori estimates for the mild solution and its approximation. Applications to nonlinear stochastic transport, Airy, wave-type, and dissipatively damped nonlinear Schrödinger equations are included, covering different nonlinearities-stopped and fractionally tamed schemes. For the Klein-Gordon equation with cubic velocity damping, this complements previous results obtained for additive noise.

math.NA↗
arXiv2026

Fully discrete stochastic maximal regularity and $H^\infty$-calculus for second-order elliptic operators

This paper establishes the fully discrete stochastic maximal $L^p$-regularity and the accompanying sharp maximal estimate for numerical approximations of parabolic stochastic partial differential equations. We consider the spatial finite element discretization $A_h$ of a general second-order elliptic operator $A=-\nabla \cdot a\nabla +b\cdot \nabla +c$ with Dirichlet boundary conditions on a smooth, bounded, convex domain in $\mathbb{R}^3$, coupled with a broad class of temporal schemes, including rational approximations and the exponential Euler method. To obtain these optimal discrete regularity results, we establish a bounded $H^\infty$-calculus for the discrete spatial operator $A_h$, uniformly in the mesh size $h$. As a direct byproduct, we also establish the discrete-in-space stochastic maximal regularity for the corresponding spatial semi-discretizations.

math.AP↗
arXiv2026

A counterexample to Kenig's conjecture for the Laplace double-layer operator

Layer potentials provide a classical approach to boundary value problems for Laplace's equation on Lipschitz domains. Kenig's 1994 spectral-radius conjecture for the double-layer operator would ensure operator-norm convergence of the associated Neumann series on mean-zero $L^2$ densities when the boundary is connected. We disprove this conjecture by constructing a bounded simply connected planar Lipschitz domain whose double-layer operator on arclength $L^2$ has essential spectral radius strictly greater than $1/2$. More precisely, for every $t>1/2$ sufficiently close to $1/2$, we obtain such a domain with $\pm i t$ in its Fredholm essential spectrum. The construction starts from smooth graphs whose shapes repeat under translation. In the limit of separated scales, refinement makes solutions of adjoint resolvent equations grow with fixed forcing. The graph slopes remain uniformly bounded. A computer-assisted certificate proves this growth through an inequality for Hermitian $2\times2$ matrices. Its strict margin at $- i/2$ persists at nearby spectral parameters. Normalisation and a Floquet transform then give compactly supported densities with small residuals on the full graphs. We insert rescaled segments of successive graphs into one bounded boundary, where these densities form a weakly null sequence of approximate eigenvectors. The same spectral conclusion holds on a single periodic Lipschitz graph. The certificate combines continuous estimates, exact rational arithmetic and rigorous interval enclosures.

math.AP↗
arXiv2026

Strong convergence of finite element schemes for the stochastic Landau--Lifshitz--Bloch equation

The dynamics of magnetisation in a bounded ferromagnet in $\mathbb{R}^d$ ($d=1,2$) at high temperatures can be described by the stochastic Landau--Lifshitz--Bloch (sLLB) equation, which is a vector-valued quasilinear stochastic partial differential equation. In this paper, assuming adequate regularity of the initial data, we establish strong convergence in $L^2(Ω)$ of several semi-implicit and implicit fully discrete finite element schemes for the sLLB equation, together with explicit convergence rates. The analysis relies on localised error estimates and new exponential moment bounds for the exact solution. As a by-product, these moment bounds yield mean-square exponential stability of solutions and uniqueness of the invariant measure in one spatial dimension under a small noise assumption. We also sharpen existing convergence-in-probability results for the numerical schemes. Numerical experiments are presented to illustrate and support the theoretical findings.

math.NA↗
arXiv2026

An Inverse Problem for Determining the Piston Speed from a Given Lipschitz Leading Shock

We analyze an inverse problem for determining the piston speed and the associated flow field from a prescribed leading shock and the initial data in a shock tube. The gas flow is described by the isentropic Euler equations (i.e., the $p$-system), while the trajectory of the leading shock is prescribed as a given Lipschitz curve. Under an Oleĭnik-type entropy condition on the leading shock, we develop a modified wavefront tracking scheme to construct the flow field behind the shock. This construction enables us to determine the corresponding piston speed and the associated flow field.

math.AP↗
arXiv2026

Rate of convergence of a fully discrete structure-preserving midpoint scheme for the stochastic Landau--Lifshitz--Gilbert equation

The stochastic Landau--Lifshitz--Gilbert (sLLG) equation is a strongly nonlinear stochastic PDE with a non-convex pointwise constraint arising in the theory of micromagnetics. We analyse a fully discrete, structure-preserving finite element approximation of the sLLG equation with coloured multiplicative Stratonovich noise on a bounded interval. The method utilises continuous piecewise affine finite elements, mass lumping, and midpoint time discretisation to preserve the unit-length constraint exactly at the finite element nodes. Under suitable regularity assumptions on the initial data and the noise, we establish uniform higher-moment stability and develop an error analysis for the scheme. The analysis exploits the geometric structure of the equation and the stochastic midpoint discretisation. For every $γ\in(0,\frac12)$, we prove first-order spatial convergence and temporal convergence of order $γ$ in the natural discrete energy norm, locally in mean square on events of arbitrarily large probability and, consequently, in probability. To the best of our knowledge, this is the first convergence-rate result for a fully discrete structure-preserving finite element scheme solving the stochastic Landau--Lifshitz--Gilbert equation.

math.NA↗
arXiv2026

A discontinuous Galerkin approximation of the Dean--Kawasaki equation

We introduce and analyse an arbitrary order spatial discontinuous Galerkin (dG) method for the Dean--Kawasaki equation, a highly singular SPDE modelling density fluctuations of $N$ diffusing particles in the regime of large particle number $N \gg 1$. Our starting point is a general procedure for discretising multiplicative, divergence-form noise on finite element spaces whilst preserving its cross-variation structure at the discrete level; the construction is explicit, elementwise, applies to continuous and discontinuous spaces alike, and extends to general mobilities. Using it, we prove weak error estimates of order $O(h^p)$ between fluctuations of the semi-discrete scheme and those of the underlying particle system, together with a correction that is exponentially small in the scaling regime $Nh^d \gg 1$ and arises because the scheme does not preserve positivity. The resulting method is locally and globally conservative and applies on unstructured simplicial meshes. Quantitative numerical experiments support the analysis, and further experiments illustrate the method beyond the scope of the theory: indicator function observables, external and interaction potentials, convection-dominated regimes and reflecting boundary conditions.

math.NA↗
arXiv2026

Hölder-Logarithmic Stability and Convergence Rates for an Inverse Random Source Problem

In this paper, we investigate an inverse random source problem concerned with recovering the strength of a random, uncorrelated acoustic source from correlation measurements of emitted time-harmonic acoustic waves. Such problems arise in applications including aeroacoustics and seismic imaging. Unlike their deterministic counterparts, inverse random source problems are known to be uniquely solvable in the absence of noise. Nevertheless, due to their inherent ill-posedness, regularization is required to stably reconstruct the source strength. We derive conditional Hölder-logarithmic stability estimates under Sobolev smoothness assumptions by employing complex geometrical optics solutions. Moreover, by establishing a variational source condition, we obtain Hölder-logarithmic convergence rates for spectral regularization methods. At fixed frequency, the exponents in the logarithmic stability and convergence estimates grow unboundedly as the Sobolev regularity of the source increases. Finally, we present numerical experiments supporting our theoretical findings.

math.NA↗
arXiv2026

An intrinsic expansion approach to the Galerkin approximations for the Navier-Stokes equations (with an appendix by Chengzhang Fu)

We study the Galerkin approximation of the three-dimensional Navier-Stokes equations. In particular, we examine the convergence of these solutions in a sequence of finite dimensional spaces as the dimension goes to infinity. For any sequence of steady state or, respectively, time dependent Galerkin solutions that converges to a solution of the Navier-Stokes equations, we obtain a subsequence with an intrinsic asymptotic expansion in appropriate nested function spaces. Consequently, an induced asymptotic expansion is obtained in a more standard spatial Sobolev or, respectively, spatiotemporal Sobolev-Lebesgue space. In the case of steady states, we establish certain relations among leading terms of this expansion.

math.AP↗
arXiv2026

Frequency-explicit convergence analysis of a multiscale finite element method for highly heterogeneous scattering problems

We analyze the numerical approximation of time-harmonic scattering by highly heterogeneous penetrable obstacles. These problems are especially challenging in the high-frequency regime, where the size of the scatterer $L$ is much larger than the wavelength, i.e., the wavenumber $k$ is such that $kL \gg 1$. Here, we further consider the situation where the scatterer contains different materials, with a characteristic size $\varepsilon$ such that $k\varepsilon \ll 1$. We propose a high-order multiscale finite element method, and provide an error analysis that is explicit in both $k$ and $\varepsilon$. Crucially, our error estimates suggest that using a high-order method should reduce the computational cost for large frequencies, which is corroborated by numerical examples.

math.NA↗
arXiv2026

Regularity of Second-Order Elliptic PDEs in Spectral Barron Spaces

We establish a regularity theorem for second-order elliptic PDEs on $\mathbb{R}^{d}$ in spectral Barron spaces. Under mild ellipticity and smallness assumptions, the solution gains two additional orders of Barron regularity. As a corollary, we identify a class of PDEs whose solutions can be approximated by two-layer neural networks with cosine activation functions, where the width of the neural network is independent of the spatial dimension.

math.AP↗
arXiv2026

Analysis of Moment Closures Using $φ$-Divergences for Rarefied Dynamics with Binary Collisions and Their Galerkin Discretizations

This work introduces a robust deterministic framework for approximating solutions of the Boltzmann equation with binary collisions by discretizing their dependence on time, position, and velocity using Galerkin methods. By employing a family of parametric Galerkin closures based on $φ$-divergences in velocity space, we derive rigorous hierarchies of moment equations that govern fluid dynamic variables. Addressing the limitation that these closures alone do not guarantee dissipation of a $φ$-divergence entropy for the true binary collision operator, we restore this property by formulating a compatible approximate collision operator tailored to each closure. This constructed operator intrinsically retains fundamental physical properties essential for high-fidelity flow simulations, including Galilean invariance, exact conservation of mass, momentum, and energy, and strict dissipation of a $φ$-divergence entropy. Furthermore, we show that the resulting closed moment systems are symmetric-dissipative, yielding Cauchy problems that are well-posed locally in time. To translate this mathematical foundation into an efficient computational tool, we discretize the position and time variables with an entropy-stable discontinuous Galerkin (DG) finite element method. The fully implicit, entropy-stable space-time approach enables time steps far beyond typical CFL-limited step sizes and the direct computation of steady states. The robustness and accuracy of the methodology are verified and validated through numerical simulations on the supersonic nozzle flow of argon, mass flow through a channel, and heat transfer between parallel walls, demonstrating agreement with analytical benchmarks, experimental measurements, and stochastic particle simulations.

math.NA↗
arXiv2026

Residual neural networks overcome the curse of dimensionality for semilinear heat equations

Rigorous results show that feedforward neural networks can overcome the curse of dimensionality in the numerical approximation of high-dimensional partial differential equations (PDEs), but comparatively little is known about residual neural networks (ResNets) in the nonlinear PDE setting. We prove that ResNets overcome the curse of dimensionality in the numerical approximation of solutions of semilinear heat equations with globally Lipschitz continuous, gradient-independent nonlinearities: under polynomial growth and network approximability hypotheses on the PDE data, there exist $η\in(0,\infty)$ and ResNets $Ψ_{d,\varepsilon}$, $d\in\mathbb{N}$, $\varepsilon\in(0,1]$, with at most $ηd^η\varepsilon^{-η}$ parameters whose realizations approximate the solution in dimension $d$ with an $L^2$-error of at most $\varepsilon$. The proof represents one deterministic realization of a multilevel Picard estimator by a ResNet whose shortcut connections transmit the spatial variable and a scalar accumulator, while the residual branches successively add the summands of the estimator. For ridge-sum initial conditions, admissible sigmoidal activations, and globally Lipschitz truncations of the nonlinearity, we obtain, for every $ξ>0$, the explicit bound $C_ξd^{4+ξ}\varepsilon^{-(3+ξ)}$ on the number of parameters.

math.NA↗
arXiv2026

On the Abundance of Critical Points of the t-SNE Energy

This paper considers the energy landscape of the t-SNE algorithm. While this algorithm has enjoyed broad adoption, the non-convexity of the associated energy has made it difficult to rigorously understand what the algorithm captures in many settings. In particular, a number of well-known numerical examples, several of which are reproduced in this article, suggest a complicated energy landscape with many local minimizers that do not respect the topology or clustering structure of the underlying data. This work seeks to provide first steps towards a rigorous explanation of these phenomena. Specifically, for a general family of energies, which include both the original t-SNE algorithm and recently identified large data limits, and for densities in feature space which obey a continuous symmetry, we construct infinite families of distinct critical points. These critical points are based upon identifying pairs of discrete symmetries, one in the original feature space and the other in the target embedding space, which are preserved under gradient dynamics. These critical configurations exhibit many characteristics, such as topology breaking and spurious clustering, which are often observed empirically. Finally, numerical and analytical examples are given throughout as a means of illustrating the approach.

cs.LG↗
arXiv2026

A Temperature-Coupled Cahn-Hilliard-Stokes-Heat Model for Thermally Driven Phase Separation

We study a diffuse-interface model for thermally driven phase separation in viscous incompressible mixtures. The system couples a convective Cahn-Hilliard equation for the order parameter with a Stokes subsystem for the velocity-pressure field and a heat equation for the temperature. Temperature enters the bulk free energy through a Landau-type coefficient, while the phase field affects the flow through concentration-dependent density and viscosity. The model serves as a proxy for temperature-triggered condensation-like phase separation; humidity, latent heat, vapor pressure, and capillary forcing are absorbed into the choice of the threshold temperature $Θ_S$. We motivate the chemical potential through a temperature-dependent Landau free energy and use a regularized auxiliary formulation to prove local-in-time existence of weak solutions. For the numerical analysis, we employ a first-order sequential finite-element discretization of a simplified quasi-static formulation. The heat equation is advanced by implicit diffusion, the variable-coefficient Stokes problem is treated by a Taylor-Hood discretization, and the Cahn-Hilliard bulk derivative is evaluated at the previous time level, so each algebraic subproblem is linear. An isothermal diffusive test confirms mass conservation to roundoff and exhibits monotone discrete-energy decay for the tested parameters. Time-step and mesh-refinement studies show first-order temporal and approximately second-order spatial behavior. The remaining computations provide qualitative, parameter-specific illustrations; no global discrete energy law is claimed for the non-isothermal sequential scheme.

math.AP↗