Pure Mathematics
Vol.
14
No.
02
(
2024
), Article ID:
81729
,
5
pages
10.12677/PM.2024.142061
实数不等式在矩阵论中的推广
任欢欢
广东工业大学数学与统计学院,广东 广州
收稿日期:2024年1月14日;录用日期:2024年1月30日;发布日期:2024年2月29日
摘要
通过实数不等式,将其推广到矩阵领域,借助酉不变范数对其进一步推广。
关键词
实数,不等式,Frobenius范数,正规矩阵
The Extension of Real Inequality in Matrix Theory
Huanhuan Ren
School of Mathematics and Statistics, Guangdong University of Technology, Guangzhou Guangdong
Received: Jan. 14th, 2024; accepted: Jan. 30th, 2024; published: Feb. 29th, 2024
ABSTRACT
Firstly, give a real number inequality and extend it to the field of matrices, using the unitary invariant norm to further generalize it.
Keywords:Real Numbers, Inequality, Frobenius Norm, Normal Matrix
Copyright © 2024 by author(s) and Hans Publishers Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).
http://creativecommons.org/licenses/by/4.0/
1. 引言
不等式被应用于经济学、变分理论、运筹学、概率论等诸多学科,矩阵作为一个重要的数学工具,被广泛应用于概率论、数值分析、运筹学、统计学等领域,而矩阵不等式(矩阵特征值不等式、矩阵奇异值不等式、矩阵范数不等式)在矩阵论的研究中不可或缺,其在理论研究和实际应用中都有非常重要的作用,近年来,实数不等式与矩阵不等式的联系引起许多学者的研究,很大一部分学者都是将数值不等式推广到矩阵不等式上,詹兴致 [1] 将算术几何均值不等式推广为矩阵酉不变范数不等式,R. Bhatia [2] 对詹兴致的结论添加任意矩阵X进行推广。T. Ando [3] 将经典Young不等式推广为矩阵的酉不变范数不等式,M. Sababheh [4] 对T. Ando的结论进一步细化,此外还有许多学者对算术几何均值不等式与Young不等式进一步细化改进 [5] [6] [7] [8] [9] 。基于Frobenius范数 [10] [11] [12] 可以用来衡量矩阵的超越性能,如机器学习的运算时间、度量神经网络的拟合性能等,因此本文考虑将实数不等式推广为矩阵论中的Frobenius范数不等式,并且进一步得到Frobenius范数不等式的推广形式。本文基于实数不等式和矩阵不等式的相关知识,在结论1中对文献 [13] 中的结论进一步总结细化,在结论2中,基于伯努利不等式 [14] 常被用于证明其他不等式的关键步骤,考虑将其推广为矩阵范数不等式,使其成为证明其他范数不等式的关键步骤。
2. 预备知识
定义2.1:对任何一个矩阵 ,用 表示按照某个法则确定的与矩阵A对应的实数,满足
1) 非负性:当 ,则 ;若 ,则 。
2) 齐次性: ,k为任意复数。
3) 三角不等式:对于任何两个同类型的矩阵 都有 。
4) 矩阵乘法的相容性:若 可乘,则有 。
则称对应于A的这个实数 是矩阵A的矩阵范数。本文主要用到矩阵的Frobenius范数。
定义2.2:令矩阵 , ,矩阵的Frobenius范数如下:
。
引理2.1:令 ,验证 满足矩阵范数的定义。
证明:非负性齐次性易证,下证三角不等式的和相容性,设矩阵 , 则
。
设 , ,则
,
根据Holder不等式可得
,
即证 。
3. 结论1
本节的研究主要针对引理3.1展开。
引理3.1:对任意实数x,当 时,有 成立。
证明:当 ,有 ,即证。
定理3.1:令A为n阶正规矩阵, ,则有 成立。
证明:设A的特征值为 ,则 的特征值为 。由引理2.1可知 ,即 。
定理3.2:令A为n阶正规矩阵, ,则有 成立。
证明:设A的特征值为 ,则kA的特征值为 , 的特征值为 。存在酉矩阵U和V,使得 ,这里 , 。已知矩阵的Frobenius范数为酉不变范数,从而有
由引理3.1可知
。
定理3.3:令 为n阶正规矩阵, ,则有 成立。
证明:存在酉矩阵U和V,使得 , ,这里有 , 。 可以通过酉变换写作如下形式:
,
所以
,
设 ,从而有
,
同理可以得到
。
由引理3.1可知
。
证毕。
例子3.1:设 ,给出正规矩阵
, ,
当 , ;
当 , , , , ;
当 , , , , ;
当 , , , , ;
当 , , , , ;
即证定理3.2和定理3.3成立,即 , 。
4. 结论2
本节的研究主要针对引理4.1展开。
引理4.1 (伯努利不等式):对任意整数 和任意实数 ,有 成立。
证明:证明过程较简单,略。
定理4.1:令A为n阶正规矩阵,满足 ,有 ,这里 。
证明:设A的特征值为 ,则 的特征值为 , 的特征值为 。由引理4.1可知 ,即证 。
定理4.2:令A为n阶正规矩阵,满足 ,有 ,这里 。
证明:设A的特征值为 ,则 的特征值为 , 的特征值为 。存在酉矩阵U和V,使得 , ,这里 , 。从而有
,
,
由引理4.1可知, ,即得 。证毕。
定理4.3:令 为n阶正规矩阵,满足 , ,有 ,这里 。
证明:存在酉矩阵U和V,使得 , ,这里有 , 。则
,
。
所以
,
。
设 ,从而有
,
。
由引理4.1可知, ,即得 ,令 ,此时, 在 时成立。
例子4.1:给出正规矩阵
, ,
当 时, , ;
当 时, , ;
时,定理4.3显然成立,即证定理4.2和定理4.3成立。
5. 结语
本文将实数不等式推广为Frobenius范数不等式,在之后的研究中也可以将本文的不等式推广为矩阵核范数不等式。但是因为矩阵乘法一般不具有乘法交换性,将数值不等式推广到矩阵领域有一定的难度,因此,将数值不等式推广为矩阵不等式的探索仍具有研究性。更进一步,因为矩阵是特殊的张量,因此可以考虑将矩阵不等式的研究结论推广为张量范数不等式。
文章引用
任欢欢. 实数不等式在矩阵论中的推广
The Extension of Real Inequality in Matrix Theory[J]. 理论数学, 2024, 14(02): 624-628. https://doi.org/10.12677/PM.2024.142061
参考文献
- 1. 詹兴致. 矩阵论[M]. 北京: 高等教育出版社, 2008.
- 2. Bhatia, R. and Kittaneh, F. (1990) On the Singular Values of a Product of Operators. SIAM Journal on Matrix Analysis and Applications, 11, No. 2. https://doi.org/10.1137/0611018
- 3. Ando, T. (1995) Matrix Young Inequalities. In: Huijsmans, C.B., Kaashoek, M.A., et al., Eds., Operator Theory in Function Spaces and Banach Lattices, Birkhäuser, Basel. https://doi.org/10.1007/978-3-0348-9076-2_5
- 4. Sababheh, M. (2015) Interpolated Inequalities for Unitarily Invariant Norms. Linear Algebra and Its Applications, 475, 240-250. https://doi.org/10.1016/j.laa.2015.02.026
- 5. Al-Manasrah, Y. and Kittaneh, F. (2015) A Generalization of Two Refined Young Inequalities. Positivity, 19, 757-768. https://doi.org/10.1007/s11117-015-0326-8
- 6. Conde, C. (2013) Young Type Inequalities for Positive Operators. Annals of Functional Analysis, 4, 144-152. https://doi.org/10.15352/afa/1399899532
- 7. Manjegani, S.M. and.Norouzi, A. (2013) Matrix Form of the Inverse Young Inequalities. Linear Algebra and Its Applications, 486, 484-493. https://doi.org/10.1016/j.laa.2015.08.022
- 8. Argerami, M. and Farenick, D.R. (2003) Young Inequality in Trace-Class Operators. Mathematische Annalen, 325, 727-744. https://doi.org/10.1007/s00208-002-0400-y
- 9. Erlijman, J., Farenick, D.R. and Zeng, R. (2001) Young Inequality in Compact Operators. In: Gohberg, I. and Langer, H., Eds., Linear Operators and Matrices, Birkhäuser, Basel. https://doi.org/10.1007/978-3-0348-8181-4_13
- 10. 陈跃鹏, 姚波, 苏晓明, 张庆灵. 具有Frobenius范数界的不确定广义系统鲁棒二次稳定完整性[J]. 沈阳工业大学学报, 2002, 24(2): 173-176.
- 11. 许可, 顾尚泰, 等. 基于Frobenius范数奇异值分解的快速ICP算法[J]. 太赫兹科学与电子信息学报, 2023, 21(10): 1263-1270.
- 12. 石聪聪. 矩阵Frobenius范数不等式及次可加性研究[D]: [硕士学位论文]. 重庆: 重庆大学, 2016.
- 13. 胡汭. 一个实数不等式在矩阵论中的推广[J]. 淮北师范大学学报(自然科学版), 2016, 37(1): 75-77.
- 14. 戴之皓. 伯努利不等式的介绍与推广[J]. 青年与社会, 2019(6): 158-159.