[论文解读] A Schwarz lemma for a domain related to mu-synthesis

Alaa Abouhajar, Mary C. White+1 more|arXiv (Cornell University)|Aug 4, 2007

Holomorphic and Operator Theory参考文献 12被引用 4

一句话总结

本文为H∞控制理论与μ-合成中出现的四面体域𝔼 ⊂ ℂ³建立了Schwarz引理。它通过算子理论条件刻画了从单位圆盘到𝔼的插值全纯映射，推导出Kobayashi与Carathéodory距离的显式不等式，并确定了𝔼的自同构群与特征边界，为鲁棒控制中的两点插值问题提供了几何框架。

ABSTRACT

We prove a Schwarz lemma for a domain E in 3-dimensional complex space that arises in connection with a problem in H infinity control theory. We describe a class of automorphisms of E and determine the distinguished boundary of E. We obtain a type of Schwarz-Pick lemma for a two by two mu-synthesis problem.

研究动机与目标

• 为与H∞控制和μ-合成相关的四面体域𝔼 ⊂ ℂ³建立几何与函数论框架。
• 通过与Schur类矩阵函数的联系，刻画满足φ(0) = (0,0,0)与φ(λ₀) = x的插值全纯映射φ: 𝔻 → 𝔼。
• 确定𝔼的特征边界与自同构群，揭示其丰富的复几何结构。
• 将结果应用于2×2谱Nevanlinna-Pick问题与μ-合成问题，尤其在结构化鲁棒镇定情形下。
• 基于四面体域作为模型区域，提供存在有界谱半径的全纯矩阵插值函数的判别准则。

提出的方法

• 将四面体域𝔼定义为ℂ³中满足对所有|z| ≤ 1，有理函数Ψ(z,x) = (pz − a)/(bz − 1)将单位圆盘ℂ映射到开单位圆盘的点(a,b,p)的集合。
• 通过涉及|a − b̄p|、|ab − p|与|λ₀|的不等式，推导出存在全纯映射φ: 𝔻 → 𝔼满足φ(0) = (0,0,0)与φ(λ₀) = x的必要与充分条件，从而建立𝔼上的Schwarz引理。
• 利用𝔼与2×2矩阵函数Schur类之间的联系：点x = (a₁₁, a₂₂, det A)对应于满足||F(λ)|| ≤ 1的矩阵A ∈ ℂ²ˣ²。
• 通过极值函数与矩阵Möbius变换，推导出从𝔼原点出发的Carathéodory与Kobayashi距离的公式。
• 通过矩阵Möbius变换识别𝔼的一类自同构，并证明它们保持四面体结构。
• 将𝔼的特征边界计算为在酉变换下关联矩阵的谱半径达到最大值的点集。

实验结果

研究问题

• RQ1 对给定的x ∈ 𝔼，存在全纯映射φ: 𝔻 → 𝔼满足φ(0) = (0,0,0)与φ(λ₀) = x的必要与充分条件是什么？
• RQ2 四面体域如何从几何与函数论角度刻画？其特征边界是什么？
• RQ3 四面体域的自同构群结构如何？
• RQ4 四面体域与μ-合成问题及2×2谱Nevanlinna-Pick问题有何关联？
• RQ5 𝔼中的Kobayashi与Carathéodory距离能否显式计算？它们揭示了插值几何的哪些信息？

主要发现

• 当且仅当涉及|a − b̄p|、|ab − p|、|a|与|b|的两个表达式的最大值被|λ₀|所控制时，点x = (a,b,p) ∈ 𝔼才存在满足φ(0) = (0,0,0)与φ(λ₀) = x的全纯插值映射φ: 𝔻 → 𝔼。
• 𝔼中从原点出发的Kobayashi与Carathéodory距离由Schur类中的极值函数导出的显式公式给出。
• 𝔼的特征边界是满足在酉共轭下关联矩阵A = [[a, *], [0, b]]的谱半径为1的点(a,b,p) ∈ 𝔼的集合。
• 𝔼的自同构群包含由矩阵Möbius映射诱导的丰富变换族，且保持四面体结构。
• 对于𝔼中的两点插值问题，解存在的充要条件是涉及|λ₀|与矩阵范数的某个不等式成立，且给出了显式判别条件。
• 本文表明μ-合成问题可能病态：当|λ₀| ∈ (2/3, 1/√2)时，解对扰动极为敏感，尤其在参数趋近于零时。