On preconditioning and solving an extended class of interval parametric linear systems

We deal with interval parametric systems of linear equations and the goal is to solve such systems, which basically comes down to finding an enclosure for a parametric solution set. Obviously we want this enclosure to be as tight as possible. The review of the available literature shows that in order to make a system more tractable most of the solution methods use left preconditioning of the system by the midpoint inverse. Surprisingly, and in contrast to standard interval linear systems, our investigations have shown that double preconditioning can be more efficient than a single one, both in terms of checking the regularity of the system matrix and enclosing the solution set. Consequently, right (which was hitherto mentioned in the context of checking regularity of interval parametric matrices) and double preconditioning together with the p-solution concept enable us to solve a larger class of interval parametric linear systems than most of existing methods. The applicability of the proposed approach to solving interval parametric linear systems is illustrated by several numerical examples.

[1]  Lubomir V. Kolev,et al.  Interval Methods for Circuit Analysis , 1993, Advanced Series in Circuits and Systems.

[2]  Milan Hladík,et al.  A new algorithm for Chebyshev minimum-error multiplication of reduced affine forms , 2017, Numerical Algorithms.

[3]  A. Neumaier Overestimation in linear interval equations , 1987 .

[4]  Milan Hladík,et al.  Enclosures for the solution set of parametric interval linear systems , 2012, Int. J. Appl. Math. Comput. Sci..

[5]  Jon G. Rokne,et al.  Geometric Computations with Interval and New Robust Methods: Applications in Computer Graphics, GIS and Computational Geometry , 2003 .

[6]  Iwona Skalna Strong regularity of parametric interval matrices , 2017 .

[7]  Milan Hladík Description of Symmetric and Skew-Symmetric Solution Set , 2008, SIAM J. Matrix Anal. Appl..

[8]  Evgenija D. Popova Solving Linear Systems Whose Input Data Are Rational Functions of Interval Parameters , 2006, Numerical Methods and Applications.

[9]  Lubomir V. Kolev Parameterized solution of linear interval parametric systems , 2014, Appl. Math. Comput..

[10]  I. Skalna Parametric Interval Algebraic Systems , 2018 .

[11]  V. Kreinovich,et al.  On the solution sets of particular classes of linear interval systems , 2003 .

[12]  Milan Hladík,et al.  Interval Linear Algebra and Computational Complexity , 2015, ArXiv.

[13]  G. Mayer Interval Analysis: And Automatic Result Verification , 2017 .

[14]  J. Stolfi,et al.  Aane Arithmetic and Its Applications to Computer Graphics , 1990 .

[15]  V. Kreinovich Computational Complexity and Feasibility of Data Processing and Interval Computations , 1997 .

[16]  Alexandre Goldsztejn A Right-Preconditioning Process for the Formal–Algebraic Approach to Inner and Outer Estimation of AE-Solution Sets , 2005, Reliab. Comput..

[17]  R. B. Kearfott,et al.  Applications of interval computations , 1996 .

[18]  Milan Hladík,et al.  Outer enclosures to the parametric AE solution set , 2013, Soft Comput..

[19]  Lubomir V. Kolev Worst-case tolerance analysis of linear DC and AC electric circuits , 2002 .

[20]  Milan Hladík,et al.  Direct and iterative methods for interval parametric algebraic systems producing parametric solutions , 2019, Numer. Linear Algebra Appl..

[21]  A. Neumaier Interval methods for systems of equations , 1990 .

[22]  Luc Jaulin,et al.  Applied Interval Analysis , 2001, Springer London.

[23]  Milan Hladík Solution Sets of Complex Linear Interval Systems of Equations , 2010, Reliab. Comput..

[24]  Boi Faltings,et al.  Combining multiple inclusion representations in numerical constraint propagation , 2004, 16th IEEE International Conference on Tools with Artificial Intelligence.

[25]  M. Hladík,et al.  Relations between various methods for solving linear interval and parametric equations , 2019, Linear Algebra and its Applications.

[26]  Milan Hladík Optimal Preconditioning for the Interval Parametric Gauss-Seidel Method , 2014, SCAN.

[27]  Vladik Kreinovich,et al.  Interval Finite Element Methods: New Directions , 2006 .

[28]  Walter Krämer,et al.  A Solver for Complex-Valued Parametric Linear Systems , 2010 .

[29]  Michael Zimmer,et al.  Solvers for the verified solution of parametric linear systems , 2011, Computing.

[30]  George F. Corliss,et al.  Formulation for Reliable Analysis of Structural Frames , 2007, Reliab. Comput..

[31]  Evgenija D. Popova Enclosing the solution set of parametric interval matrix equation A(p)X = B(p) , 2017, Numerical Algorithms.

[32]  Evgenija D. Popova,et al.  Improved enclosure for some parametric solution sets with linear shape , 2014, Comput. Math. Appl..

[33]  M. Hladík,et al.  A new method for computing a p-solution to parametric interval linear systems with affine-linear and nonlinear dependencies , 2017 .