[논문 리뷰] A Constrained Nevanlinna-Pick Interpolation Problem

Kenneth R. Davidson, Vern I. Paulsen외 2명|ArXiv.org|2007. 11. 13.

Holomorphic and Operator Theory참고 문헌 8인용 수 6

한 줄 요약

이 논문은 복소 사영 2차원 구를 매개변수로 사용하는 재생 커널 힐버트 공간의 가중치를 이용하여, 단위 원판 위에서 $f'(0) = 0$ 조건을 만족하는 함수에 대한 네바린나-피크 보간 문제에 대해 필요하고도 충분한 조건을 설정한다. 주요 결과는 이러한 커널을 포함하는 특정 행렬이 구 위의 모든 매개변수 값에서 양의 준정부호여야만 보간이 가능하다는 것이며, 이는 유한하게 연결된 영역에 대한 아브라함세의 결과를 일반화한다.

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\}$ 이라는 제약 조건이 있는 대수로 확장하기.
• 매개변수 $|\alpha|^2 + |\beta|^2 = 1$ 에 따라 변화하는 재생 커널 힐버트 공간 $H^2_{\alpha,\beta}(\mathbb{D})$ 의 가중치를 식별하여 보간 문제를 모델링하기.
• 유한 집합 $F \subset \mathbb{D}$ 에 대해 몫 대수 $H^\infty_1 / \mathcal{I}^F$ 의 C*--envelope를 분석하여 스칼라 보간과 행렬 보간 간의 구조적 차이를 드러내기.

제안 방법

• 매개변수 $|\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*-envelope 이론을 활용하여 $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*-envelope 가 일반적으로 $\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$ 조건 하에서 네바린나-피크 보간 문제를 완전히 특성화하는가?
• 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*-envelope 는 명시적으로 계산할 수 있는가?
• 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)$ 에 대해 성립하는가?

주요 결과

• 보간 문제에서 $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}}$ 이고, 모든 $|\alpha|^2 + |\beta|^2 = 1$ 에 대해 행렬 $[(A^2 - w_i \overline{w_j}) K^{\alpha,\beta}(z_i, z_j)]$ 가 양의 준정부호여야만 보간이 가능하다.
• $F$ 가 $0$ 을 포함하면 $H^\infty_1 / \mathcal{I}^F$ 의 C*-envelope 는 $\mathfrak{M}_2$ 와 동형이며, 이는 $2 \times 2$ 행렬으로의 완전히 등거리 표현을 통해 입증된다.
• $F = \{x_1, x_2\}$ 이고 $d_{H^\infty_1}(x_1, x_2) < 1 $ 이면 C*-envelope 는 $\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} \|$ 는 일반적으로 성립하지 않으며, 반례가 존재할 것이라 추측된다.