[论文解读] 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

一句话总结

本文通过证明极值、非退化的解在双圆盘上唯一且由一个二阶有理内函数给出，解决了双圆盘上的三点Pick问题。该解通过两个唯一确定的秩一矩阵构造而成，其显式公式由Pick型矩阵的Schur积与原点归一化导出。

ABSTRACT

We analyze the three point Pick interpolation problem on the bidisk

研究动机与目标

• 解决双圆盘上的三点Pick插值问题，重点关注极值与非退化情形。
• 在双圆盘设定下建立极值解的唯一性，与两点问题中的非唯一性形成对比。
• 基于插值数据，通过两个秩一矩阵显式构造解。
• 通过Pick矩阵的Schur积与原点归一化，刻画解的结构。
• 将经典Pick理论从圆盘推广至双圆盘的三点极值情形。

提出的方法

• 通过与自同构复合对问题进行归一化，使 λ₁ = (0,0) 且 w₁ = 0，从而简化系统。
• 使用两个秩一矩阵 Γ 和 Δ，将解 φ 表示为二阶有理内函数。
• 通过公式 φ(z) = (a₁z¹ + a₂z² + a₃z³) / (1 + b₁z¹ + b₂z² + b₃z³) 表达解，其中系数由 a₁, a₂, a₃ 与 b₁, b₂, b₃ 导出。
• 从矩阵恒等式 (3.18) 的第一列推导出三个实代数方程 (3.19)–(3.21)，将插值数据与系数关联。
• 利用 Schur 积结构 W = Λ¹·Γ + Λ²·Δ 强制正定性，并推导出对系数的约束。
• 通过数值或符号方法求解系统，极值性与非退化性保证了解的唯一性。

实验结果

研究问题

• RQ1 在何种条件下，双圆盘上的三点Pick问题解是唯一的？
• RQ2 在双圆盘设定下，极值解能否以秩一矩阵显式构造？
• RQ3 插值点与取值的几何性质如何影响解的结构？
• RQ4 非退化性与极值性在保证解唯一性中起什么作用？
• RQ5 解能否表示为二阶有理内函数？若是，其系数如何确定？

主要发现

• 双圆盘上极值、非退化的三点Pick问题的解是唯一的。
• 解为二阶有理内函数，可由插值数据显式构造。
• 解源于两个唯一确定的秩一矩阵 Γ 与 Δ，其编码了插值约束。
• 解的系数由来自Schur积恒等式的三个实代数方程组求解确定。
• 在对称情形 λ₁ = (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) 时存在第二个解，对应于另一对秩一矩阵，但该解非极值。