Search

In this paper we analyze the stability of the problem of performing a rational QZ step with a shift that is an eigenvalue of a given regular pencil H - λ K in unreduced Hessenberg–Hessenberg form. In exact arithmetic, the backward rational QZ step moves the eigenvalue to the top of the pencil, while the rest of the pencil is maintained in Hessenberg–Hessenberg form, which then yields a deflation of the given shift. But in finite-precision the rational QZ step gets "blurred" and precludes the deflation of the given shift at the top of the pencil. In this paper we show that when we first compute the corresponding eigenvector to sufficient accuracy, then the rational QZ step can be constructed using this eigenvector, so that the exact deflation is also obtained in finite-precision. [ABSTRACT FROM AUTHOR]

In this paper, we survey selected software packages for the numerical solution of boundary value ODEs (BVODEs), time-dependent PDEs in one spatial dimension (1DPDEs), and initial value ODEs (IVODEs). A unifying theme of this paper is our focus on software packages for these problem classes that compute error-controlled, continuous numerical solutions. A continuous numerical solution can be accessed by the user at any point in the domain. We focus on error-control software; this means that the software adapts the computation until it obtains a continuous approximate solution with a corresponding error estimate that satisfies the user tolerance. The second section of the paper will provide an overview of recent work on the development of COLNEWSC, an updated version of the widely used collocation BVODE solver, COLNEW, that returns an error-controlled continuous approximate solution based on the use of a superconvergent interpolant to the underlying collocation solution. The third section of the paper gives a brief review of recent work on the development of a new 1DPDE solver, BACOLIKR, that provides time- and space-dependent event detection for an error-controlled continuous numerical solution. In the fourth section of the paper, we briefly review the state of the art in IVODE software for the computation of error-controlled continuous numerical solutions. [ABSTRACT FROM AUTHOR]

Modeling complex systems that consist of different types of objects leads to multilayer networks, in which vertices are connected by both inter-layer and intra-layer edges. In this paper, we investigate multiplex networks, in which vertices in different layers are identified with each other, and the only inter-layer edges are those that connect a vertex with its copy in other layers. Let the third-order adjacency tensor A ∈ R N × N × L and the parameter γ ≥ 0 , which is associated with the ease of communication between layers, represent a multiplex network with N vertices and L layers. To measure the ease of communication in a multiplex network, we focus on the average inverse geodesic length, which we refer to as the multiplex global efficiency e A (γ) by means of the multiplex path length matrix P ∈ R N × N . This paper generalizes the approach proposed in [15] for single-layer networks. We describe an algorithm based on min-plus matrix multiplication to construct P, as well as variants P K that only take into account multiplex paths made up of at most K intra-layer edges. These matrices are applied to detect redundant edges and to determine non-decreasing lower bounds e A K (γ) for e A (γ) , for K = 1 , 2 , ⋯ , N - 2 . Finally, the sensitivity of e A K (γ) to changes of the entries of the adjacency tensor A is investigated to determine edges that should be strengthened to enhance the multiplex global efficiency the most. [ABSTRACT FROM AUTHOR]

In this paper, we intend to utilize the generalized scalar auxiliary variable (GSAV) approach proposed in recent paper (Ju et al., SIAM J. Numer. Anal., 60 (2022), 1905–1931) for the nonlocal coupled sine-Gordon equation to construct a class of fully decoupled, linear, and second-order accurate energy-preserving scheme. The unconditional unique solvability and discrete energy conservation law of the proposed scheme are rigorously discussed, and the unconditional convergence is then proved by the mathematical induction. Particularly, the convergence analysis covers the proposed scheme in multiple dimensions due to the corresponding nonlinear terms satisfy the global Lipschitz continuity straightforwardly. Finally, time evolution of dynamical behavior of the governing equation with different nonlocal parameters are observed, and ample numerical comparisons demonstrate that the proposed scheme manifests high efficiency in long-time computations. [ABSTRACT FROM AUTHOR]

In this paper, we deal with the global approximation of solutions of stochastic differential equations (SDEs) driven by countably dimensional Wiener process. Under certain regularity conditions imposed on the coefficients, we show lower bounds for exact asymptotic error behaviour. For that reason, we analyse separately two classes of admissible algorithms: based on equidistant, and possibly not equidistant meshes. Our results indicate that in both cases, decrease of any method error requires significant increase of the cost term, which is illustrated by the product of cost and error diverging to infinity. This is, however, not visible in the finite-dimensional case. In addition, we propose an implementable, path-independent Euler algorithm with adaptive step-size control, which is asymptotically optimal among algorithms using specified truncation levels of the underlying Wiener process. Our theoretical findings are supported by numerical simulation in Python language. [ABSTRACT FROM AUTHOR]

This paper studies a stabilized virtual element method for the unsteady Navier-Stokes problems on polygonal meshes. Using "equal-order" virtual elements in space and the Crank-Nicolson scheme in time, we give a fully discrete formula. By introducing the local-projection type stabilizations, the method can not only circumvent the discrete inf-sup condition but also control spurious oscillations caused by high Reynolds numbers. Stability and error estimates for velocity and pressure are analyzed. Particularly, error estimates are derived in which the constants are independent of the negative powers of the viscosity. Several numerical experiments are simulated to support the theoretical results. [ABSTRACT FROM AUTHOR]

This paper presents three tensor randomized extended Kaczmarz methods for solving a tensor inconsistent linear system of equations under the t-product between tensors. The randomized extended Kaczmarz, the randomized extended block Kaczmarz, and the randomized extended greedy block Kaczmarz methods in tensor form are proposed to solve inconsistent tensor linear system of equations, respectively. The convergence of each method is proved. Several numerical examples are given to show the efficiency and effectiveness of our methods. [ABSTRACT FROM AUTHOR]

Solving large-scale systems of nonlinear equations (SoNE) is a central task in mathematics that traverses different areas of applications. There are several derivative-free methods for finding SoNE solutions. However, most of the methods contributed to find SoNE solutions involve a monotone cost function. Methods dealing with pseudomonotone cost function remain rare. In this paper, we introduce two classes of derivative-free spectral three-term methods to solve large-scale continuous pseudomonotone SoNE. We combine the projection method of Solodov and Svaiter with the structure of the recently developed spectral three-term conjugate gradient method for unconstrained optimization by Amini and Faramarzi. We prove that the proposed methods possess sufficient descent property, trust region property, and global convergence without relying on Lipschitz continuity. Numerical experiments show that the proposed methods are efficient and competitive with existing methods. Finally, the proposed methods have been successfully applied to recover a sparse signal from incomplete and contaminated sampling measurements, yielding promising results. [ABSTRACT FROM AUTHOR]

In this paper, we consider solutions for discrete systems arising from multi-term time-fractional diffusion equations. Using discrete sine transform techniques, we find that all-at-once systems of such equations have a structure similar to that of diagonal-plus-Toeplitz matrices. We establish a generalized circulant approximate inverse preconditioner for the all-at-once systems. Through a detailed analysis of the preconditioned matrices, we show that the spectrum of the obtained preconditioned matrices is clustered around one. We give some numerical examples to demonstrate the effectiveness of the proposed preconditioner. [ABSTRACT FROM AUTHOR]

Applying parallel-in-time algorithms to multiscale Hamiltonian systems to obtain stable long-time simulations is very challenging. In this paper, we present novel data-driven methods aimed at improving the standard parareal algorithm developed by Lions et al. in 2001, for multiscale Hamiltonian systems. The first method involves constructing a correction operator to improve a given inaccurate coarse solver through solving a Procrustes problem using data collected online along parareal trajectories. The second method involves constructing an efficient, high-fidelity solver by a neural network trained with offline generated data. For the second method, we address the issues of effective data generation and proper loss function design based on the Hamiltonian function. We show proof-of-concept by applying the proposed methods to a Fermi-Pasta-Ulam (FPU) problem. The numerical results demonstrate that the Procrustes parareal method is able to produce solutions that are more stable in energy compared to the standard parareal. The neural network solver can achieve comparable or better runtime performance compared to numerical solvers of similar accuracy. When combined with the standard parareal algorithm, the improved neural network solutions are slightly more stable in energy than the improved numerical coarse solutions. [ABSTRACT FROM AUTHOR]

This paper proposes a framework for constructing high-order linearly implicit exponential integrators that conserve a quadratic invariant. This is then applied to the scalar auxiliary variable (SAV) approach. Quadratic invariants are significant objects that are present in various physical equations and also in computationally efficient conservative schemes for general invariants. For instance, the SAV approach converts the invariant into a quadratic form by introducing scalar auxiliary variables, which have been intensively studied in recent years. In this vein, Sato et al. (Appl. Numer. Math. 187, 71-88 2023) proposed high-order linearly implicit schemes that conserve a quadratic invariant. In this study, it is shown that their method can be effectively merged with the Lawson transformation, a technique commonly utilized in the construction of exponential integrators. It is also demonstrated that combining the constructed exponential integrators and the SAV approach yields schemes that are computationally less expensive. Specifically, the main part of the computational cost is the product of several matrix exponentials and vectors, which are parallelizable. Moreover, we conduct some mathematical analyses on the proposed schemes. [ABSTRACT FROM AUTHOR]

This article presents the discovery of an explicit 16-stage Runge–Kutta method that numerically satisfies the Runge–Kutta order conditions (in Butcher form) to 10th order, conjecturally improving the best-known number of stages in an explicit 10th-order Runge–Kutta method from 17 to 16. Unlike the vast majority of published Runge–Kutta methods, the method presented in this paper was not constructed via symbolic analysis or the use of simplifying assumptions, but instead by directly applying numerical optimization and root-finding algorithms to the order conditions. A naïve implementation of these algorithms would be made computationally infeasible by the considerable size and complex structure of the Butcher equations. However, we present a collection of software optimizations that greatly accelerate the evaluation of the Butcher equations and their derivatives while mitigating the effects of destructive cancellation, pushing these techniques within the realm of feasibility. While we do not have a formal proof of order, we present the results of numerical experiments to demonstrate that our method satisfies the Butcher equations to an accuracy of over 3000 decimal digits. [ABSTRACT FROM AUTHOR]

In this paper, we introduce a new method based on a library of chemical reactions for constructing a system of ordinary differential equations from stochastic simulations arising from an agent-based model. The advantage of this approach is that this library respects any coupling between systems components, whereas the SINDy algorithm (introduced by Brunton et al.) treats the individual components as decoupled from one another. Another advantage of our approach is that we can use a non-negative least squares algorithm to find the non-negative rate constants in a very robust, stable and simple manner. We illustrate our ideas on an agent-based model of tumour growth on a 2D lattice. [ABSTRACT FROM AUTHOR]

In this paper, we introduce a new framework for deriving partitioned implicit-exponential integrators for stiff systems of ordinary differential equations and construct several time integrators of this type. The new approach is suited for solving systems of equations where the forcing term is comprised of several additive nonlinear terms. We analyze the stability, convergence, and efficiency of the new integrators and compare their performance with existing schemes for such systems using several numerical examples. We also propose a novel approach to visualizing the linear stability of the partitioned schemes, which provides a more intuitive way to understand and compare the stability properties of various schemes. Our new integrators are A-stable, second-order methods that require only one call to the linear system solver and one exponential-like matrix function evaluation per time step. [ABSTRACT FROM AUTHOR]

Considering validated Runge-Kutta schemes requires the computation of local truncation error. Computation of such error is expensive in term of complexity, thus few techniques have been proposed to compute or at least estimate it. For example, Runge-Kutta pairs provide an error estimation by computing the difference of two schemes of different orders while sharing the same stages. With the goal of proposing a validated scheme, an approximation is not sufficient, but could be helpful after some adjustments. In this paper, we compute a new pair and show its performance on a non-trivial problem. Two new techniques for the local truncation error computation are then presented: a symbolic based approach dedicated to a specific problem and a preliminary study of pair's approximation. [ABSTRACT FROM AUTHOR]

This paper is concerned with a class of singularly perturbed semilinear parabolic convection-diffusion initial-boundary-value problems exhibiting a boundary layer. This type of model problem often appears in modeling various physical phenomena, particularly, in mathematical biology; and thus, it requires effective numerical techniques for analyzing them computationally. For this purpose, we approximate the considered nonlinear problem by developing two efficient fitted mesh methods followed by the extrapolation technique. The first one is the fully implicit fitted mesh method which utilizes the implicit-Euler method for the temporal discretization; and the other one is the implicit-explicit (IMEX) fitted mesh method which utilizes the IMEX-Euler method for the temporal discretization. The spatial discretization for both the numerical methods is based on a new hybrid finite difference scheme. To accomplish this, the spatial domain is discretized by an appropriate layer-adapted mesh and the time domain by an equidistant mesh. At first, we analyze stability and study the asymptotic behavior of the analytical solution of the governing nonlinear problem. Then, we perform stability analysis and establish the parameter-uniform convergence of both the newly proposed methods in the discrete supremum norm. Thereafter, we analyze the Richardson extrapolation technique solely for the time variable to improve the order of convergence in the temporal direction. Hereby, we provide a comparative error analysis to achieve parameter-robust higher-order numerical approximations (concerning both space and time) for the considered nonlinear problem utilizing two new algorithms on a nonuniform grid. The theoretical outcomes are finally supported by the extensive numerical experiments, which also include comparison of the proposed numerical methods along with the fully-implicit upwind method in terms of the order of accuracy and the computational cost. [ABSTRACT FROM AUTHOR]

The purpose of this paper is to develop and analyze an adaptive collocation method for Fredholm integral equations of the second kind, even if the equation exhibits localized rapid variations, steep gradients, or steep front. The strategy of the adaptive procedure is to transform the given equation into an equivalent one with a sufficiently smooth behavior in order to ensure the convergence of the Legendre spectral collocation method without dividing the domain of the integral equation, as usual, into the sub intervals. Existence and uniqueness of solutions are discussed. Convergence rates and error estimates are given for the numerical scheme in both L ∞ -norm and L 2 -norm. Finally, several numerical examples are provided to show that the proposed method is preferable to its classical predecessor and some other existing approaches. [ABSTRACT FROM AUTHOR]

This paper investigates the space-time residual-based a posteriori error bounds of the mixed finite element method for the optimal control problem governed by the parabolic equation in a bounded convex domain. For the spatial discretization of the state and co-state variables, the lowest-order Raviart-Thomas spaces are utilized, although for the control variable, variational discretization technique is used. The backward-Euler implicit method is applied for temporal discretization. To provide a posteriori error estimates for the state and control variables in the L ∞ (L 2) -norm, an elliptic reconstruction approach paired with an energy strategy is utilized. The reliability and efficiency of the a posteriori error estimators are discussed. The effectiveness of the estimators is finally confirmed through the numerical tests. [ABSTRACT FROM AUTHOR]

This paper considers the iterative solution of finite element discretizations of second-order elliptic boundary value problems. Mesh independent estimations are given for the rate of superlinear convergence of preconditioned Krylov methods, involving the connection between the convergence rate and the Lebesgue exponent of the data. Numerical examples demonstrate the theoretical results. [ABSTRACT FROM AUTHOR]

Formerly the geometry was based on shapes, but since the last centuries this founding mathematical science deals with transformations, projections, and mappings. Projective geometry identifies a line with a single point, like the perspective on the horizon line and, due to this fact, it requires a restructuring of the real mathematical and numerical analysis. In particular, the problem of interpolating data must be refocused. In this paper, we define a linear structure along with a metric on a projective space, and prove that the space thus constructed is complete. Then, we consider an iterated function system giving rise to a fractal interpolation function of a set of data. [ABSTRACT FROM AUTHOR]

In this paper, we focus on solving the generalized absolute value equations (GAVE). We present a new method named as modulus-based block triangular splitting iteration (MBTS) method based on the block matrix structure resulting from the transformation of the GAVE into two equations. This method is developed by decomposing the matrix into diagonal and triangular matrices, as well as applying a series of suitable combination and modification techniques. The advantage of the MBTS method is that it is not necessary to solve the inverse of the coefficient matrix of the linear equation system during each iteration, which greatly improves the computational speed and reduces its storage requirements. In addition, we present some convergent theorems proving by different techniques and the estimate of the required number of iteration steps. Furthermore, in the accompanying corollaries, we provide some estimations for choosing appropriate parameter values. Finally, we validated the effectiveness and efficiency of our newly developed method through two numerical examples of the GAVE. [ABSTRACT FROM AUTHOR]