[论文解读] A Constrained Nevanlinna-Pick Interpolation Problem

Kenneth R. Davidson, Vern I. Paulsen+2 more|ArXiv.org|Nov 13, 2007

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

一句话总结

本论文在插值函数满足 $f'(0) = 0$ 的约束下，利用复射影2-球参数化的再生核希尔伯特空间族，建立了单位圆盘上Nevanlinna-Pick插值的必要且充分条件。关键结果表明，当且仅当对于球面上所有参数值，涉及这些核的某个矩阵为半正定矩阵时，插值才可能实现，从而推广了Abrahamse在有限连通区域上的结果。

ABSTRACT

We obtain necessary and sufficient conditions for Nevanlinna-Pick interpolation on the unit disk with the additional restriction that all analytic interpolating functions satisfy $f'(0)=0.$ Alternatively, these results can be interpreted as interpolation results for $H^{\infty}(V),$ where $V$ is the intersection of the bidisk with an algebraic variety. We use an analysis of C*-envelopes to show that these same conditions do not suffice for matrix interpolation.

研究动机与目标

• 对单位圆盘上的标量Nevanlinna-Pick插值问题在约束 $f'(0) = 0$ 下进行刻画。
• 将Abrahamse对有限连通区域的插值框架推广至约束代数 $H^{rown{}}_{1} = \{f \in H^\infty : f'(0) = 0\}$。
• 识别出一个由 $|\alpha|^2 + |\beta|^2 = 1$ 参数化的再生核希尔伯特空间族 $H^2_{\alpha,\beta}(\mathbb{D})$，以建模该插值问题。
• 分析商代数 $H^\infty_1 / \mathcal{I}^F$ 的C*-包络（其中 $F \subset \mathbb{D}$ 为有限集），揭示标量插值与矩阵插值之间的结构性差异。

提出的方法

• 引入一个由 $|\alpha|^2 + |\beta|^2 = 1$ 参数化的核族 $K^{\alpha,\beta}(z,w) = (\alpha + \beta z)\overline{(\alpha + \beta w)} + \frac{z^2 \overline{w^2}}{1 - z\overline{w}}$，其定义了再生核希尔伯特空间 $H^2_{\alpha,\beta}(\mathbb{D})$。
• 证明：当且仅当对所有满足 $|\alpha|^2 + |\beta|^2 = 1$ 的参数，矩阵 $[(A^2 - w_i \overline{w_j}) K^{\alpha,\beta}(z_i, z_j)]$ 为半正定矩阵时，满足 $\|f\|_\infty \leq A$ 且 $f'(0) = 0$ 的插值才可能实现，从而实现了完整刻画。
• 利用C*-包络与商代数表示的理论，分析 $H^\infty_1 / \mathcal{I}^F$ 的结构，表明当 $0 \in F$ 时 $C^*_e(H^\infty_1 / \mathcal{I}^F) \cong \mathfrak{M}_2$，但对 $n \geq 3$ 个非零点的一般情况不成立。
• 通过莫比乌斯变换建立一种替代刻画：当且仅当存在 $\lambda \in \mathbb{D}$，使得矩阵 $\left[ \frac{z_i^2 \overline{z_j^2} - \varphi_\lambda(w_i) \overline{\varphi_\lambda(w_j)}}{1 - z_i \overline{z_j}} \right]$ 为半正定矩阵时，插值存在。
• 证明 $H^\infty_1 / \mathcal{I}^F$ 的C*-包络并不总是同构于 $\mathfrak{M}_n \otimes C(\mathbb{T})$，与环形区域情况不同，表明其结构存在根本性差异。
• 利用 $\mathfrak{M}_2$ 中的距离公式与范数计算，证明当 $d_{\mathcal{A}}(x_1,x_2) < 1$ 时，表示 $\pi(f + \mathcal{I}^F) = \begin{bmatrix} f(x_1) & b(f(x_1) - f(x_2)) \\ 0 & f(x_2) \end{bmatrix}$ 为完全等距同构，从而推出当 $F$ 包含 $0$ 时 $C^*_e(H^\infty_1 / \mathcal{I}^F) \cong \mathfrak{M}_2$。

实验结果

研究问题

• RQ1 是否由 $|\alpha|^2 + \beta|^2 = 1$ 参数化的核 $K^{\alpha,\beta}$ 所构成的矩阵条件，能够完全刻画在 $f'(0) = 0$ 约束下的Nevanlinna-Pick插值？
• RQ2 对于满足 $n \geq 3$ 的有限集 $F \subset \mathbb{D}$，同态 $\tilde{\Phi}_F: H^\infty_1 / \mathcal{I}^F \to C(PS^2, \mathfrak{M}_n)$ 是否为完全等距同构？
• RQ3 当 $F$ 不包含 $0$ 时，是否可以显式计算 $H^\infty_1 / \mathcal{I}^F$ 的C*-包络？
• RQ4 对于标量插值，有限个核 $K^{\alpha,\beta}$ 是否已足够，还是必须使用稠密子集？
• RQ5 距离公式 $\operatorname{dist}(f, \mathfrak{M}_k(H^\infty_1)) = \sup_{|\alpha|^2 + |\beta|^2 = 1} \| (I - P_{\alpha,\beta}) M_{f_{ij}} P_{\alpha,\beta} \|$ 是否对所有 $f \in \mathfrak{M}_k(L^\infty)$ 成立？

主要发现

• 当且仅当对所有满足 $|\alpha|^2 + |\beta|^2 = 1$ 的参数，矩阵 $[(A^2 - w_i \overline{w_j}) K^{\alpha,\beta}(z_i, z_j)]$ 为半正定矩阵时，满足 $f'(0) = 0$ 的插值问题可解，其中 $K^{\alpha,\beta}(z,w) = (\alpha + \beta z)\overline{(\alpha + \beta w)} + \frac{z^2 \overline{w^2}}{1 - z\overline{w}}$。
• 当 $F$ 包含 $0$ 时，$H^\infty_1 / \mathcal{I}^F$ 的C*-包络同构于 $\mathfrak{M}_2$，这通过其到 $2 \times 2$ 矩阵的完全等距表示得以证明。
• 当 $F = \{x_1, x_2\}$ 且满足 $d_{H^\infty_1}(x_1, x_2) < 1$ 时，C*-包络为 $\mathfrak{M}_2$，且表示 $\pi(f + \mathcal{I}^F) = \begin{bmatrix} f(x_1) & b(f(x_1) - f(x_2)) \\ 0 & f(x_2) \end{bmatrix}$ 为完全等距同构，其中 $b = (d^{-2} - 1)^{1/2}$。
• 矩阵值插值问题不满足与标量情况相同的核条件；即使标量情况满足，核族 $K^{\alpha,\beta}$ 也不足以用于矩阵插值。
• 有限个核 $K^{\alpha,\beta}$ 可能不足以确定标量插值，因为本文未解决：是否可用 $PS^2$ 的有限子集替代整个球面来满足条件。
• 距离公式 $\operatorname{dist}(f, \mathfrak{M}_k(H^\infty_1)) = \sup_{|\alpha|^2 + |\beta|^2 = 1} \| (I - P_{\alpha,\beta}) M_{f_{ij}} P_{\alpha,\beta} \|$ 并非普遍成立，且推测存在反例。