[논문 리뷰] The boundary analog of the Carathéodory-Schur interpolation problem

V. Bolotnikov|arXiv (Cornell University)|2010. 08. 19.

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

한 줄 요약

이 논문은 스슈르-클래스 함수에 대한 고전적 카라테오도리-슈어 보간 문제의 경계 버전을 수립하며, 단위 원주 위의 점에서 주어진 비탄성 경계 전개를 갖는 스슈르 함수의 존재에 대한 필요하고도 충분한 조건을 제공한다. 핵심 결과는 경계 자료와 두 보조 매개변수로부터 구성된 양의 준정적 행렬을 통해 해의 존재성을 특성화하며, 고전적 내부 보간을 경계 설정으로 확장하고 명시적인 유일성 및 유한성 조건을 제공한다.

ABSTRACT

Characterization of Schur-class functions (analytic and bounded by one in modulus on the open unit disk) in terms of their Taylor coefficients at the origin is due to I. Schur. We present a boundary analog of this result: necessary and sufficient conditions are given for the existence of a Schur-class function with the prescribed nontangential boundary expansion $f(z)=s_0+s_1(z-t_0)+\ldots+s_N(z-t_0)^N+o(|z-t_0|^N)$ at a given point $t_0$ on the unit circle.

연구 동기 및 목표

• 단위 원판 내부의 점에서 고전적 카라테오도리-슈어 보간 문제를 단위 원주의 경계점으로 확장하기.
• 점 $ t_0 \in \mathbb{T} $ 에서 주어진 비탄성 경계 전개의 차수 $ N $ 을 갖는 스슈르-클래스 함수의 존재를 특성화하기.
• 해가 존재하는 조건과, 그것이 유일하거나 무한한 가족에 속하는 조건을 규명하기.
• 해가 유일할 경우 이를 유한 블라시케 곱으로 식별하고, 결정되지 않은 경우 해의 집합의 구조를 묘사하기.

제안 방법

• 문제는 스슈르-클래스 함수 $ f \in \mathcal{S} $ 를 찾는 것으로, 비탄성 경계 극한 $ f_j(t_0) = s_j $ ($ j = 0, \dots, N $) 이 주어지며, 이는 $ z \to t_0 $ 이면서 비탄성 방향으로 수렴할 때의 점근 전개 $ f(z) = \sum_{j=0}^N s_j (z - t_0)^j + o(|z - t_0|^N) $ 과 동치이다.
• 핵심 구성은 계수 $ s_0, \dots, s_N $ 과 보조 매개변수 $ R_0 $ 를 포함한 고차 도함수를 다루는 행렬과 함께, 경계 자료로부터 유도된 양의 준정적 행렬 $ \mathbb{P}^\mathbf{s}_n $ 이다.
• 해의 존재는 구조화된 행렬 $ \mathbb{P}^\mathbf{s}_n $ 의 정성에 의해 결정되며, 복소수 $ R_0 $ 과 차이 $ p^{\mathbf{s}}_{n+1,n} - \overline{p}^{\mathbf{s}}_{n,n+1} $ 를 포함한 추가 조건이 필요하다.
• 분석은 카라테오도리-줄리아 이론과 스슈르 함수의 성질, 특히 $ \frac{1 - |f(z)|^2}{1 - |z|^2} $ 가 경계 근처에서의 행동을 활용한다.
• 증명은 보간 자료의 확장에 대한 재귀적 구성과 $ \mathcal{E}(t_0) = R_0 $ 를 만족하는 함수 $ \mathcal{E} \in \mathcal{S} $ 의 사용에 기반하며, 해의 존재는 $ |R_0| < 1 $ 여부에 따라 달라진다.
• 해의 유일성과 유한성은 행렬 $ \mathbb{P}^\mathbf{s}_n $ 의 질량에 의해 결정되며, $ \mathbb{P}^\mathbf{s}_n $ 가 특이행렬이면 유일한 해는 유한 블라시케 곱이 된다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 스슈르-클래스 함수가 단위 원주의 경계점 $ t_0 \in \mathbb{T} $ 에서 주어진 비탄성 경계 전개의 차수 $ N $ 을 갖는가?
• RQ2 그러한 함수가 언제 유일하며, 언제 무한히 많은 해를 갖는가?
• RQ3 해의 집합의 구조(유한 또는 무한)는 경계 자료로부터 구성된 관련 행렬의 정성과 특이성과 어떻게 관련되는가?
• RQ4 보조 매개변수 $ R_0 $ 과 $ c_n(t_0) $ 는 해의 존재성 결정에 어떤 역할을 하는가?
• RQ5 경계 보간 문제와 고전적 내부 카라테오도리-슈어 문제 사이의 관계는 무엇이며, 해의 기준에서 주요 차이는 무엇인가?

주요 결과

• 계수 $ s_0, \dots, s_N $ 로부터 구성된 특정 행렬 $ \mathbb{P}^\mathbf{s}_n $ 이 양의 준정적이며, $ R_0 $ 과 차이 $ p^{\mathbf{s}}_{n+1,n} - \overline{p}^{\mathbf{s}}_{n,n+1} $ 를 포함한 보조 조건이 만족될 때, $ t_0 \in \mathbb{T} $ 에서 주어진 경계 전개를 갖는 스슈르-클래스 함수가 존재한다.
• 만약 $ |s_0| < 1 $ 이면, 무한히 많은 해가 존재하며, 이는 고전적 경우와 일치한다.
• 만약 $ |s_0| = 1 $ 이고 $ \mathbb{P}^\mathbf{s}_n $ 가 특이행렬이면, 유일한 해가 존재하며, 이는 $ \mathbb{P}^\mathbf{s}_n $ 의 질량과 동일한 차수의 유한 블라시케 곱이다.
• $ |s_0| = 1 $, $ \mathbb{P}^\mathbf{s}_n > 0 $, 그리고 $ N = 2n - 1 $ 이면, 무한히 많은 해가 존재한다.
• 만약 $ |s_0| = 1 $, $ \mathbb{P}^\mathbf{s}_n > 0 $, 그리고 $ N > 2n $ 이면, 해가 존재하는 것은 $ t_0(p^{\mathbf{s}}_{n+1,n} - \overline{p}^{\mathbf{s}}_{n,n+1}) > 0 $ 를 만족할 때에만 가능하며, 이 경우에도 무한히 많은 해가 존재한다; 그렇지 않으면 해가 존재하지 않는다.
• $ |s_0| = 1 $, $ \mathbb{P}^\mathbf{s}_n > 0 $, 그리고 $ N = 2n $ 이면, 해가 존재하는 것은 $ p^{\mathbf{s}}_{n+1,n} = \overline{p}^{\mathbf{s}}_{n,n+1} $ 일 때에만 가능하며, 이 경우에도 무한히 많은 해가 존재한다.