[논문 리뷰] An inductive Julia-Caratheodory theorem for Pick functions in two variables

J. E. Pascoe|arXiv (Cornell University)|2016. 05. 27.

Meromorphic and Entire Functions참고 문헌 5인용 수 3

한 줄 요약

이 논문은 점근적 행동과 모멘트 조건 간의 인두적 프레임워크를 도입하여, 두 변수 피ck 함수에 대한 고차수의 Julia-Carathéodory 정리를 수립한다. 함수가 중간 Löwner 클래스 $\mathcal{L}^{N-}$에 속해 있을 때, 그 나머지의 허수 부분이 순서 $2N+1$로 사라지는 것과 동시에 전체 Löwner 클래스 $\mathcal{L}^{N}$에 속해 있는지 여부를 증명하며, 실수 잔여항이 순서 $2N+1$로 나타나는 것은 정확히 $2N+1$-번째 도함수가 다항식임을 보여주며, 이는 고전적인 일변수 결과를 두 변수로 일반화한다.

ABSTRACT

We study the asymptotic behavior of Pick functions, analytic functions which take the upper half plane to itself. We show that if a two variable Pick function $f$ has real residues to order $2N-1$ at infinity and the imaginary part of the remainder between $f$ and this expansion is of order $2N+1,$ then $f$ has real residues to order $2N$ and directional residues to order $2N+1.$ Furthermore, $f$ has real residues to order $2N+1$ if and only if the $2N+1$-th derivative is given by a polynomial, thus obtaining a two variable analogue of a higher order Julia-Carathéodory type theorem.

연구 동기 및 목표

• 무한대에서의 고차수 점근적 이론을 개발하여 고전적인 Julia-Carathéodory 정리를 두 변수 피ck 함수로 확장한다.
• 잔여항과 모멘트 조건을 통해 Löwner 클래스 $\mathcal{L}^N$ 과 $\mathcal{L}^{N-}$ 를 특성화한다.
• 유계성과 잔여항의 허수 부분의 소멸을 통해 $\mathcal{L}^{N-1}$, $\mathcal{L}^{N-}$, $\mathcal{L}^N$ 간의 전이를 위한 인두 기준을 수립한다.
• 모든 Löwner 클래스 계층이 일변수에서는 붕괴되지만, 두 변수에서는 그렇지 않음을 보여주는 반례를 구성함으로써, 두 변수에서의 Löwner 클래스 계층이 붕괴되지 않음을 입증한다.

제안 방법

• 피ck 함수를 연산자 내적으로 표현하기 위해 두 변수 Nevanlinna 표현을 사용하여, 모멘트 이론적 분석을 가능하게 한다.
• Agler-McCarthy 벡터 모멘트 이론을 적용하여 점근적 정규성을 연산자 이론적 모멘트 조건으로 변환한다.
• 스펙트럼 이론과 단조 수렴을 활용하여 무한대에서 비탄성 경로를 따라 함수의 허수 부분의 점근적 행동을 분석한다.
• 해당 잔여항의 재귀적 구조를 $r_k(z)$ 함수를 통해 도출하며, 이는 해리솔브와 관련된 벡터의 내적이다.
• 방향 잔여항과 스칼라/벡터 모멘트의 개념을 도입하여 순서 $2N+1$까지의 정규성을 특성화하고, 이를 다항식 도함수와 연결한다.
• 수정된 왼쪽 정규 표현을 사용한 $l^2(\mathbb{Z}_{2(n-1)})$ 에서의 반례를 구성하여 $\mathcal{L}^N \neq \mathcal{L}^{N-}$ 를 보여준다.

실험 결과

연구 질문

• RQ1 실수 잔여항이 순서 $2N-1$까지 존재하는 두 변수 피ck 함수가 실수 잔여항을 순서 $2N$까지, 그리고 방향 잔여항을 순서 $2N+1$까지 갖는 조건은 무엇인가?
• RQ2 중간 Löwner 클래스 $\mathcal{L}^{N-}$ 에 속하는 함수가 전체 Löwner 클래스 $\mathcal{L}^N$ 에도 속해 있는가?
• RQ3 스칼라 및 벡터 모멘트의 존재성과 피ck 함수의 허수 부분의 무한대에서의 점근 전개 사이의 정확한 관계는 무엇인가?
• RQ4 두 변수 이론은 일변수 경우와 어떻게 다를까? 특히 Löwner 클래스 계층이 붕괴되는가?
• RQ5 두 변수 피ck 함수의 $2N+1$-번째 도함수는 어떤 모멘트 조건과 잔여항 구조로 특성화되는가?

주요 결과

• 두 변수 피ck 함수 $f$ 가 순서 $2N+1$까지 실수 잔여항을 갖는다 하는 것은 그 $2N+1$-번째 도함수가 다항식임과 동치이며, 고전적인 Julia-Carathéodory 정리 정신에서 완전한 특성화를 제공한다.
• 함수 $f$ 가 $\mathcal{L}^N$ 에 속해 있는 것은 $\mathcal{L}^{N-}$ 에 속하고, $2N-1$-차수 전개 후의 나머지의 허수 부분이 순서 $2N+1$로 사라지는 것과 동치이며, 이는 고차수 정규성을 보장한다.
• 반례를 통해 두 변수에서 $\mathcal{L}^N \neq \mathcal{L}^{N-}$ 가 성립함을 입증하였으며, 이는 $r_{2n-1}(z)$ 가 다항식이 아니지만, 낮은 차수의 $r_k(z)$ 는 다항식임을 보여준다.
• 모든 $b \in (\mathbb{R}^+)^2$ 에 대해 $s^{2N-1} \text{Im}[h(isb) - \sum_{|n|\leq 2N-3} \rho_n/(isb)^n]$ 의 허수 부분이 유계이면, $h \in \mathcal{L}^{N-}$ 이다. 이는 핵심적인 인두 기준을 확립한다.
• 방향 잔여항 $r_{2N-1}(b)$ 는 $-\sum_{|n|=2N-1} \rho_n / b^n$ 과 같다. 이는 잔여항과 주요 나머지의 정확한 대수적 관계를 보여준다.
• 반례 함수 $f(z) = \langle (A - z_Y)^{-1} \alpha, \alpha \rangle$ 는 $\mathcal{L}^{N-}$ 에 속하지만 $\mathcal{L}^N$ 에는 속하지 않으며, $r_{2n-1}(z)$ 가 다항식이 아니기 때문에 $\mathcal{L}^N \subsetneq \mathcal{L}^{N-}$ 가 엄밀히 성립함을 증명한다.