[论文解读] Factorization, majorization, and domination for linear relations

Seppo Hassi, Henk de Snoo|arXiv (Cornell University)|Nov 21, 2014

Matrix Theory and Algorithms参考文献 18被引用 10

一句话总结

该论文在希尔伯特空间的线性关系中建立了分解、主要化和控制之间的基础等价关系，将 Douglas 引理推广至无界算子和关系。证明了 $ ZB \subset A $（控制）当且仅当 $ A^*A \leq c^2 B^*B $，且 $ A = BW $（分解）当且仅当 $ WA^{-1} \subset B^{-1} $，在广义框架下统一了关键的算子理论概念。

ABSTRACT

Let ${\mathfrak H}_A$, ${\mathfrak H}_B$, and ${\mathfrak H}$ be Hilbert spaces. Let $A$ be a linear relation from ${\mathfrak H}$ to ${\mathfrak H}_A$ and let $B$ be a linear relation from ${\mathfrak H}$ to ${\mathfrak H}_B$. If there exists an operator $Z \in \mathbf{B}({\mathfrak H}_B,{\mathfrak H}_A)$ such that $ZB \subset A$, then $B$ is said to dominate $A$. This notion plays a major role in the theory of Lebesgue type decompositions of linear relations and operators. There is a strong connection to the majorization and factorization in the well-known lemma of Douglas, when put in the context of linear relations. In this note some aspects of the lemma of Douglas are discussed in the context of linear relations and the connections with the notion of domination will be treated.

研究动机与目标

• 将 Douglas 引理推广至希尔伯特空间中的无界线性关系与算子。
• 阐明在线性关系背景下控制、分解与主要化之间的关系。
• 通过算子不等式 $ A^*A \leq c^2 B^*B $ 为闭线性关系提供控制关系的统一刻画。
• 建立分解 $ A = BW $ 与逆控制 $ WA^{-1} \subset B^{-1} $ 之间的对偶性。
• 应用这些结果，通过预解式刻画非负自伴关系的序关系。

提出的方法

• 使用线性关系理论，包括定义域、值域、核与多值部分，将有界算子的结果推广至无界情形。
• 将 Douglas 引理的标准形式应用于有界算子，并通过谱论与分解技术将其扩展至闭线性关系。
• 建立控制 $ ZB \subset A $ 与不等式 $ A^*A \leq c^2 B^*B $ 之间的等价性，其中 $ \|Z\| \leq c $。
• 引入将关系分解为单值部分与多值部分的方法，以处理非稠密定义的算子。
• 利用预解恒等式 $ (H+x)^{-1} = \frac{1}{x} - \frac{1}{x^2}(H^{-1} + \frac{1}{x})^{-1} $ 关联预解式与逆关系。
• 应用对偶关系 $ A = BW \Leftrightarrow WA^{-1} \subset B^{-1} $ 推导算子序关系的新刻画。

实验结果

研究问题

• RQ1 如何将 Douglas 引理从有界算子推广至闭线性关系？
• RQ2 控制 $ ZB \subset A $ 与不等式 $ A^*A \leq c^2 B^*B $ 之间的精确关系是什么？
• RQ3 在线性关系背景下，分解 $ A = BW $ 如何与逆控制 $ WA^{-1} \subset B^{-1} $ 相关联？
• RQ4 能否利用这些广义等价关系，通过预解式刻画非负自伴关系的序关系？
• RQ5 线性关系的单值部分与多值部分在分解与控制中起什么作用？

主要发现

• 对于闭线性关系，控制 $ ZB \subset A $ 当且仅当 $ A^*A \leq c^2 B^*B $，且 $ \|Z\| \leq c $，如定理 4.4 所示。
• 对于有界算子，分解 $ A = BW $ 当且仅当 $ WA^{-1} \subset B^{-1} $，如引理 5.1 所确立。
• 等价关系 $ A = BW \Leftrightarrow WA^{-1} \subset B^{-1} $ 提供了非负自伴关系序 $ H_1 \leq H_2 $ 的预解刻画的新且简洁的证明。
• 对于满足 $ \text{dom}\,A = \text{dom}\,B $ 的闭线性关系，不等式 $ A^*A \leq c^2 B^*B $ 蕴含 $ A^*A = B^*MB $，其中 $ 0 \leq M \in \mathbf{B}({\mathfrak{H}}_B) $ 且 $ \|M\| \leq c^2 $。
• 该结果将经典 Douglas 引理扩展至线性关系，表明即使在无界情形，$ \text{ran}\,A \subset \text{ran}\,B $ 当且仅当 $ AA^* \leq \lambda BB^* $。
• 本文证明了对所有 $ x > 0 $，有 $ (H_1 + x)^{-1} \geq (H_2 + x)^{-1} $ 当且仅当 $ H_1 \leq H_2 $，并基于广义分解与对偶性框架建立了该结论。