整体最小二乘和KKT系统
详细信息    本馆镜像全文|  推荐本文 |  |   获取CNKI官网全文
摘要
这篇学位论文有两部分内容。首先,我们介绍第一个工作,TLS问题可解性研究。1980年Golub和Van Loan提出TLS问题,并且给出了了求解TLS问题的第一个数值稳定的算法。Van Huffel和Vandewalle的著作总结了直到1991年取得的重要理论结果和数值方法。书中有个基本观点特别提及:那里用LS,那里就用TLS;在一些典型应用中,用TLS比用LS可以使参数估计精度平均提高10-15在1980年,Golub和Van Loan提出TLS问题时,他们同时也给出了在Frobenius范数下可解性的一个充分条件,但是没有讨论充分必要条件以及其它范数的情形,这导致了一定的局限性,为研究数值算法和其他形式的TLS问题带来了一定的束缚。后继的相关的TLS问题的研究往往均以此作为基础来进行。在可解性方面的工作,需要提到的是刘新国和黄开斌的工作,前者给出了在Frobenius范数下TLS问题可解的充分必要条件;而后者与颜世健给出了在谱范数下可解的充分必要条件。本论文的第一个工作是在充分了解一般酉不变范数的性质的前提下给出了了TLS问题在一般的酉不变范数下可解的充分必要条件,从而在更大范围中解决了可解性问题。在文中,对于一般酉不变范数,我们给出了它的一种分类方法,从而能够更加充分地认识一般地酉不变范数。顺便的,我们还讨论了LS和TLS的相关地几何问题。解决的过程和充分必要条件的结论能够提高我们对TLS问题本质的认识,从而为算法的改进和其它相关的TLS问题的研究提供理论上的帮助。下面我们介绍第二部分的工作,即KKT系统的研究。Stokes问题的混合有限元方法离散导出了KKT系统,由于Stokes方程是流体力学的基本方程,因而其研究成果在物理海洋科学中有广泛的应用背景。在数值代数中,向后误差和条件数是两个基本概念。前者刻画了算法的稳定性,后者则反映解关于数据扰动的敏感性。二者相结合,按照Higham的观点,在一阶近似下,有计算解的误差(近似小于等于)条件数向后误差。对于结构问题,发展保结构算法有两方面的考虑。其一,数学结构一般是物理机制的反映,数学上保结构等同于遵从物理要求;其二,充分地利用结构有可能使求解效率更高。对应于保结构算法,相应地有结构敏度分析。即,对于保结构算法的计算结果分析,相应的有计算解的误差(近似小于等于)结构条件数结构向后误差。本文主要研究了KKT系统的结构条件数,而且对于一类特殊的KKT系统,研究了它的结构敏度方面的问题。Higham和Higham 1992年定义了结构条件数和结构向后误差,并对一些重要的线性结构研究了结构向后误差。Rump于2004年对一些重要而常见的结构系统比较了条件数与结构条件数。然而,Higham和Rump没有讨论KKT系统,他们讨论的主要是单结构系统。我们对KKT系统的条件数与结构条件数做了定量和定性两方面的比较,我们对Rump的研究结构条件数的几乎所有工具都应用在KKT系统上,比较了它们的优点和不足,得不到满意的结论。我们采取的主要研究思路是引入子条件数,建立Byers型不等式,改进Rump的技术,写出KKT矩阵的逆矩阵形式,然后进行比较。首先利用单参数展开方法建立了Byers型不等式,然后讨论结构条件数与条件数的定性比较。结果表明,在极端情形,条件数与结构条件数之比可以任意大。对于一般的线性结构,我们还给出了求逆结构条件数和到结构不可逆阵的距离之间的关系。从计算流体力学角度看,KKT系统中右上角矩阵M一般是半正定的,有时直接给出的是它的因子F,所以我们研究F。对于这一类的KKT系统,定义了偏条件数,给出了最优向后误差的分析,相应的结构条件数和一些扰动界。
This thesis consists of two parts. First, TLS problem is studied. Golub and Van Loan first put forward TLS problem in 1980 and gave a numerical value stable algorithm firstly. Van Huffel and Vandewalle wrote a book which summarized almost all important theory results and numerical methods up to 1991. A basic viewpoint is noticed: where uses LS, there may use TLS. In some applications, it improves 10-15Golub and Van Loan gave a sufficient condition of solvability on Frobenius norm in 1980 when they put forward the problem of TLS, in which they did not consider the solvability condition of sufficient-necessary and the other norms resulted in bondage in investigation of the numerical value algorithm and theory analysis. Later researches are always based on this sufficient condition. Liu and Huang have to pointted out when solvability is considered. The former solved the solvability on Frobenius norm completely which the latter and Yan solved the solvability on 2-norm. This thesis give the sufficient and necessary condition on general unitarily invariant norms, which is need to realize the character of general unitarily invariant norms sufficiently. A classification can be given for all unitarily invariant norms which makes it more clear on dealing with the problem about unitarily invariant norms. The process and the result can improve the essential realization on TLS problem, so the corresponding algorithm and theory can get help from this. The second part of this thesis is KKT system. Such systems arise in several applications including mixed and hybrid finite element methods for Stokes and Maxwell equations and methods for quadratic programming. The corresponding results have wide application in physics ocean as the Stokes equation is a basic equation in hydromechanics. The backward errors and condition number are the two basic concepts on numerical algebra. The former depicts the stable of algorithm, and the latter reflects the sensitivity of data. The following equation is cited by Higham Errors of computer solution (less than equal to approximately) condition number backwards errors. For structured problem, extending structure-preserving-algorithm is used in the following aspects: first, the mathematic structure always reflect the need of physics, second, it makes the efficiency of algorithm be higher. There is structured sensitivity analysis corresponding to the structure-preserving-algorithm. The corre- sponding formula is Errors of computer solution (less than equal to approximately) structured condition number structured backward errors. This article researches the structured condition number on KKT system, for a special KKT system, the structured sensitivity is also considered. This thesis studies the condition number of linear systems, the condition number of matrix inversion, all problems with respect to normwise structured perturbations. It shows that for a given linear structured matrix the worst case structured condition number of matrix inversion is equal to the worst case distance to the structured nearest singular matrix. It extends some results of condition number of KKT structured, makes improvement technique of Rump. Especially it uses single parameter unfolded method and partial condition number to deal with the structured condition number and gives the ratio of the condition number with respect to structured and unstructured perturbations. From aspect of hydrodynamics, the top right corner of KKT matrix M is often semi-positive, sometimes, the factor F is given directly. This article deals with the sensitivity analysis for this subclass of KKT systems. Optimal backward perturbation analysis is investigated. The partial condition numbers are defined and explicit formulae are derived. Finally, some new perturbation bounds are proved.
引文
[1]袁亚湘,孙文瑜,最优化理论与方法,北京:科学出版社,1997.
    [2]鄢社锋,马远良,二阶锥规划方法对于时空域滤波器的优化设计与验证,中国科学E,36:2(2006),153-171.
    [3]D.L.T.Anderson,et al,Data assimilation in Ocean models,Rep.Prog.Phys.,59(1996),1209-1266.
    [4]Bjorck A,Numerical Methods for Least Problems.Philadelphia:SIAM,1996.
    [5]M.S.Loba et al,Applications of second-order cone programming,Lin.Alg.Appl.,284(1998),193-228.
    [6]I.M.Navon,Practical and theoretical aspects of adjoint parameter estimation and identifiability in meteorology and Oceanography,Dynamics of Atmospheres and Oceans,27(1997),55-79.
    [7]Yu.Nesterov and A.Nemirovsky,Interior-point polynomial methods in vonvex programming,Studies in Applied Mathematies,Vol.13,SIAM,Philadelphia,1994.
    [8]Y.Saad,Numerical Methods for Large Eigenvalue Problems,Manchester University Press,UK,1992.
    [9]黄开斌,颜世振多重整体谱范数最小摄动问题的可解性,计算数学2(1997),185-192.
    [10]刘新国,关于TLS问题的可解性,计算数学,14:2(1992),140-146.
    [11]刘新国,关于整体最小二乘问题的可解性和扰动分析,应用数学学报,19:2(1996),254-262.
    [12]孙继广,矩阵扰动分析,北京:科学出版社,第二版.2001.
    [13]魏木生,广义最小二乘问题的理论和计算,北京:科学出版社,2006.
    [14]T.J.Abatzoglou,J.M.Mendel and G.A.Harada,The constrained total least squares technique and its applications to harmonic supperesolution,IEEE Trans.Signal Process.,39(1991),1070-1087
    [15]Amir Beck and A.Ben-Tal,A global solution for the structured total least squares problem with block circulant matrices,SIAM,J.Matrix Anal.Appl 27.1(2005),238-255.
    [16]J.Demmel,Applied Numerical Algebra,SIAM Philadelphia,1998.
    [17]G.H.Golub and C.F.Van Loan,An analysis of the total least squares,SIAM J.Numer.Anal.17(1980),883-893.
    [18]G.H.Golub and P.C.Hanse and D.P.O′Leary,Tikhonov Regularzation and Total Least Squares,SIAM,J.Matrix Anal.Appl 21.1(1999),185-194.
    [19]G.H.Golub,A.Hoffman and G.W.Stewart,A generalization of the Eckhart-Young -Mirsky matrix approximation theorem,Lin.Alg.Appl.,88/89(1987),317-327.
    [20]H.Guo and R.A.Renaut,A regularized total least squares algorithm,in Yotal Least Squares and Errors-in-Variables Modeling:Analysis,Algorithms and Applications,S.Van Huffel and P.Lemmerling,eds.,Kluwer Academic Publishers,Dordreeht,The Nethelands,2002,57-66.
    [21]D.J.Higham and N.J.Higham,Backward error and condition of structured Linear systems,SIAM J.Matrix Anal.Appl.,13(1992),162-175.
    [22]R.A.Horn,N.H.Rhee,W.So,eigenvalue inequalities and equalities,Linear Algebra Appl.270(1998),29-44.
    [23]R.A.Horn and R.Mathias,Cauehy-Sehwartz inequalities associated with positive semidefinite matrices,Linear Algebra Appl.142(1990),63-82.
    {24]S.Van Huffel and J.Vandewalle,The least square problem:Computational aspects and analysis,Frontiers in Appl.math.,SIAM Philadelphia,1991.
    [25]S.Van Huffel,ED.,Recent Advances in Total Least Squares Techniques and Errors-in-Variables Modeling,SIAM,Philadelphia,1997.
    [26]S.Van Huffel and P.Lemmerling,EDS.,Total Least Squares and Errors-in-Variables Modeling:Analysis,Algorithms and Applications,Kluxer Academic,Dordreeht,The Netherlands,2002.
    [27]S.Van Huffel and J.Vandewalle,Algebraic relationships between classical regression and total least squares estimation,Nurner.Mathematik,55(1989),431-449.
    [28]S.Van Huffel and J.Vandewalle,Algebraic connections between the least squares and total least squares estimation,1986,150-161.
    [29]S.Van Huffel and Zha H.Restricted total least squares problem:formulation,algorithm,and properties.SIAM J.Matrix Anal.Appl.,12(1991),292-309.
    [30]A.Kukush and S.Van Huffel,Consistency of elementwise-weighted total least squares estimator in a multivariate errors-in-variables model AX=B,Metrika 59(2004),no.1,75-97.
    [31]P.Lemmerling and S.Van Huffel,Analysis of the structured total least squares problem for Hankel/Toeplitz matrices,Numer.Algorithms,27(2001),89-114.
    [32]C.K.Li,Some aspects of the theory of norms,Linear Algebra Appl.212/213(1994),71-100.
    [33]Ivan Markovsky,S.Van Huffel and A.Kukush,On the computation of the multivariate structured total least squares estimator, Numer. Linear Algebra Appl., 11(2004), 591-608.
    [34] Ivan Markovsky, S. Van Huffel and R. Pintelon, Block-Toeplitz/Hankel structured total least squares, Tech. Rep. 03-135, Department of Electrical Engineering, K. U. Leuven, Belgium, 2003.
    [35] Ivan Markovsky, S. Van Huffel and R. Pintelon, Software for structured total least squares estimation: User's Guide, Tech. Rep. 03-136, Department of Electrical Engineering, K. U. Leuven, Belgium, 2003.
    [36] Ivan Markovsky, S. Van Huffel and R. Pintelon, Block-Toeplitz/Hankel structured total least squares, SIAM, J.Matrix Anal. Appl 26.4(2005), 1083-1099.
    [37] N. Mastronardi, P. Lemmerling and S. Van Huffel, Fast structured total least squares algorithm for solving the basic deconvolution problem, SIAM, J.Matrix Anal. Appl 22(2000), 533-553.
    [38] L. Mirsky, Symmetric gauge functions and unitarily invariant norms, Quart. J. Math. Oxford 11 (1960), 50-59.
    [39] B. DE. MOOR, Structured total least squares and L_2 approximation problems, Linear Algebra Appl., 188/189(1993), 163-207.
    [40] B. DE. MOOR, Total least squares for affmely structured matrices and the noisy realization problem, IEEE Trans. Signal Process., 42(1994), 3104-3113
    [41] C.C.Paige and Z.Strakos, Bouds for the least squares distance using scaled total least squares, Numerische Mathematik 91(2002), 93-115.
    [42] C.C.Paige and Z.Strakos, Scaled total squares fundamentals, Numerische Mathematik 91(2002), 117-146.
    [43] R.A.Renaut and H.Guo, Efficient Algorithms for Solution of Regularized Total Least Squares, SIAM, J.Matrix Anal. Appl 26.2(2005), 457-476.
    [44] J. B. Rosen, H.Park and J. Glick, Total least norm formulation and solution for structured problems, SIAM J. Matrix Anal. Appl., 17(1996), 110-126.
    [45] Sima, Van Huffel and Golub, Regularized Total Least Squares Based on Quadratic Eigenvalue Problem Solvers, Tecn. Report SCCM-03-03, SCCM, Stanford University,Stanford, CA, 2003.
    [46] Sun Ji-guang, backward perturbation analysis o f certain Characteristic sub-spaces, Numer. Math., 65(1993), 357-382.
    [47] M.-S. Wei, The analysis for the total least squares problem with more than one solution, SIAM J. Matrix Anal. Appl. 2 (1992), 746-763.
    [48] M.-S. Wei, Algebraic relations between the total least squares and least squares problem with more than one solution, Numer. Math. 62 (1992), 132-148.
    [49]R.C.Thornpson,Principal submatrices Ⅸ:Interlacing inequalities for singular values of submatrices,Linear Algebra Appl.5(1972),1-12.
    [50]P.Arbenz and Z.Drmac,On positive semidefinite matrices with known null space,SIAM J.Matrix Anal.Appl,24:1(2002),132-149.
    [51]P.Arbenz and R.Geus,A comparison of solvers for large eigenvalue problems originating from Maxwell's equations,Numer.Linear Alg.Appl,6(1999),3-16.
    [52]F.Brezzi and M.Fortin,Mixed and Hybrid Finite Element Methods,Springer Ser.Comput.Math.15,Springer-Verlag,New York,1991.
    [53]P.E.Gill,W.Murray,and M.H.Wright,Practical Optimization,Academic Press,New York,1981.
    [54]M.Gulliksson,X.Q.Jin,and Y.M.Wei,Perturbation bounds for constrained and weighted least squares problems,Lin.Alg.Appl,349(2002),221-232.
    [55]F.J.Hall,Generalized inverse of a bordered matrix of operators,SIAM J.Appl.Math.,29:1(1975),152-163.
    [56]J.R.Rice,A theory of eondition,SIAM J.Numer Anal.3(1966),87-310.
    [57]J-G.Sun,Structured backward errors for KKT systems,Lin.Alg.Appl.,288(1999),75-88
    [58]G.Strang,A framework for equilibrium equations,SIAM Rev,30(1998),283-297.
    [59]P.Wedin,Perturbation Theory and Condition Numbers for Generalized and Constrained Linear Least Squares Problems,Technical Report UMINF 125.85,Institute of Information Pressing,University of Umea,Sweden,1985.
    [60]J.H.Wilkinson,The Algebraic Eigenvalue Problem,Clarendon Press,Oxford,England,1965.
    [61]M.Arioli,The use of QR factorization in sparse quadratic programming and backward error issues,SIAM J.Matrix Anal.Appl,21:3(2001),825-839
    [62]A.Bjorck,Numerical Methods for Least Squares Problems,SIAM,Philadelphia,1996
    [63]L.Elden,Perturbation theory for the least squares problem with linear equality constraints,SIAM.J.Numer.Anal.17(1980),338-350
    [64]M.Gulliksson,X.Q.Jin,and Y.M.Wei,Perturbation bounds for constrained and weighted least squares problems,Lin.Alg.Appl,349(2002),221-232
    [65]D.J.Higham and N.J.Higham,backward error and condition of structured linear systems,SIAM J.Matrix Anal.Appl,13:1(1992),162-175
    [66] J.R.Rice, A theory of condition, SIAM J.Numer.Anal.,3(1966), 287-310
    [67] S.M.Rump, Structured perturbations, Pare I: normwise distances; Part Ⅱ: Componentwise distances, SIAM J. Matrix Anal. Appl., 25:1(2004), 1-30, 31-56
    [68] J.G.Sun, Structured backward errors for KKT systems, Lin.Alg.Appl., 288(1999), 75-88

© 2004-2018 中国地质图书馆版权所有 京ICP备05064691号 京公网安备11010802017129号

地址:北京市海淀区学院路29号 邮编:100083

电话:办公室:(+86 10)66554848;文献借阅、咨询服务、科技查新:66554700