超定线性系统最小二乘解的可信验证
The Verification of the Least Square Solution of an Overdetermined Linear System
摘要: 给定一个系数矩阵为病态矩阵的超定线性系统,本文利用区间算法和增广矩阵技术,设计算法输出给定超定线性系统的微小摄动区间系统,算法保证在输出的区间系统中存在系数阵精确秩亏的超定线性系统,算法输出该系数阵精确秩亏的超定线性系统的最小二乘解的高精度近似解和其相应的可信误差界。
Abstract: Given an overdetermined linear system with ill-conditioned coefficient matrix, this paper mainly uses interval algorithm and augmented matrix technology to design an algorithm to output a minimally perturbed interval system for the given overdetermined linear system. The algorithm guarantees that there is an overdetermined linear system with a coefficient matrix of exactly rank deficiency in the output interval system. The algorithm also outputs the high-precision approximate solution of the least square solution of the overdetermined linear system and corresponding verified error bound.
文章引用:于茜, 李喆. 超定线性系统最小二乘解的可信验证[J]. 应用数学进展, 2021, 10(5): 1598-1606. https://doi.org/10.12677/AAM.2021.105169

参考文献

[1] Levitan, M.L. and Lynn, R.Y.S. (1976) An Overdetermined Linear System. Journal of Approximation Theory, 18, 264-277. [Google Scholar] [CrossRef
[2] Barroda, I. and Roberts, F.D.K. (1974) Solution of an Overdetermined System of Equations in the l1 Norm [F4]. Communications of the ACM, 17, 319. [Google Scholar] [CrossRef
[3] Cadzow, J.A. (2002) Minimum ℓ1, ℓ2, and ℓ∞ Norm Approximate Solutions to an Overdetermined System of Linear Equations. Digital Signal Processing, 12, 524-560. [Google Scholar] [CrossRef
[4] Demmel, J., Hida, Y., Riedy, E.J., et al. (2009) Extra-Precise Iterative Refinement for Overdetermined Least Squares Problems. ACM Transactions on Mathematical Software, 35, 1-32. [Google Scholar] [CrossRef
[5] Novoselac, V. and Pavic, Z. (2019) Optimal Solution Properties of an Overdetermined System of Linear Equations. European Journal of Pure and Applied Mathematics, 12, 1360-1370. [Google Scholar] [CrossRef
[6] Popa, C. (1995) Least-Squares Solution of Overdetermined Inconsistent Linear Systems Using Kaczmarz’s Relaxation. International Journal of Computer Mathematics, 55, 79-89. [Google Scholar] [CrossRef
[7] Dai, L. and Pelckmans, K. (2014) Sparse Estimation from Noisy Observations of an Overdetermined Linear System. Automatica, 50, 2845-2851. [Google Scholar] [CrossRef
[8] Zhang, Z., Zheng, L., Qiu, T., et al. (2020) Varying-Parameter Convergent-Differential Neural Solution to Time-Varying Overdetermined System of Linear Equations. IEEE Transactions on Automatic Control, 65, 874-881. [Google Scholar] [CrossRef
[9] Rump, S.M. (2012) Verified Bounds for Least Squares Problems and Underdetermined Linear Systems. SIAM Journal on Matrix Analysis & Applications, 33, 130-148. [Google Scholar] [CrossRef
[10] Miyajima, S. (2014) Componentwise Enclosure for Solutions of Least Squares Problems and Underdetermined Systems. Linear Algebra & Its Applications, 444, 28-41. [Google Scholar] [CrossRef
[11] Rump, S.M. (2014) Improved Componentwise Verified Error Bounds for Least Squares Problems and Underdetermined Linear Systems. Numerical Algorithms, 66, 309-322. [Google Scholar] [CrossRef
[12] Miyajima, S. (2015) Fast Enclosure for the Minimum Norm Least Squares Solution of the Matrix Equation AXB = C. Numerical Linear Algebra with Applications, 22, 548-563. [Google Scholar] [CrossRef