[論文レビュー] 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

ひとこと要約

本稿は、複素射影2次元球面をパrameterとする再生核ヒルベルト空間の族を用いて、$f'(0) = 0$ を満たす関数に対する単位円板上でのネヴァンリンナ＝ピック補間の必要十分条件を確立する。主な結果は、球面上のすべてのパrameter値に対して、これらの核を含むある行列が半正定値であることが補間可能であるための必要十分条件であることを示しており、これは有限連結領域に対するアブラハムセの結果を一般化する。

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.

研究の動機と目的

• 単位円板上でのスカラー値ネヴァンリンナ＝ピック補間を $f'(0) = 0$ の制約のもとで特徴づけること。
• 有限連結領域に対するアブラハムセの補間フレームワークを、$H^{\frown{}}_{1} = \{f \in H^\infty : f'(0) = 0\}$ という制約付き代数へ拡張すること。
• パrameter $|\alpha|^2 + |\beta|^2 = 1$ を持つ再生核ヒルベルト空間の族 $H^2_{\alpha,\beta}(\mathbb{D})$ を特定し、補間問題をモデル化すること。
• $F \subset \mathbb{D}$ を有限集合とするとき、商代数 $H^\infty_1 / \mathcal{I}^F$ の $C^*$-包絡を分析し、スカラー補間と行列補間の間の構造的差異を明らかにすること。

提案手法

• パrameter $|\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})$ を定義することを示す。
• 補間が $\|f\|_\infty \leq A$ かつ $f'(0) = 0$ を満たすことが可能であるための必要十分条件として、すべての $|\alpha|^2 + |\beta|^2 = 1$ に対して行列 $[(A^2 - w_i \overline{w_j}) K^{\alpha,\beta}(z_i, z_j)]$ が半正定値であること、すなわち完全な特徴づけを確立する。
• 商代数の表現および $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 パrameter $|\alpha|^2 + |\beta|^2 = 1$ を持つ核 $K^{\alpha,\beta}$ を含む行列条件が、$f'(0) = 0$ の制約のもとでのネヴァンリンナ＝ピック補間を完全に特徴づけるか？
• RQ2 $F \subset \mathbb{D}$ を有限集合とし $n \geq 3$ とするとき、ホモモーティズム $\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 すべての $f \in \mathfrak{M}_k(L^\infty)$ に対して、距離公式 $\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'(0) = 0$ を満たす場合に解けるための必要十分条件は、すべての $|\alpha|^2 + |\beta|^2 = 1$ に対して行列 $[(A^2 - w_i \overline{w_j}) K^{\alpha,\beta}(z_i, z_j)]$ が半正定値であることである。ここで $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} \|$ は普遍的に成り立たないことが示され、反例の存在が予想されている。