English
Related papers

Related papers: Formalization of Asymptotic Convergence for Statio…

200 papers

The asymptotic iteration method (AIM) is an iterative technique used to find exact and approximate solutions to second-order linear differential equations. In this work, we employed AIM to solve systems of two first-order linear…

Mathematical Physics · Physics 2009-01-15 Katherine M. Robertson , Nasser Saad

The main goal of this paper is to generalize Jacobi and Gauss-Seidel methods for solving non-square linear system. Towards this goal, we present iterative procedures to obtain an approximate solution for non-square linear system. We derive…

Numerical Analysis · Mathematics 2017-06-26 Manideepa Saha

It is well known that as a famous type of iterative methods in numerical linear algebra, Gauss-Seidel iterative methods are convergent for linear systems with strictly or irreducibly diagonally dominant matrices, invertible $H-$matrices…

Numerical Analysis · Mathematics 2014-10-14 Cheng-yi Zhang , Dan Ye , Cong-lei Zhong , Shuanghua Luo

Recently Ahmadi et al. (2021) and Tagliaferro (2022) proposed some iterative methods for the numerical solution of linear systems which, under the classical hypothesis of strict diagonal dominance, typically converge faster than the Jacobi…

Numerical Analysis · Mathematics 2024-04-11 Paolo Novati , Fulvio Tagliaferro , Marino Zennaro

We present a class of new explicit and stable numerical algorithms to solve the spatially discretized linear heat or diffusion equation. After discretizing the space and the time variables like conventional finite difference methods, we do…

Numerical Analysis · Mathematics 2021-04-27 Endre Kovács

In earlier work we have studied a method for discretization in time of a parabolic problem which consists in representing the exact solution as an integral in the complex plane and then applying a quadrature formula to this integral. In…

Numerical Analysis · Mathematics 2016-02-02 William McLean , Vidar Thomée

This paper is devoted to studying the global and finite convergence of the semi-smooth Newton method for solving a piecewise linear system that arises in cone-constrained quadratic programming problems and absolute value equations. We first…

Optimization and Control · Mathematics 2023-01-24 Nicolas F. Armijo , Yunier Bello-Cruz , Gabriel Haeser

Context. The numerical modeling of the generation and transfer of polarized radiation is a key task in solar and stellar physics research and has led to a relevant class of discrete problems that can be reframed as linear systems. In order…

Solar and Stellar Astrophysics · Physics 2021-12-08 Gioele Janett , Pietro Benedusi , Luca Belluzzi , Rolf Krause

Popular finite difference numerical schemes for the resolution of the one-dimensional acoustic wave equation are well-known to be convergent. We present a comprehensive formalization of the simplest one and formally prove its convergence in…

Logic in Computer Science · Computer Science 2011-11-15 Sylvie Boldo , François Clément , Jean-Christophe Filliâtre , Micaela Mayero , Guillaume Melquiond , Pierre Weis

Popular finite difference numerical schemes for the resolution of the one-dimensional acoustic wave equation are well-known to be convergent. We present a comprehensive formalization of the simplest one and formally prove its convergence in…

Logic in Computer Science · Computer Science 2011-11-10 Sylvie Boldo , François Clément , Jean-Christophe Filliâtre , Micaela Mayero , Guillaume Melquiond , Pierre Weis

Solving a set of simultaneous linear equations is probably the most important topic in numerical methods. For solving linear equations, iterative methods are preferred over the direct methods especially when the coefficient matrix is…

Neural and Evolutionary Computing · Computer Science 2013-04-09 R. M. Jalal Uddin Jamali , M. M. A. Hashem , M. Mahfuz Hasan , Md. Bazlar Rahman

This paper investigates numerical methods for solving coupled system of nonlinear elliptic problems. We utilize block monotone iterative methods based on Jacobi and Gauss--Seidel methods to solve difference schemes which approximate the…

Numerical Analysis · Mathematics 2018-05-09 Mohamed Al-Sultani

In our recent work on iterative computation in hardware, we showed that arbitrary-precision solvers can perform more favorably than their traditional arithmetic equivalents when the latter's precisions are either under- or over-budgeted for…

Numerical Analysis · Mathematics 2020-10-20 He Li , Ian McInerney , James J. Davis , George A. Constantinides

This paper deals with investigating numerical methods for solving coupled system of nonlinear parabolic problems. We utilize block monotone iterative methods based on Jacobi and Gauss--Seidel methods to solve difference schemes which…

Numerical Analysis · Mathematics 2019-05-10 Mohamed Al-Sultani

Linear stationary reaction-convection-diffusion equations with Dirichlet boundary conditions are approximated using a simple finite difference method corresponding to central differences and the addition of a high-order stabilization term…

Numerical Analysis · Mathematics 2025-02-07 T. Lewis , X. Xue

Mathematical models for flow and reactive transport in porous media often involve non-linear, degenerate parabolic equations. Their solutions have low regularity, and therefore lower order schemes are used for the numerical approximation.…

Numerical Analysis · Mathematics 2021-05-24 Jakub W. Both , Kundan Kumar , Jan M. Nordbotten , Iuliu Sorin Pop , Florin A. Radu

We develop a novel, fundamental and surprisingly simple randomized iterative method for solving consistent linear systems. Our method has six different but equivalent interpretations: sketch-and-project, constrain-and-approximate, random…

Numerical Analysis · Mathematics 2016-01-07 Robert M. Gower , Peter Richtárik

Force-based multiphysics coupling methods have become popular since they provide a simple and efficient coupling mechanism, avoiding the difficulties in formulating and implementing a consistent coupling energy. They are also the only known…

Numerical Analysis · Mathematics 2011-04-12 Mitchell Luskin , Christoph Ortner

This paper proposes a novel iterative algorithm to compute the stabilizing solution of regime-switching stochastic game-theoretic Riccati differential equations with periodic coefficients. The method decomposes the original complex…

Numerical Analysis · Mathematics 2025-11-11 Yiyuan Wang

In contrast to the prevailing view in the literature, it is shown that even extremely stiff sets of ordinary differential equations may be solved efficiently by explicit methods if limiting algebraic solutions are used to stabilize the…

Solar and Stellar Astrophysics · Physics 2016-08-01 Mike Guidry
‹ Prev 1 2 3 10 Next ›