[論文レビュー] The three point Pick problem on the Bidisk

Jim Agler, John E. M c Carthy|arXiv (Cornell University)|Oct 7, 2016

Holomorphic and Operator Theory参考文献 8被引用数 15

ひとこと要約

本稿では、双ディスク上での3点Pick問題を解き、極値的かつ非退化な解が一意に存在し、2次有理型内函数によって与えられることを証明する。解は、2つの一意に定まるランク1行列を用いて構成され、Pick型行列のシュール積と原点への正規化から導かれる明示的公式を有する。

ABSTRACT

We analyze the three point Pick interpolation problem on the bidisk

研究の動機と目的

• 双ディスク上での3点Pick補間問題を解き、特に極値的かつ非退化な場合に注目する。
• 2点問題における非一意性とは対照的に、双ディスク設定における極値解の一意性を確立する。
• 補間データから導かれる2つのランク1行列を用いて、解の明示的公式を提供する。
• シュール積によるPick行列の構造と原点への正規化を通じて、解の構造を特徴付ける。
• 古典的Pick理論を、3点極値ケースにおいて、ディスクから双ディスクへと拡張する。

提案手法

• 自動同型を合成することで問題を正規化し、λ₁ = (0,0) および w₁ = 0 とすることで、系を単純化する。
• 2つのランク1行列 Γ と Δ を用いて、次数2の有理型内函数として解 φ を表現する。
• 係数が a₁, a₂, a₃ および b₁, b₂, b₃ から導かれる式 φ(z) = (a₁z¹ + a₂z² + a₃z³) / (1 + b₁z¹ + b₂z² + b₃z³) を用いて解を表現する。
• 行列恒等式 (3.18) の第1列から、補間データと係数を結ぶ3つの実代数方程式 (3.19)–(3.21) を導出する。
• 正定性を保証するため、シュール積構造 W = Λ¹·Γ + Λ²·Δ を用いて係数に対する制約を導出する。
• 数値的または記号的に系を解き、極値性および非退化性のもとで一意性が保証される。

実験結果

リサーチクエスチョン

• RQ1 双ディスク上での3点Pick問題の解が、どのような条件下で一意になるか。
• RQ2 極値的解は、双ディスク設定においてランク1行列を用いて明示的に構成可能か。
• RQ3 補間点および補間値の幾何的性質が、解の構造にどのように影響するか。
• RQ4 非退化性および極値性が、解の一意性を保証する役割を果たす理由は何か。
• RQ5 解が次数2の有理型内函数として表現可能か。その場合、係数はどのように決定されるか。

主な発見

• 双ディスク上での極値的かつ非退化な3点Pick問題の解は一意に存在する。
• 解は、補間データから明示的に構成可能な2次有理型内函数である。
• 解は、補間制約を符号化する2つの一意に定まるランク1行列 Γ と Δ から生じる。
• 解の係数は、シュール積恒等式から導かれる3つの実代数方程式の解として決定される。
• 対称的な場合、λ₁ = (0,0), λ₂ = (r,0), λ₃ = (0,r), w₁ = 0, w₂ = w₃ = t において、極値解は φ(z) = (z¹ + z² - 2z¹z²)/(2 - z¹ - z²) で与えられ、t = r/(2 - r) のとき成立する。
• t = r/(2 + r) の場合に別の解が存在し、これは異なる2つのランク1行列に対応するが、これは極値的ではない。