矩阵方程AX+XB=C对称解的可信算法  

Verified Algorithm for a Symmetric Solution of Matrix Equation AX+XB=C

作　　者：刘畔畔[1] 李梓毓 李庆春[1] 桑海风[1] 崔莹[1] 

机构地区：[1]北华大学数学与统计学院,吉林吉林132013 [2]上海海事大学经济管理学院,上海201306

出　　处：《北华大学学报（自然科学版）》2016年第3期301-304,共4页Journal of Beihua University（Natural Science）

基　　金：国家自然科学基金项目(11171133);吉林省教育厅科学技术研究项目(2015131;2015156)

摘　　要：利用区间运算的相关理论,给出了计算矩阵方程AX+XB=C近似对称解及其可信误差界的算法,由此算法得到的误差界范围内必定存在一个精确对称解.Using the interval arithmetic theory,an algorithm for computing an approximate symmetric solution and its verified error bound of matrix equation AX＋XB=C is presented,and there must be an exact solution in the error bounds obtained by this algorithm.

关 键 词：可信误差界 区间运算 Sylvester矩阵方程 对称解 

分 类 号：O242.29[理学—计算数学]