行列解析(ぎょうれつかいせき、)は線型代数学の分科であり、行列の数学的構造と解析的性質に焦点を当てて、ベクトルノルムや行列ノルムなどを導入して、連立方程式・固有値問題・行列値関数・行列の分解などに関する理解を深めることを目的としている。これにより、数値線形代数などのより深い議論につながる山本哲朗. (2010). 行列解析の基礎–Advanced 線形代数, SGC ライブラリ 79. サイエンス社.山本哲朗. (2013). 行列解析ノート: 珠玉の定理と精選問題. サイエンス社.日合文雄:「行列解析とその応用」、サイエンス社(SGCライブラリ200)、ISBN 978-4-7819-1637-8 (2025年5月25日)。Horn, R. A., & Johnson, C. R. (2012). Matrix analysis. :en:Cambridge university press.Bellman, R. (1997). Introduction to matrix analysis. SIAM.Meyer, C. D. (2000). Matrix analysis and applied linear algebra. SIAM.Bhatia, R. (2013). Matrix analysis. :en:Springer Science & Business Media.Applied Linear Algebra and Matrix Analysis, Thomas S. Shores, Undergraduate Texts in Mathematics (2018). Springer International Publishing.。
主題 行列解析では主に以下のテーマが扱われる。 行列における関数解析学(関数解析的方法による行列論) 行列の成分・絶対値・ノルムに関する不等式またはそれに類する関係 行列の固有値変動、摂動問題 行列の算術平均・幾何平均・算術幾何平均Kittaneh, F. (1992). A note on the arithmetic-geometric-mean inequality for matrices. :en:Linear Algebra and its Applications, 171, 1-8.Bhatia, R., & Kittaneh, F. (2000). Notes on matrix arithmetic–geometric mean inequalities. :en:Linear Algebra and Its Applications, 308(1-3), 203-211.Bhatia, R., & Davis, C. (1993). More matrix forms of the arithmetic-geometric mean inequality. :en:SIAM Journal on Matrix Analysis and Applications, 14(1), 132-136.Cardoso, J. R., & Ralha, R. (2016). Matrix arithmetic-geometric mean and the computation of the logarithm. :en:SIAM Journal on Matrix Analysis and Applications, 37(2), 719-743.
意義
関数解析(特に作用素論)では、無限次元のヒルベルト空間やバナッハ空間上の作用素が研究対象なので、有限次元の場合は自明だと思うかもしれないがそうではない。なぜならば作用素論における困難さは無限次元性だけではなく非可換性から来ることもあるからである(実際、作用素論の話題は行列に制限しても難易度が変わらないということが少なからずあるSimon, B. (2015). Operator theory. American Mathematical Society.Alpay, D., Cipriani, F., Colombo, F., Guido, D., Sabadini, I., & Sauvageot, J. L. (2016). Noncommutative analysis, operator theory and applications. Springer International Publishing.Yoshino, Takashi (1993). Introduction to Operator Theory. Chapman and Hall/CRC. ISBN 978-0582237438.)。そして行列は非可換性を持つ作用素の代表例である。行列解析は非可換性による困難さを克服しようとしている。
代表的な成果 Andoによる行列版ヤングの不等式Ando, T. (1995). Matrix young inequalities. In Operator theory in function spaces and Banach lattices (pp. 33-38). Birkhäuser Basel. Lidskiiの定理Lewis, A. S. (2000). Lidskii's theorem via nonsmooth analysis. :en:SIAM Journal on Matrix Analysis and Applications, 21(2), 379-381. 作用素凸関数に関するLownerの理論 Hansen-Pedersenの方法F. Hansen, G.K. Pedersen, Jensen’s inequality for operators and Loewner’s theorem, Math. Ann. 258 (1982) 229–241.F. Hansen, G.K. Pedersen, Jensen’s operator inequality, Bull. London Math. Soc. 35 (2003) 553–564.
関連する論文誌 :en:SIAM Journal on Matrix Analysis and Applications(SIAMより発行される) :en:Linear Algebra and its Applications Linear and Multilinear Algebra The Electronic Journal of Linear Algebra(International Linear Algebra Societyより発行される)
出典
参考文献 R. Bhatia, Perturbation Bounds for Matrix Eigenvalues, Pitman Res. Notes in Math. Ser. 162, Longman, 1987. 朝倉数学大系 7, 境界値問題と行列解析 (2014). 山本哲朗, 朝倉書店.
外部リンク 日合文雄、「書評」 『数学』 1999年 51巻 4号 p.429-440, , 日本数学会