Linear algebraic systems involving linear dependencies between interval valued parameters and the so-called united parametric solution set of such systems are considered. The focus is on systems, such that the vertices of their interval hull solution are attained at particular endpoints of some or all parameter intervals. An essential part of finding this endpoint dependence is an initial determination of the parameters which influence the components of the solution set, and of the corresponding kind of monotonicity. In this work, we review a variety of interval approaches for the initial monotonicity proof and compare them with respect to both computational complexity and monotonicity proving efficiency. Some quantitative measures are proposed for the latter. We present a novel methodology for the initial monotonicity proof, which is highly efficient from a computational point of view, and which is also very efficient to prove the monotonicity, for a wide class of interval linear systems involving parameters with rank 1 dependency structure. The newly proposed method is illustrated on some numerical examples and compared with other approaches.
This is a preview of subscription content, access via your institution.
Buy single article
Instant access to the full article PDF.
Tax calculation will be finalised during checkout.
Subscribe to journal
Immediate online access to all issues from 2019. Subscription will auto renew annually.
Tax calculation will be finalised during checkout.
An interval a = [a−,a+] is degenerate if a− = a+.
True rank 1 parameters are defined in .
Ganesan, A., Ross, S., Ross Barmish, R.: An extreme point result for convexity, concavity and monotonicity of parametrized linear equation solutions. LAA 390, 61–73 (2004). https://doi.org/10.1016/j.laa.2004.04.031
Dreyer, A.: Interval analysis of analog circuits with component tolerances. PhD thesis. Kaiserslautern Univ. of Technology, Kaiserslautern (2005)
Kolev, L.: Worst-case tolerance analysis of linear DC and AC electric circuits. IEEE Trans. Circuits Syst. I: Fundam. Theory Appl. 49(12), 1693–1701 (2002)
Kolev, L.: Componentwise determination of the interval hull solution for linear interval parameter systems. Reliab. Comput. 20, 1–24 (2014)
Kolev, L.: Parametrized solution of linear interval parametric systems. Appl. Math. Comput. 246, 229–246 (2014). https://doi.org/10.1016/j.amc.2014.08.037
Kolev, L.: A direct method for determining a p-solution of linear parametric systems. J. Appl. Computat. Math. 5, 1–5 (2016). https://doi.org/10.4172/2168-9679.1000294
Muhanna, R. L.: Benchmarks for interval finite element computations, Center for reliable engineering computing, Georgia Tech, USA. http://rec.ce.gatech.edu/resources/Benchmark_2.pdf, (accessed 12 November 2018) (2004)
Neumaier, A., Pownuk, A.: Linear systems with large uncertainties, with applications to truss structures. Rel. Comput. 13, 149–172 (2007). https://doi.org/10.1007/s11155-006-9026-1
Piziak, R., Odell, P. L.: Full rank factorization of matrices. Math. Mag. 72, 193–201 (1999)
Popova, E. D.: Computer-assisted proofs in solving linear parametric problems. In: Proceedings of 12th GAMM-IMACS international symposium on scientific computing, computer arithmetic and validated numerics (SCAN 2006). IEEE Computer Society Press, pp. 35. https://doi.org/10.1109/SCAN.2006.12 (2007)
Popova, E. D.: Improved enclosure for some parametric solution sets with linear shape. Comput. Math. Appl. 68, 994–1005 (2014). https://doi.org/10.1016/j.camwa.2014.04.005
Popova, E. D.: Enclosing the solution set of parametric interval matrix equation A(p)X = B(p). Numer. Algorithms 78, 423–447 (2018). https://doi.org/10.1007/s11075-017-0382-1
Popova, E. D.: Rank one interval enclosure of the parametric united solution set. BIT Numer. Math. 59 (2), 503–521 (2019). https://doi.org/10.1007/s10543-018-0739-4
Popova, E. D.: New parameterized solution with application to bounding secondary variables in FE models of structures. Appl. Math. Comput. 378, 125205 (2020). https://doi.org/10.1016/j.amc.2020.125205
Popova, E.D.: On a class of parameterized solutions to interval parametric linear systems. arXiv:1906.00613. to appear in C. R. Acad. Bulg. Sci. (2019)
Popova, E. D., Krämer, W.: Visualizing parametric solution sets. BIT Numer. Math. 48(1), 95–115 (2008). https://doi.org/10.1007/s10543-007-0159-3
Rama Rao, M. V., Mullen, R. L., Muhanna, R. L.: A new interval finite element formulation with the same accuracy in primary and derived variables. Int. J. Reliab. Safety 5, 336–357 (2011). https://doi.org/10.1504/IJRS.2011.041184
Rohn, J.: Linear interval equations with dependent coefficients. Symposium “Interval Methods for Numerical Computations”, Oberwolfach, 1990. In: Rohn. J. (ed.) A method for handling dependent data in interval linear systems. Technical Report No. 911, Institute of Computer Science. https://asepactivenode.lib.cas.cz/arl-cav/en/contapp/?repo=crepo1&key=20925094170 (Accessed February 13, 2019). Academy of Science of the Czech Republic, Prague (2004)
Rohn, J.: Explicit inverse of an interval matrix with unit midpoint. Electron. J. Linear Algebra 22, 138–150 (2011). https://doi.org/10.13001/1081-3810.1430
Rohn, J., Kreinovich, V.: Computing exact componentwise bounds on solutions of linear systems with interval data is NP-hard. SIAM J. Matrix Anal. Appl. 16(2), 415–420 (1995)
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)
Skalna, I., Hladík, M.: Enhancing monotonicity checking in parametric interval linear systems. In: Martel, M. et al. (eds.) Trusted Numerical Computations (TNC’18), Kalpa Publications in Computing, vol. 8, pp. 70–83. https://doi.org/10.29007/1vkp (2018)
Woodbury, M. A.: Inverting modified matrices memorandum report 42. Statistical research group. Princeton University, Princeton (1950)
The author thanks the anonymous reviewers for their thorough reviews and the numerous remarks which helped improving the readability of the paper.
This work is supported by the Grant No BG05M2OP001-1.001-0003, financed by the Bulgarian Operational Programme “Science and Education for Smart Growth” (2014-2020) and co-financed by the European Union through the European structural and investment funds.
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
About this article
Cite this article
Popova, E.D. Proving endpoint dependence in solving interval parametric linear systems. Numer Algor 86, 1339–1358 (2021). https://doi.org/10.1007/s11075-020-00936-3
- Interval linear systems
- Data dependencies
- Interval hull solution
- Parameterized solution