Skip to main content
Erschienen in: Numerical Algorithms 4/2021

25.10.2020 | Original Paper

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

verfasst von: Iwona Skalna, Milan Hladík

Erschienen in: Numerical Algorithms | Ausgabe 4/2021

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

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 tight and cheap to compute; unfortunately, these two objectives are conflicting. 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, which is demonstrated by numerical examples. 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 existing methods. The applicability of the proposed approach to solving interval parametric linear systems is illustrated by several numerical examples.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Fußnoten
1
They usually have closed-form expressions.
 
2
The results on the complexity of various problems related to interval matrices and interval linear systems can be found, e.g., in [79]; since an interval matrix (interval linear system) can be treated as a special case of an interval parametric matrix (interval parametric linear system) with each parameter occurring only once, all these results are valid for interval parametric matrices and interval parametric linear systems, too.
 
3
To our best knowledge, both right and double preconditioning in this general form were not yet considered in the context of solving interval parametric linear systems.
 
4
In case of any questions regarding the source code, please contact skalna@agh.edu.pl.
 
Literatur
1.
Zurück zum Zitat Jaulin, L., Kieffer, M., Didrit, O., Walter, E ́.: Applied Interval Analysis. Springer, London (2001)CrossRef Jaulin, L., Kieffer, M., Didrit, O., Walter, E ́.: Applied Interval Analysis. Springer, London (2001)CrossRef
2.
Zurück zum Zitat Kearfott, R.B., Kreinovich, V. (eds.): Applications of Interval Computations. Kluwer, Dordrecht (1996) Kearfott, R.B., Kreinovich, V. (eds.): Applications of Interval Computations. Kluwer, Dordrecht (1996)
3.
Zurück zum Zitat Mayer, G.: Interval Analysis and Automatic Result Verification, Studies in Mathematics, vol. 65. De Gruyter, Berlin (2017)CrossRef Mayer, G.: Interval Analysis and Automatic Result Verification, Studies in Mathematics, vol. 65. De Gruyter, Berlin (2017)CrossRef
4.
Zurück zum Zitat Muhanna, R.L., Kreinovich, V., Šolín, P., Chessa, J., Araiza, R., Xiang, G.: Interval finite element methods: New directions. In: Muhanna, R.L., Mullen, R.L. (eds.) Proceedings of the NSF Workshop on Reliable Engineering Computing. pp. 229-243. Savannah, Georgia (2006) Muhanna, R.L., Kreinovich, V., Šolín, P., Chessa, J., Araiza, R., Xiang, G.: Interval finite element methods: New directions. In: Muhanna, R.L., Mullen, R.L. (eds.) Proceedings of the NSF Workshop on Reliable Engineering Computing. pp. 229-243. Savannah, Georgia (2006)
5.
Zurück zum Zitat Ratschek, H., Rokne, J.: Geometric Computations with Interval and New Robust Methods. Applications in Computer Graphics, GIS and Computational Geometry. Horwood Publishing, Chichester (2003)MATH Ratschek, H., Rokne, J.: Geometric Computations with Interval and New Robust Methods. Applications in Computer Graphics, GIS and Computational Geometry. Horwood Publishing, Chichester (2003)MATH
6.
Zurück zum Zitat Neumaier, A.: Interval Methods for Systems of Equations. Cambridge University Press, Cambridge (1990)MATH Neumaier, A.: Interval Methods for Systems of Equations. Cambridge University Press, Cambridge (1990)MATH
7.
Zurück zum Zitat Horáček, J., Hladík, M., Černý, M.: Interval linear algebra and computational complexity. In: Bebiano, N. (ed.) Applied and Computational Matrix Analysis, Springer Proceedings in Mathematics & Statistics, vol. 192, pp. 37–66. Springer (2017) Horáček, J., Hladík, M., Černý, M.: Interval linear algebra and computational complexity. In: Bebiano, N. (ed.) Applied and Computational Matrix Analysis, Springer Proceedings in Mathematics & Statistics, vol. 192, pp. 37–66. Springer (2017)
8.
Zurück zum Zitat Kreinovich, V., Lakeyev, A., Rohn, J., Kahl, P.: Computational Complexity and Feasibility of Data Processing and Interval Computations. Kluwer, Dordrecht (1998)CrossRef Kreinovich, V., Lakeyev, A., Rohn, J., Kahl, P.: Computational Complexity and Feasibility of Data Processing and Interval Computations. Kluwer, Dordrecht (1998)CrossRef
10.
Zurück zum Zitat Kolev, L.V.: Iterative algorithms for determining a p-solution of linear interval parametric systems. In: Advanced Aspects of Theoretical Electrical Engineering, 15.09.–16.09. pp 99-104. Sofia,Bulgaria (2016) Kolev, L.V.: Iterative algorithms for determining a p-solution of linear interval parametric systems. In: Advanced Aspects of Theoretical Electrical Engineering, 15.09.–16.09. pp 99-104. Sofia,Bulgaria (2016)
11.
Zurück zum Zitat Kolev, L.V.: Parameterized solution of linear interval parametric systems. Appl. Math. Comput. 246, 229–246 (2014)MathSciNetMATH Kolev, L.V.: Parameterized solution of linear interval parametric systems. Appl. Math. Comput. 246, 229–246 (2014)MathSciNetMATH
12.
Zurück zum Zitat Skalna, I.: Parametric interval algebraic systems. Springer, Cham (2018)CrossRef Skalna, I.: Parametric interval algebraic systems. Springer, Cham (2018)CrossRef
13.
Zurück zum Zitat Skalna, I., Hladík, M.: A new algorithm for Chebyshev minimum-error multiplication of reduced affine forms. Numer. Algoritm. 76 (4), 1131–1152 (2017)MathSciNetCrossRef Skalna, I., Hladík, M.: A new algorithm for Chebyshev minimum-error multiplication of reduced affine forms. Numer. Algoritm. 76 (4), 1131–1152 (2017)MathSciNetCrossRef
15.
Zurück zum Zitat Comba, J.L.D., Stolfi, J.: Affine arithmetic and its applications to computer graphics. In: Proceedings SIBGRAPI’93 VI Simpósio Brasileiro de Computaçaõ Gráfica e Processamento de Imagens (Recife BR), pp. 9–18 (1993) Comba, J.L.D., Stolfi, J.: Affine arithmetic and its applications to computer graphics. In: Proceedings SIBGRAPI’93 VI Simpósio Brasileiro de Computaçaõ Gráfica e Processamento de Imagens (Recife BR), pp. 9–18 (1993)
16.
Zurück zum Zitat Skalna, I., Hladík, M.: A new method for computing a p-solution to parametric interval linear systems with affine-linear and nonlinear dependencies. BIT Numer. Math. 57(4), 1109–1136 (2017)MathSciNetCrossRef Skalna, I., Hladík, M.: A new method for computing a p-solution to parametric interval linear systems with affine-linear and nonlinear dependencies. BIT Numer. Math. 57(4), 1109–1136 (2017)MathSciNetCrossRef
17.
Zurück zum Zitat Popova, E.D.: Strong regularity of parametric interval matrices. In: I.D., et al. (eds.) Mathematics and Education in Mathematics, Proceedings of the 33rd Spring Conference of the Union of Bulgarian Mathematicians. pp 446-451. Borovets, Bulgaria, BAS (2004) Popova, E.D.: Strong regularity of parametric interval matrices. In: I.D., et al. (eds.) Mathematics and Education in Mathematics, Proceedings of the 33rd Spring Conference of the Union of Bulgarian Mathematicians. pp 446-451. Borovets, Bulgaria, BAS (2004)
18.
Zurück zum Zitat Popova, E.D.: Enclosing the solution set of parametric interval matrix equation A(p)X = B(p). Numer. Algoritm. 78(2), 423–447 (2018)MathSciNetCrossRef Popova, E.D.: Enclosing the solution set of parametric interval matrix equation A(p)X = B(p). Numer. Algoritm. 78(2), 423–447 (2018)MathSciNetCrossRef
19.
Zurück zum Zitat Skalna, I.: Strong regularity of parametric interval matrices. Linear Multilinear Algebra 65(12), 2472–2482 (2017)MathSciNetCrossRef Skalna, I.: Strong regularity of parametric interval matrices. Linear Multilinear Algebra 65(12), 2472–2482 (2017)MathSciNetCrossRef
20.
Zurück zum Zitat Hladík, M.: Optimal Preconditioning for the Interval Parametric Gauss–Seidel Method. In: Nehmeier, M., et al. (eds.) Scientific Computing, Computer Arithmetic and Validated Numerics: 16Th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, LNCS, vol. 9553, pp. 116–125. Springer (2016) Hladík, M.: Optimal Preconditioning for the Interval Parametric Gauss–Seidel Method. In: Nehmeier, M., et al. (eds.) Scientific Computing, Computer Arithmetic and Validated Numerics: 16Th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, LNCS, vol. 9553, pp. 116–125. Springer (2016)
21.
Zurück zum Zitat Goldsztejn, A.: A right-preconditioning process for the formal-algebraic approach to inner and outer estimation of AE-solution sets. Reliab. Comput. 11 (6), 443–478 (2005)MathSciNetCrossRef Goldsztejn, A.: A right-preconditioning process for the formal-algebraic approach to inner and outer estimation of AE-solution sets. Reliab. Comput. 11 (6), 443–478 (2005)MathSciNetCrossRef
22.
23.
Zurück zum Zitat Popova, E.D.: Improved enclosure for some parametric solution sets with linear shape. Computers & Mathematics with Applications 68(9), 994–1005 (2014) Popova, E.D.: Improved enclosure for some parametric solution sets with linear shape. Computers & Mathematics with Applications 68(9), 994–1005 (2014)
24.
Zurück zum Zitat Popova, E.D., Hladík, M.: Outer enclosures to the parametric AE solution set. Soft. Comput. 17(8), 1403–1414 (2013)CrossRef Popova, E.D., Hladík, M.: Outer enclosures to the parametric AE solution set. Soft. Comput. 17(8), 1403–1414 (2013)CrossRef
25.
Zurück zum Zitat Hladík, M.: Enclosures for the solution set of parametric interval linear systems. Int. J. Appl. Math. Comput. Sci. 22(3), 561–574 (2012)MathSciNetCrossRef Hladík, M.: Enclosures for the solution set of parametric interval linear systems. Int. J. Appl. Math. Comput. Sci. 22(3), 561–574 (2012)MathSciNetCrossRef
26.
Zurück zum Zitat Alefeld, G., Kreinovich, V., Mayer, G.: On the solution sets of particular classes of linear interval systems. J. Comput. Appl. Math. 152(1-2), 1–15 (2003)MathSciNetCrossRef Alefeld, G., Kreinovich, V., Mayer, G.: On the solution sets of particular classes of linear interval systems. J. Comput. Appl. Math. 152(1-2), 1–15 (2003)MathSciNetCrossRef
27.
Zurück zum Zitat Hladík, M.: Description of symmetric and skew-symmetric solution set. SIAM J. Matrix Analy. Appl. 30(2), 509–521 (2008)MathSciNetCrossRef Hladík, M.: Description of symmetric and skew-symmetric solution set. SIAM J. Matrix Analy. Appl. 30(2), 509–521 (2008)MathSciNetCrossRef
28.
Zurück zum Zitat Hladík, M., Skalna, I.: Relations between various methods for solving linear interval and parametric equations. Linear Algebra Appl. 574, 1–21 (2019)MathSciNetCrossRef Hladík, M., Skalna, I.: Relations between various methods for solving linear interval and parametric equations. Linear Algebra Appl. 574, 1–21 (2019)MathSciNetCrossRef
29.
Zurück zum Zitat Skalna, I., Hladík, M.: Direct and iterative methods for interval parametric algebraic systems producing parametric solutions. Numer. Linear Algebr. Appl. 26(3), e2229:1–e2229:24 (2019)MathSciNetCrossRef Skalna, I., Hladík, M.: Direct and iterative methods for interval parametric algebraic systems producing parametric solutions. Numer. Linear Algebr. Appl. 26(3), e2229:1–e2229:24 (2019)MathSciNetCrossRef
30.
Zurück zum Zitat Okumura, K.: An application of interval operations to electric network analysis. Bull. Japan Soc. Ind. Appl. Math. 2, 115–127 (1993) Okumura, K.: An application of interval operations to electric network analysis. Bull. Japan Soc. Ind. Appl. Math. 2, 115–127 (1993)
31.
Zurück zum Zitat Kolev, L.: Interval methods for circuit analysis. World Scientific, Singapore (1993)CrossRef Kolev, L.: Interval methods for circuit analysis. World Scientific, Singapore (1993)CrossRef
32.
Zurück zum Zitat Kolev, L.: Worst-case tolerance analysis of linear DC and AC electric circuits. IEEE Trans. Circ. Sys. I Fundam. Theory Appl. 49(12), 1–9 (2002)MathSciNetMATH Kolev, L.: Worst-case tolerance analysis of linear DC and AC electric circuits. IEEE Trans. Circ. Sys. I Fundam. Theory Appl. 49(12), 1–9 (2002)MathSciNetMATH
33.
Zurück zum Zitat Zimmer, M., Krämer, W., Popova, E.D.: Solvers for the verified solution of parametric linear systems. Computing 94(2), 109–123 (2012)MathSciNetCrossRef Zimmer, M., Krämer, W., Popova, E.D.: Solvers for the verified solution of parametric linear systems. Computing 94(2), 109–123 (2012)MathSciNetCrossRef
34.
Zurück zum Zitat Popova, E.D., Kolev, L., Krämer, W.: A solver for complex-valued parametric linear systems. Serdica Journal of Computing 4(1), 123–132 (2010) Popova, E.D., Kolev, L., Krämer, W.: A solver for complex-valued parametric linear systems. Serdica Journal of Computing 4(1), 123–132 (2010)
35.
Zurück zum Zitat Hladík, M.: Solution sets of complex linear interval systems of equations. Reliab. Comput. 14, 78–87 (2010)MathSciNet Hladík, M.: Solution sets of complex linear interval systems of equations. Reliab. Comput. 14, 78–87 (2010)MathSciNet
36.
Zurück zum Zitat Corliss, G., Foley, C., Kearfott, R.B.: Formulation for reliable analysis of structural frames. Reliab. Comput. 13(2), 125–147 (2007)CrossRef Corliss, G., Foley, C., Kearfott, R.B.: Formulation for reliable analysis of structural frames. Reliab. Comput. 13(2), 125–147 (2007)CrossRef
37.
Zurück zum Zitat Popova, E.D.: Solving linear systems whose input data are rational functions of interval parameters. In: Boyanov, T., Dimova, S., Georgiev, K., Nikolov, G. (eds.) Numerical Methods and Applications: 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006. Revised Papers, LNCS, vol. 4310, pp. 345–352. Springer, Berlin (2007) Popova, E.D.: Solving linear systems whose input data are rational functions of interval parameters. In: Boyanov, T., Dimova, S., Georgiev, K., Nikolov, G. (eds.) Numerical Methods and Applications: 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006. Revised Papers, LNCS, vol. 4310, pp. 345–352. Springer, Berlin (2007)
Metadaten
Titel
On preconditioning and solving an extended class of interval parametric linear systems
verfasst von
Iwona Skalna
Milan Hladík
Publikationsdatum
25.10.2020
Verlag
Springer US
Erschienen in
Numerical Algorithms / Ausgabe 4/2021
Print ISSN: 1017-1398
Elektronische ISSN: 1572-9265
DOI
https://doi.org/10.1007/s11075-020-01018-0

Weitere Artikel der Ausgabe 4/2021

Numerical Algorithms 4/2021 Zur Ausgabe

Premium Partner