[论文解读] Spectral Nevanlinna-Pick and Carathéodory-Fejér problems

Николай Николов, Peter Pflug+1 more|arXiv (Cornell University)|Feb 8, 2010

Holomorphic and Operator Theory参考文献 7被引用 3

一句话总结

本文将谱 Nevanlinna-Pick 问题与 Carathéodory-Fejér 问题在谱球体 $\Omega_3$ 上约化为在对称多圆盘 $\mathbb{G}_3$ 上的插值问题，通过谱映射 $\sigma$ 提供了从 $\mathbb{G}_3$ 到 $\Omega_3$ 的全纯映射提升的充要条件。关键结果建立了 $\varphi \in \mathcal{O}(\mathbb{D}, \mathbb{G}_3)$ 的导数的显式解析条件，以确保存在一个全纯提升 $\psi \in \mathcal{O}(\mathbb{D}, \Omega_3)$，使其在插值点处匹配给定的矩阵值及其导数。

ABSTRACT

The Nevanlinna-Pick problem and the simplest case of the Carathéodory-Fejér problem on the spectral ball $\Om_3$ are reduced to interpolation problems on the symmetrized three-disc $\G_3.$

研究动机与目标

• 将 $n=2,3$ 时在 $\Omega_n$ 上的谱 Nevanlinna-Pick 问题（SNPP）约化为在对称多圆盘 $\mathbb{G}_n$ 上的插值问题。
• 刻画从给定的 $\varphi \in \mathcal{O}(\mathbb{D}, \mathbb{G}_n)$ 到 $\psi \in \mathcal{O}(\mathbb{D}, \Omega_n)$ 的全纯提升的存在性，使其在指定矩阵值和导数处匹配。
• 为 $n=3$ 的情形提供关于 $\varphi$ 的导数的必要与充分条件，以确保此类提升的存在，特别针对非标量矩阵与循环矩阵。
• 阐明通过谱映射 $\sigma$ 实现提升的几何与解析障碍，尤其关注 $\sigma_3$ 的 Gateaux 导数。

提出的方法

• 通过谱映射 $\sigma = (\sigma_1, \sigma_2, \sigma_3)$ 将 $\Omega_n$ 上的 SNPP 约化为 $\mathbb{G}_n$ 上的插值问题，其中 $\sigma_j(A)$ 是 $A \in \Omega_n$ 的特征值的初等对称函数。
• 利用相似不变性：若 $A_j$ 与 $\tilde{A}_j$ 相似，则 $\tilde{A}_j$ 的解可推出 $A_j$ 的解，从而可约化为友矩阵形式。
• 通过插值条件定义的有理矩阵函数 $\tilde{\psi}$ 构造全纯提升 $\psi$，其中分子分母为满足 $P(\alpha_j) = \lambda_j$, $Q(\alpha_j) = 0$ 的多项式解，适用于标量矩阵情形。
• 通过 $e^{f(\zeta)}$ 的共轭变换调整提升 $\tilde{\psi}$，使其在 $\alpha_j$ 处匹配原始矩阵 $A_j$，其中 $f$ 为满足 $A_j = e^{-f(\alpha_j)} \tilde{A}_j e^{f(\alpha_j)}$ 的多项式映射。
• 推导 $\varphi^{(k)}(0)$ 在 $\mathbb{G}_3$ 中的显式条件（$k=1,2,3$），以确保存在满足 $\psi(0) = A_\mu$, $\psi'(0) = B$ 的 $\psi$，涉及 $\sigma_3$ 的二阶与三阶 Gateaux 导数。
• 分析无穷小 Kobayashi 度量 $\kappa_{\Omega_3}(A_\mu; B)$ 及其与整体提升存在性的关系，表明在某些 $B$ 附近问题不稳定。

实验结果

研究问题

• RQ1 对于 $n=3$，何种条件可确保一个全纯映射 $\varphi \in \mathcal{O}(\mathbb{D}, \mathbb{G}_3)$ 存在全纯提升 $\psi \in \mathcal{O}(\mathbb{D}, \Omega_3)$，使得 $\sigma \circ \psi = \varphi$ 且 $\psi(\alpha_j) = A_j$ 对给定矩阵 $A_j$ 成立？
• RQ2 插值点处 $\varphi$ 的导数如何与此类提升的存在性相关联，尤其当 $A_j$ 为标量或非标量矩阵时？
• RQ3 二阶 Gateaux 导数 $\sigma_3''(A; B)$ 在刻画矩阵 $A_\mu = \operatorname{diag}(0,0,\mu)$ 附近 $\varphi$ 的可提升性中起何作用？
• RQ4 为何在 $\Omega_3$ 的某些方向 $B$ 附近问题不稳定，这与无穷小 Kobayashi 度量的消失有何关联？
• RQ5 当 $\varphi$ 满足推导出的条件时，能否将提升问题约化为 $\psi$ 的条目上的可解方程组？

主要发现

• 对于 $n=2$，全纯映射 $\varphi \in \mathcal{O}(\mathbb{D}, \mathbb{G}_2)$ 可提升至 $\psi \in \mathcal{O}(\mathbb{D}, \Omega_2)$ 以匹配标量矩阵 $A_j = \lambda_j I$，当且仅当对所有 $j$ 有 $\varphi_2'(α_j) = \lambda_j \varphi_1'(α_j)$。
• 对于 $n=3$，若 $\varphi \in \mathcal{O}(\mathbb{D}, \mathbb{G}_3)$ 满足 $\varphi(0) = \sigma(A_\mu)$ 且 $\varphi'(0) = \sigma'(A_\mu)B$，则存在满足 $\psi(0) = A_\mu$, $\psi'(0) = B$ 的提升 $\psi$，当且仅当 $$\frac{\varphi_3''(0)}{2} = \mu \left| \begin{smallmatrix} b_{11} & b_{12} \\ b_{21} & b_{22} \end{smallmatrix} \right| - \left| \begin{smallmatrix} b_{11} & b_{12} \\ b_{31} & b_{32} \end{smallmatrix} \right|$$，该式等于二阶 Gateaux 导数 $\sigma_3''(A_\mu; B)$。
• 当 $B$ 为上三角矩阵且满足 $b_{12} = 0$, $b_{31} = \mu b_{21}$, $b_{32} = \mu(b_{22} - b_{11})$ 时，提升存在当且仅当 $$\frac{\varphi_3''(0)}{2} = \mu b_{11}^2 \quad \text{且} \quad \frac{\varphi_3'''(0)}{3!} = b_{11}\left(\frac{\varphi_2''(0)}{2} - b_{11}b_{33}\right)$$。
• 存在整体提升 $\psi \in \mathcal{O}(\mathbb{C}, \Omega_3)$ 满足 $\psi(0) = A_\mu$, $\psi'(0) = B$ 当且仅当 $\sigma'(A_\mu)B = 0$ 且 $\sigma_3''(A_\mu; B) = 0$，且此条件等价于 $\kappa_{\Omega_3}(A_\mu; B) = 0$，但该条件对 $B$ 的小扰动不具稳定性。
• 当 $\mu = 0$ 时，问题在 $B$ 附近不稳定，因为对 $B \in \mathcal{B}_1 \setminus \mathcal{B}_2$ 有 $\kappa_{\Omega_3}(A_0; B) = 0$，但对 $B \in \mathcal{B}_1 \cap \mathcal{B}_2$ 则要求 $\kappa_{\Omega_3}(A_0; B) = |b_{11}| \leq 1$，表明存在存在性条件的不连续性。