arXiv Science⌕ Search

SEARCH · arXiv Science

Results for “math.NA”

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.

At least 19 recordsLinked to original sources
arXiv2026

Comment on arXiv:2106.08363v3 [math.NA], E. Abreu, A. Espirito Santo, W. Lambert, and J. Perez, Convergence of a Lagrangian--Eulerian scheme by a weak asymptotic analysis for one-dimensional hyperbolic problems

This Comment concerns arXiv:2106.08363v3 [math.NA] by E. Abreu, A. Espirito Santo, W. Lambert and J. Perez, published in Numer. Methods Partial Differential Equations 39 (2023) 2400-2443. That article builds its scheme on space-time control volumes whose lateral boundaries, called "no-flow curves", solve dsigma/dt = H(u)/u and are presented as new. We show, equation by equation, that this object is the space-time integral curve of the locally conservative Eulerian-Lagrangian method of Douglas, Pereira and Yeh [Comput. Geosci. 4 (2000) 1-40], that the no-flow region is the tube those curves bound, and that its scalar forward-tracked form appears in Mancuso, Pereira and de Souza [TEMA 8 (2007) 269-276, 277-286]. At issue is not moving a control volume, which is generic, but which curve moves it: H'(u) and H(u)/u coincide identically only for a linear flux, and only the latter makes lateral mass flux vanish. The commented article itself calls the 2000 paper the first to introduce space-time local conservation, with an integral tube bounded by integral curves, while its abstract calls the same object introduced by the authors. A full-text corpus documents the changing terminology and attribution. Papers published in 2025 and 2026 use the same construction while citing later work but not DPY. Another 2026 paper gives mixed attribution: it calls the no-flow curve an "extension" of the DPY integral curve, although its own zero-flux definition and ratio ODE show identity, and it states that diffusion and dispersion do not modify the defining vector field. It extends the model, scheme and analysis, not the continuous curve. The later discrete contributions are not challenged.

math.NA↗
arXiv2019

Adaptive Flux-Only Least-Squares Finite Element Methods for Linear Transport Equations

In this paper, two flux-only least-squares finite element methods (LSFEM) for the linear hyperbolic transport problem are developed. The transport equation often has discontinuous solutions and discontinuous inflow boundary conditions, but the normal component of the flux across the mesh interfaces is continuous. In traditional LSFEMs, the continuous finite element space is used to approximate the solution. This will cause unnecessary error around the discontinuity and serious overshooting. In arXiv:1807.01524 [math.NA], we reformulate the equation by introducing a new flux variable to separate the continuity requirements of the flux and the solution. Realizing that the Raviart-Thomas mixed element space has enough degrees of freedom to approximate both the flux and its divergence, we eliminate the solution from the system and get two flux-only formulations, and develop corresponding LSFEMs. The solution then is recovered by simple post-processing methods using its relation with the flux. These two versions of flux-only LSFEMs use less DOFs than the method we developed in arXiv:1807.01524 [math.NA]. Similar to the LSFEM developed in arXiv:1807.01524 [math.NA], both flux-only LSFEMs can handle discontinuous solutions better than the traditional continuous polynomial approximations. We show the existence, uniqueness, a priori and a posteriori error estimates of the proposed methods. With adaptive mesh refinements driven by the least-squares a posteriori error estimators, the solution can be accurately approximated even when the mesh is not aligned with discontinuity. The overshooting phenomenon is very mild if a piecewise constant reconstruction of the solution is used. Extensive numerical tests are done to show the effectiveness of the methods developed in the paper.

math.NA↗
arXiv2017

Unconditionally Positive and Conservative Third Order Modified Patankar-Runge-Kutta Discretizations of Production-Destruction Systems

Modified Patankar-Runge-Kutta (MPRK) schemes are numerical methods for the solution of positive and conservative production-destruction systems. They adapt explicit Runge-Kutta schemes to ensure positivity and conservation irrespective of the time step size. The first two members of this class were introduced in [Burchard et. al.: A high-order conservative Patankar-type discretisation for stiff systems of production-destruction equations. Appl. Numer. Math., 47(1):1-30, 2003] and have been successfully applied in a large number of applications. Recently, we introduced a general definition of MPRK schemes and presented a thorough investigation of first and second order MPRK schemes in [Kopecz. S, Meister, A.: On order conditions for modified patankar-runge-kutta schemes. arXiv:1702.04589 [math.NA], 2017.]. A potentially third order Patankar-type method was introduced in [Formaggia L., Scotti, A.: Positivity and conservation properties of some integration schemes for mass action kinetics. SIAM J. Numer. Anal., 49(3):1267-1288, 2011.]. This method uses the MPRK22(1) scheme of [Burchard et. al.: A high-order conservative Patankar-type discretisation for stiff systems of production-destruction equations. Appl. Numer. Math., 47(1):1-30, 2003] as a predictor and a modification of the BDF(3) multistep method as a corrector. This method is at most third order and at least second order accurate. In this paper we continue the work of [Kopecz. S, Meister, A.: On order conditions for modified patankar-runge-kutta schemes. arXiv:1702.04589 [math.NA], 2017.] and present necessary and sufficient conditions for third order MPRK schemes. For the first time, we introduce MPRK schemes, which are third order accurate independent of the specific positive and conservative system under consideration. The theoretical results are confirmed by numerical experiments.

math.NA↗
arXiv2024

A variant of the Raviart-Thomas method to handle smooth domains using straight-edged triangles. Part II -- Approximation results

In arXiv:2307.03503 [math.NA] we commenced to study a variant of the Raviart-Thomas mixed finite element method for triangles, to solve second order elliptic equations in a curved domain with Neumann or mixed boundary conditions. It is well known that in such a case the normal component of the flux variable should not take up values at nodes shifted to the boundary of the approximating polytope in the corresponding normal direction. This is because the method's accuracy downgrades, which was shown in previous work by the first author et al. An order-preserving technique was studied therein, based on a parametric version of these elements with curved simplexes. Our variant is an alternative to the approach advocated in those articles, allowing to achieve the same effect with straight-edged triangles. The key point of this method is a Petrov-Galerkin formulation of the mixed problem, in which the test-flux space is a little different from the shape-flux space. In this paper we first recall the description of this method, together with underlying uniform stability results given in arXiv:2307.03503 [math.NA]. Then we show that it gives rise to optimal-order interpolation in the space H(div). Accordingly a priori error estimates are obtained for the Poisson equation taken as a model.

math.NA↗
arXiv2006

On the global error committed when evaluating the Evans function numerically

The Evans function is a tool for assessing the stability of travelling wave solutions for partial differential equations. A recent paper (math.NA/0605581) analyzes the order reduction experienced when evaluating the Evans function numerically. The details of some lengthy calculations were excluded from that paper for clarity. The purpose of this technical report is to make these details publicly available. The report is not intended to be read on its own; the reader is referred to math.NA/0605581 for background and references.

math.NA↗
arXiv2022

Super-resolution of positive near-colliding point sources

In this paper, we analyze the capacity of super-resolution of one-dimensional positive sources. In particular, we consider the same setting as in [arXiv:1904.09186v2 [math.NA]] and generalize the results there to the case of super-resolving positive sources. To be more specific, we consider resolving $d$ positive point sources with $p \leqslant d$ nodes closely spaced and forming a cluster, while the rest of the nodes are well separated. Similarly to [arXiv:1904.09186v2 [math.NA]], our results show that when the noise level $ε\lesssim \mathrm{SRF}^{-2 p+1}$, where $\mathrm{SRF}=(ΩΔ)^{-1}$ with $Ω$ being the cutoff frequency and $Δ$ the minimal separation between the nodes, the minimax error rate for reconstructing the cluster nodes is of order $\frac{1}Ω \mathrm{SRF}^{2 p-2} ε$, while for recovering the corresponding amplitudes $\left\{a_j\right\}$ the rate is of order $\mathrm{SRF}^{2 p-1} ε$. For the non-cluster nodes, the corresponding minimax rates for the recovery of nodes and amplitudes are of order $\fracεΩ$ and $ε$, respectively. Our numerical experiments show that the Matrix Pencil method achieves the above optimal bounds when resolving the positive sources.

eess.IV↗
arXiv1992

Editors' remarks (on two complexity theory surveys in the Bulletin)

The authors discuss the role of controversy in mathematics as a preface to two opposing articles on computational complexity theory: "Some basic information on information-based complexity theory" by Beresford Parlett [math.NA/9201266] and "Perspectives on information-based complexity" by J. F. Traub and Henryk Woźniakowski [math.NA/9201269].

math.HO↗
arXiv2017

On the error control at numerical solution of reaction-difusion equations

We suggest guaranteed, robust a posteriori error bounds for approximate solutions of the reaction-diffusion equations, modeled by the equation $-Δu+σu= f$ in $Ω$ with any $σ={\mathrm{const}}\ge 0$. We also term our bounds consistent due to one specific property. It assumes that their orders of accuracy in respect to mesh size $h$ are the same with the respective not improvable in the order a priori bounds. Additionally, it assumes that the pointed out equality of the orders is provided by the testing flaxes not subjected to equilibration. For any $σ\in [0,σ_*]$, the rirght part of the new general bound of the paper contains, besides the usual diffusion term, the $L_2$ norm of the residual with the factor $1/\sqrt{σ_*}$, where $σ_*$ is some critical value. For solutions by the finite element method, it is estimated as $σ_*\ge ch^{-2},\,\,c={\mathrm{const}}$, if $\partial Ω$ is sufficiently smooth and the finite element space is of the 1$^{\mathrm{st}}$ order of accuracy at least. In general, at the derivation of a posteriori bounds, consistency is achieved by taking adequately into account the difference of the orders of the $L_2$ and $H^1$ error norms, that can be done in various ways with accordingly introduced $σ_*$. Two advantages of the obtained consistent a posteriori error bounds deserve attention. They are better accuracy and the possibility to avoid the use of the equilibration in the flax recovery procedures, that may greatly simplify these procedures and make them much more universal. The technique of obtaining the consistent a posteriori bounds was briefly exposed by the author in [arXiv:1702.00433v1 [math.NA], 1 Feb 2017] and [$Doklady Mathematics$, ${\mathbf{96}}$ (1), 2017, 380-383].

math.NA↗
arXiv2019

A Framework for Data-Driven Computational Dynamics Based on Nonlinear Optimization

In this article, we present an extension of the formulation recently developed by the authors (A Framework for Data-Driven Computational Mechanics Based on Nonlinear Optimization, arXiv:1910.12736 [math.NA]) to the structural dynamics setting. Inspired by a structure-preserving family of variational integrators, our new formulation relies on a discrete balance equation that establishes the dynamic equilibrium. From this point of departure, we first derive an "exact" discrete-continuous nonlinear optimization problem that works directly with data sets. We then develop this formulation further into an "approximate" nonlinear optimization problem that relies on a general constitutive model. This underlying model can be identified from a data set in an offline phase. To showcase the advantages of our framework, we specialize our methodology to the case of a geometrically exact beam formulation that makes use of all elements of our approach. We investigate three numerical examples of increasing difficulty that demonstrate the excellent computational behavior of the proposed framework and motivate future research in this direction.

math.NA↗
arXiv2021

Efficient space-time adaptivity for parabolic evolution equations using wavelets in time and finite elements in space

Considering the space-time adaptive method for parabolic evolution equations introduced in [arXiv:2101.03956 [math.NA]], this work discusses an implementation of the method in which every step is of linear complexity. Exploiting the product structure of the space-time cylinder, the method allows for a family of trial spaces given as the spans of wavelets-in-time tensorized with (locally refined) finite element spaces-in-space. On spaces whose bases are indexed by double-trees, we derive an algorithm that applies the resulting bilinear forms in linear complexity. We provide extensive numerical experiments to demonstrate the linear runtime of the resulting adaptive loop.

math.NA↗
arXiv2025

Numerical analysis of a first-order computational algorithm for reaction-diffusion equations via the primal-dual hybrid gradient method

In arXiv:2305.03945 [math.NA], a first-order optimization algorithm has been introduced to solve time-implicit schemes of reaction-diffusion equations. In this research, we conduct theoretical studies on this first-order algorithm equipped with a quadratic regularization term. We provide sufficient conditions under which the proposed algorithm and its time-continuous limit converge exponentially fast to a desired time-implicit numerical solution. We show both theoretically and numerically that the convergence rate is independent of the grid size, which makes our method suitable for large-scale problems. The efficiency of our algorithm has been verified via a series of numerical examples conducted on various types of reaction-diffusion equations. The choice of optimal hyperparameters as well as comparisons with some classical root-finding algorithms are also discussed in the numerical section.

math.NA↗
arXiv2026

Completely Positive and Trace Preserving Schemes with Tensor Train Compression for the Lindblad Equation

We propose a family of low-rank, completely positive and trace preserving schemes for the Lindblad equation, a common model for open quantum systems. Low-rank representation is employed at two levels: the density matrix is factorized into the product of tall-skinny matrices, and the columns of these matrices are further represented using the tensor train (TT) format, also know as matrix product states (MPS). This two-level low-rank format fits naturally into our existing Kraus is King scheme (arXiv:2409.08898v2 [math.NA]) for the Lindblad equation, whose underlying operations are arithmetic on the columns of the tall-skinny matrices. We show how these operations can be performed efficiently in the TT/MPS format, with particular emphasis on density matrix rank-truncation. We conclude with extensive numerical experiments demonstrating the convergence of this scheme and its efficiency in simulating systems with up to $10^{19}$ degrees of freedom using only modest compute resources.

math.NA↗
arXiv2001

Accuracy and convergence of the backward Monte-Carlo method

The recently introduced backward Monte-Carlo method [Johan Carlsson, arXiv:math.NA/0010118] is validated, benchmarked, and compared to the conventional, forward Monte-Carlo method by analyzing the error in the Monte-Carlo solutions to a simple model equation. In particular, it is shown how the backward method reduces the statistical error in the common case where the solution is of interest in only a small part of phase space. The forward method requires binning of particles, and linear interpolation between the bins introduces an additional error. Reducing this error by decreasing the bin size increases the statistical error. The backward method is not afflicted by this conflict. Finally, it is shown how the poor time convergence can be improved for the backward method by a minor modification of the Monte-Carlo equation of motion that governs the stochastic particle trajectories. This scheme does not work for the conventional, forward method.

math.NA↗
arXiv2004

Special moments

In this article, we show that a linear combination $X$ of $n$ independent, unbiased Bernoulli random variables $\{X_k\}$ can match the first $2n$ moments of a random variable $Y$ which is uniform on an interval. More generally, for each $p \ge 2$, each $X_k$ can be uniform on an arithmetic progression of length $p$. All values of $X$ lie in the range of $Y$, and their ordering as real numbers coincides with dictionary order on the vector $(X_1,...,X_n)$. The construction involves the roots of truncated $q$-exponential series. It applies to a construction in numerical cubature using error-correcting codes [arXiv:math.NA/0402047]. For example, when $n=2$ and $p=2$, the values of $X$ are the 4-point Chebyshev quadrature formula.

math.PR↗
arXiv2012

A characterization of Sobolev spaces on the sphere and an extension of Stolarsky's invariance principle to arbitrary smoothness

In this paper we study reproducing kernel Hilbert spaces of arbitrary smoothness on the sphere $\mathbb{S}^d \subset \mathbb{R}^{d+1}$. The reproducing kernel is given by an integral representation using the truncated power function $(\boldsymbol{x} \cdot \boldsymbol{z} - t)_+^{β-1}$ defined on spherical caps centered at $\boldsymbol{z}$ of height $t$, which reduce to an integral over indicator functions of spherical caps as studied in [J. Brauchart, J. Dick, arXiv:1101.4448v1 [math.NA], to appear in Proc. Amer. Math. Soc.] for $β= 1$. This is in analogy to the generalization of the reproducing kernel to arbitrary smoothness on the unit cube. We show that the reproducing kernel is a sum of a Kamp{é} de F{é}riet function and the Euclidean distance $\|\boldsymbol{x}-\boldsymbol{y}\|$ of the arguments of the kernel raised to the power of $2β-1$ if $2β- 1$ is not an even integer; otherwise the logarithm of the distance $\|\boldsymbol{x}-\boldsymbol{y}\|$ appears. For $β\in \mathbb{N}$ the Kampé de Fériet function reduces to a polynomial, giving a simple closed form expression for the reproducing kernel. Using this space we can generalize Stolarsky's invariance principle to arbitrary smoothness. Previously, Warnock's formula, which is the analogue to Stolarsky's invariance principle for the unit cube $[0,1]^s$, has been generalized using similar techniques [J. Dick, Ann. Mat. Pura. Appl., (4) 187 (2008), no. 3, 385--403].

math.NA↗
arXiv2013

Optimal randomized changing dimension algorithms for infinite-dimensional integration on function spaces with ANOVA-type decomposition

We study the numerical integration problem for functions with infinitely many variables. The function spaces of integrands we consider are weighted reproducing kernel Hilbert spaces with norms related to the ANOVA decomposition of the integrands. The weights model the relative importance of different groups of variables. We investigate randomized quadrature algorithms and measure their quality by estimating the randomized worst-case integration error. In particular, we provide lower error bounds for a very general class of randomized algorithms that includes non-linear and adaptive algorithms. Furthermore, we propose new randomized changing dimension algorithms and present favorable upper error bounds. For product weights and finite-intersection weights our lower and upper error bounds match and show that our changing dimension algorithms are optimal in the sense that they achieve convergence rates arbitrarily close to the best possible convergence rate. As more specific examples, we discuss unanchored Sobolev spaces of different degrees of smoothness and randomized changing dimension algorithms that use as building blocks scrambled polynomial lattice rules. Our analysis extends the analysis given in [J. Baldeaux, M. Gnewuch. Optimal randomized multilevel algorithms for infinite-dimensional integration on function spaces with ANOVA-type decomposition. arXiv:1209.0882v1 [math.NA], Preprint 2012]. In contrast to the previous article we now investigate a different cost model for algorithms. With respect to that cost model, randomized multilevel algorithms cannot, in general, achieve optimal convergence rates, but, as we prove for important classes of weights, changing dimension algorithms actually can.

math.NA↗
arXiv2020

An unfitted Eulerian finite element method for the time-dependent Stokes problem on moving domains

We analyse a Eulerian Finite Element method, combining a Eulerian time-stepping scheme applied to the time-dependent Stokes equations using the CutFEM approach with inf-sup stable Taylor-Hood elements for the spatial discretisation. This is based on the method introduced by Lehrenfeld \& Olshanskii [ESAIM: M2AN 53(2):585--614] in the context of a scalar convection-diffusion problems on moving domains, and extended to the non-stationary Stokes problem on moving domains by Burman, Frei \& Massing [arXiv:1910.03054 [math.NA]] using stabilised equal-order elements. The analysis includes the geometrical error made by integrating over approximated levelset domains in the discrete CutFEM setting. The method is implemented and the theoretical results are illustrated using numerical examples.

math.NA↗