20220606 关于矩阵的Young不等式

DR-ZF-

已于 2023-04-12 14:23:35 修改

阅读量2.1k

点赞数 5

分类专栏：基础：线性代数\矩阵论文章标签：矩阵线性代数机器学习

于 2022-06-07 15:16:42 首次发布

本文链接：https://blog.csdn.net/weixin_44382195/article/details/125165371

版权

基础：线性代数\矩阵论专栏收录该内容

29 篇文章 5 订阅

订阅专栏

该文章详细证明了一个涉及矩阵乘积和张量积的不等式：2x^T(AB⊗CD)y ≤ x^T(AA^T⊗CC^T)x + y^T(BTB⊗DTD)y。通过逐步展开和利用矩阵运算规则，展示了从原始表达式到最终形式的推导过程，揭示了矩阵乘积和张量积在不等式中的作用。

摘要由CSDN通过智能技术生成

定理：

合适维数的矩阵 $A, B, C, D$ ，合适维数的向量 $x, y$ ，有
$2x^{T}\left(\left(AB\right) \otimes \left(CD\right)\right)y\leq x^T\left(AA^T \otimes CC^T\right)x + y^T\left(B^TB \otimes D^TD\right)y$

原因分析：

$\begin{aligned} {}&2x^{T}\left(\left(AB\right) \otimes \left(CD\right)\right)y \\ ={}& 2x^{T}\left(A \otimes C\right)\left(B \otimes D\right)y \\ ={}& 2\left(\left(A \otimes C\right)^Tx\right)^T\left(B \otimes D\right)y \\ \leq{}& \left(\left(A \otimes C\right)^Tx\right)^T\left(\left(A \otimes C\right)^Tx\right) + \left(\left(B \otimes D\right)y\right)^T\left(B \otimes D\right)y \\ ={}& x^T\left(A \otimes C\right)\left(A \otimes C\right)^Tx + y^T\left(B \otimes D\right)^T\left(B \otimes D\right)y \\ ={}& x^T\left(AA^T \otimes CC^T\right)x + y^T\left(B^TB \otimes D^TD\right)y \end{aligned}$