[논문 리뷰] The Corona Property in Nevanlinna quotient algebras and Interpolating sequences

Xavier Massaneda, Artur Nicolau외 1명|arXiv (Cornell University)|2018. 04. 10.

Holomorphic and Operator Theory참고 문헌 15인용 수 5

한 줄 요약

이 논문은 네바린나 몫 대수 $\mathcal{N}/B\mathcal{N}$에서 코로나 성질이 성립하는 것은 블라시케 곱 $B$의 영점 집합이 네바린나 보간 수열들의 유한한 합집합일 때이고 그때에만 성립함을 증명한다. 이 결과는 균일한 하한 대신 양의 조화 주요 함수를 사용하여 고전적인 코로나 이론을 네바린나 클래스로 확장하며, 분할 차분과 조화 함수 제어를 통한 이러한 블라시케 곱의 동치 특성화를 제공한다.

ABSTRACT

Let $I$ be an inner function in the unit disk $\\mathbb D$ and let $\\mathcal N$ denote the Nevanlinna class. We prove that under natural assumptions, Bezout equations in the quotient algebra $\\mathcal N/I\\mathcal N$ can be solved if and only if the zeros of $I$ form a finite union of Nevanlinna interpolating sequences. This is in contrast with the situation in the algebra of bounded analytic functions, where being a finite union of interpolating sequences is a sufficient but not necessary condition. An analogous result in the Smirnov class is proved as well as several equivalent descriptions of Blaschke products whose zeros form a finite union of interpolating sequences in the Nevanlinna class.

연구 동기 및 목표

• 블라시케 곱 $B$에 대해 네바린나 몫 대수 $\mathcal{N}/B\mathcal{N}$에서 코로나 성질이 성립하는 조건을 특성화하는 것.
• 고전적인 코로나 이론을 $H^\infty$에서 네바린나 클래스 $\mathcal{N}$로 확장하기 위해 균일한 하한을 양의 조화 주요 함수로 대체하는 것.
• 영점 집합이 네바린나 보간 수열들의 유한한 합집합인 블라시케 곱에 대한 동치 특성화를 제공하는 것.
• 루셰의 정리와 조화 함수 제어를 통해 네바린나 보간 수열의 소수적 변형에 대한 안정성을 확립하는 것.

제안 방법

• 내부-외부 인수분해와 비영함수의 가역성을 갖는 네바린나 클래스 $\mathcal{N}$을 사용하여 몫 대수 $\mathcal{N}/B\mathcal{N}$를 정의하는 것.
• Bézout 방정식 $f_1g_1 + \cdots + f_n g_n = 1 + Bh$가 $f_i, g_i, h \in \mathcal{N}$에서 해를 갖는 것으로 $\mathcal{N}/B\mathcal{N}$에서의 코로나 성질을 정의하며, 조건 $|f_1(\lambda)| + \cdots + |f_n(\lambda)| \geq e^{-H(\lambda)}$가 $\lambda \in \Lambda$, $H \in \operatorname{Har}_+(\mathbb{D})$에서 성립하는 경우를 포함하는 것.
• 루셰의 정리를 적용하여, 영점 집합이 네바린나 보간 수열들의 유한한 합집합인 블라시케 곱 $B$의 소수적 변형 $B - g$가 동일한 영점 구조를 유지하고, 또한 네바린나 보간 수열임을 보이는 것.
• Harnack 부등식과 $|B(N)|$의 로그 하위레벨 집합에서의 코시 추정을 사용하여, $|B(N)(z)| \leq \exp(-H_4(z))$를 가정할 경우 모순을 이끌어내어 조화 주요 함수에 관한 핵심 명제를 증명하는 것.
• 집합 $\Lambda$에서 순서 $N-1$의 분할 차분을 사용하여, 양의 조화 함수에 의한 균일한 제어를 통해 네바린나 보간 수열들의 유한한 합집합을 특성화하는 것.
• 참고문헌 [8, 보조정리 2.3]의 안정성 결과를 활용하여, $g$가 $\mathcal{N}$-노름에서 충분히 작을 경우 $B - g$의 변형된 영점 집합이 네바린나 보간 수열로 유지됨을 결론짓는 것.

실험 결과

연구 질문

• RQ1 네바린나 몫 대수 $\mathcal{N}/B\mathcal{N}$에서 코로나 성질이 언제 성립하는가?
• RQ2 영점 집합이 네바린나 보간 수열들의 유한한 합집합인 블라시케 곱 $B$는 무엇으로 특성화되는가?
• RQ3 네바린나 몫 대수에서 Bézout 방정식의 해 존재성은 균일한 하한 대신 조화 주요 함수와 어떻게 관련되는가?
• RQ4 생성 블라시케 곱의 소수적 해석적 변형에서 네바린나 보간 수열은 유지되는가?
• RQ5 분할 차분은 네바린나 보간 수열들의 유한한 합집합을 특성화하는 데 어떤 역할을 하는가?

주요 결과

• 코로나 성질이 $\mathcal{N}/B\mathcal{N}$에서 성립하는 것은 블라시케 곱 $B$의 영점 집합 $\Lambda$가 네바린나 보간 수열들의 유한한 합집합일 때이고 그때에만 성립한다.
• 모든 $f_1, \dots, f_n \in \mathcal{N}$에 대해 Bézout 방정식 $f_1g_1 + \cdots + f_n g_n = 1 + Bh$가 $\mathcal{N}$에서 해를 갖는 것은 $\Lambda$의 모든 $\lambda$와 어떤 $H \in \operatorname{Har}_+(\mathbb{D})$에 대해 $|f_1(\lambda)| + \cdots + |f_n(\lambda)| \geq e^{-H(\lambda)}$를 만족할 때이다.
• $\Lambda = \bigcup_{j=1}^N \Lambda_j$이고 각 $\Lambda_j$가 네바린나 보간 수열일 경우, 모든 $z \in \mathbb{D}$와 $j = 1, \dots, N$에 대해 $\#\Lambda_j \cap D_{H_1}(z) \leq 1$를 만족하는 $H_1 \in \operatorname{Har}_+(\mathbb{D})$가 존재한다.
• $g \in \mathcal{N}$이 $|g(z)| \leq e^{-H_0(z)}$이고 $H_0 > (N^2 + N + 1)H_1$를 만족할 경우, 블라시케 곱 $B - g$는 영역의 각 성분에서 $B$와 동일한 수의 영점을 가지며, 그 영점 집합도 네바린나 보간 수열들의 유한한 합집합이다.
• $B - g = B_1 G$의 인수분해가 성립하며, 여기서 $B_1$은 네바린나 내부 블라시케 곱의 유한한 곱이고 $G$는 $\mathcal{N}$에서 가역적이며, 이는 $1/G \in H^\infty$임을 의미한다.
• 집합 $\Lambda$가 네바린나 보간 수열들의 유한한 합집합임은 $\mathcal{N}|\Lambda$가 순서 $N-1$의 분할 차분이 양의 조화 함수에 의해 균일하게 제어되는 함수들의 공간 $X^{N-1}(\Lambda)$와 정확히 일치할 때이다.