[論文レビュー] 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∞制御理論およびμ-合成に現れる複素3次元領域 𝔼 ⊂ ℂ³ におけるシュバルツ補題を確立する。単位円板から 𝔼 への補間解析関数の特徴づけを作用素論的条件を用いて行い、コバヤシ距離およびカラテオドリ距離の明示的不等式を導出し、𝔼 の自己同型および特徴的境界を同定することで、ロバスト制御における2点補間問題を解くための幾何的枠組みを提供する。

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∞制御およびμ-合成に関連する複素3次元領域 𝔼 ⊂ ℂ³ に対する幾何学的・関数論的枠組みの構築。
• φ(0) = (0,0,0) および φ(λ₀) = x を満たす解析的補間写像 φ: 𝔻 → 𝔼 の特徴づけを、シュールクラスの行列関数と結びつける。
• 𝔼 の特徴的境界および自己同型群の同定により、その豊かな複素幾何構造を明らかにする。
• 2×2 スペクトルネヴァンリンナ＝ピック問題およびμ-合成問題への応用、特に構造的ロバスト安定化の場面において。
• 四面体領域をモデル領域として用い、有界スペクトル半径を持つ解析的行列補間子の存在に関する基準を提示する。

提案手法

• 四面体領域 𝔼 を、任意の |z| ≤ 1 に対して有理関数 Ψ(z,x) = (pz − a)/(bz − 1) が単位円板 ℂ に値をとるような (a,b,p) ∈ ℂ³ の集合として定義する。
• φ(0) = (0,0,0) および φ(λ₀) = x を満たす解析的写像 φ: 𝔻 → 𝔼 の存在に関する必要十分条件を、|a − b̄p|, |ab − p|, |λ₀| を含む不等式を用いて導出することで、𝔼 におけるシュバルツ補題を確立する。
• 𝔼 と 2×2 行列関数のシュールクラスとの関係を用いる：点 x = (a₁₁, a₂₂, det A) は ||F(λ)|| ≤ 1 を満たす行列 A ∈ ℂ²ˣ² に対応する。
• 極値関数および行列モビウス変換を用いて、𝔼 の原点からのカラテオドリ距離およびコバヤシ距離の公式を導出する。
• 行列モビウス変換を用いて 𝔼 の自己同型のクラスを同定し、それらが四面体構造を保存することを示す。
• ユニタリ変換の下で関連行列のスペクトル半径が最大値に達する点の集合として、𝔼 の特徴的境界を計算する。

実験結果

リサーチクエスチョン

• RQ1 与えられた x ∈ 𝔼 に対して、φ(0) = (0,0,0) および φ(λ₀) = x を満たす解析的写像 φ: 𝔻 → 𝔼 が存在するための必要十分条件は何か？
• RQ2 四面体領域はどのように幾何学的・関数論的に特徴づけられ、その特徴的境界は何か？
• RQ3 四面体領域の自己同型群の構造はどのようなものか？
• RQ4 四面体領域はμ-合成問題および2×2 スペクトルネヴァンリンナ＝ピック問題とどのように関係しているか？
• RQ5 𝔼 におけるコバヤシ距離およびカラテオドリ距離は明示的に計算可能か？また、それらは補間の幾何に何を明らかにするか？

主な発見

• 点 x = (a,b,p) ∈ 𝔼 が、φ(0) = (0,0,0) および φ(λ₀) = x を満たす解析的補間写像 φ: 𝔻 → 𝔼 を持つための必要十分条件は、|a − b̄p|, |ab − p|, |a|, |b| を含む2つの式の最大値が |λ₀| で有界であることである。
• 𝔼 の原点からのコバヤシ距離およびカラテオドリ距離は、シュールクラスにおける極値関数から導かれた明示的公式で与えられる。
• 𝔼 の特徴的境界は、関連行列 A = [[a, *], [0, b]] がユニタリ同型の下でスペクトル半径が1に達する点 (a,b,p) ∈ 𝔼 の集合である。
• 𝔼 の自己同型群には、行列モビウス写像によって誘導される豊かな変換族が含まれており、それらは四面体構造を保存する。
• 𝔼 における2点補間問題では、解が存在するための必要十分条件は、|λ₀| と行列ノルムを含むある不等式が満たされることであり、明示的な基準が提示されている。
• 本稿では、μ-合成問題が悪条件である可能性を示している：|λ₀| ∈ (2/3, 1/√2) の範囲では、解が摂動に対して極めて敏感になることが判明し、特にパラメータが0に近づく際に顕著である。