[논문 리뷰] Majorants of meromorphic functions with fixed poles

Anton Baranov, Alexander Borichev외 1명|arXiv (Cornell University)|2006. 05. 02.

Holomorphic and Operator Theory참고 문헌 10인용 수 10

한 줄 요약

이 논문은 하류 반평면에 고정된 극을 가진 블라시케 곱수 $ B $ 와 관련된 모델 부분공간 $ K_B $ 내에서 유리형 함수의 허용 가능한 주요 함수에 대해 날카로운 조건을 확립한다. 힐버트 변환 기법과 준해석성 정리들을 사용하여, 내부 함수의 인수 값이 느리게 증가하는 경우(예: 영점이 흐าก하거나 거듭제곱 성장성을 가짐), 다항식보다 더 빨리 감쇠하는 주요 함수는 로그 적분 조건이 충족되지 않는 한 허용 가능하지 않음을 증명한다. 이는 베르링–말리비안 이론을 페일리–위너 공간을 초월한 더 일반적인 모델 부분공간으로 확장한다.

ABSTRACT

Let $B$ be a meromorphic Blaschke product in the upper half-plane with zeros $z_n$ and let $K_B=H^2\ominus BH^2$ be the associated model subspace of the Hardy class. In other words, $K_B$ is the space of square summable meromorphic functions with the poles at the points $\bar z_n$. A nonnegative function $w$ on the real line is said to be an admissible majorant for $K_B$ if there is a non-zero function $f\in K_B$ such that $|f|\le w$ a.e. on $\mathbb{R}$. We study the relations between the distribution of the zeros of a Blaschke product $B$ and the class of admissible majorants for the space $K_B$.

연구 동기 및 목표

• 모델 부분공간 $ K_B $ 와 관련된 고정된 극을 가진 유리형 블라시케 곱수에 대한 허용 가능한 주요 함수의 집합을 특성화하는 것.
• 페일리–위너 공간 내 주요 함수에 대한 베르링–말리비안 이론을 하드리 공간 $ H^2 $ 내 더 일반적인 모델 부분공간 $ K_B $ 로 확장하는 것.
• 블라시케 곱수 $ B $ 의 영점 분포가 $ K_B $ 에 대한 비자명한 주요 함수의 존재성에 어떻게 영향을 미치는지 조사하는 것.
• 주요 함수 $ w $ 에 대해 $ |f| \leq w $ 거의 모든 곳에서 $ \mathbb{R} $ 에서 성립하는 어떤 0이 아닌 $ f \in K_B $ 가 존재하도록 하는 날카로운 감쇠 조건을 결정하는 것.

제안 방법

• 주요 함수의 허용 가능성 분석을 위해 함수 $ \Omega = -\log w $ 의 힐버트 변환을 사용하여 $ K_B $ 내에서의 성질를 분석하고, 하빈과 마쉬레히의 기법을 확장하는 것.
• 덴조–카를레만 준해석성 정리를 적용하여, 푸리에 변환의 도함수가 0에서 0이 되면 함수가 식별적으로 0이 되어야 한다고 보여주는 것.
• 블라시케 곱수의 변형을 통해 보조 함수 $ g \in K_{B^\#} $ 를 구성하여, $ K_B $ 에서의 허용 가능성 조건을 $ B^\# $ 가 영점을 이동시킨 경우의 $ K_{B^\#} $ 로 이전시키는 것.
• 레전드르 변환 기법을 사용하여 계수의 성장 $ \sqrt{y_n} $ 와 주요 함수의 감쇠를 함수 $ Y(r) = -\log y(r) $ 를 통해 연결하는 것.
• 모델 부분공간 $ K_B $ 에 속한 함수 $ f $ 의 푸리에 변환 $ F(x) = \int f(t)e^{-itx}dt $ 를 분석하여, 매끄럽고 감쇠 조건이 만족되면 $ f \equiv 0 $ 임을 보여주는 것.
• 영점 분포와 허용 가능성 간의 관계를 연결하기 위해 $ \sum n^{-3/2} \log(1/y_n) $ 와 같은 급수의 발산 여부를 통해 필요 및 충분 조건을 설정하는 것.

실험 결과

연구 질문

• RQ1 블라시케 곱수 $ B $ 의 영점 수열 $ \{z_n\} $ 에 대해 어떤 조건이 모델 부분공간 $ K_B $ 에 대해 주요 함수 $ w $ 가 허용 가능한가?
• RQ2 모델 부분공간 $ K_B $ 내에서 주요 함수 $ w $ 가 $ \mathbb{R} $ 에서 감쇠하는 속도는 극 $ \overline{z}_n $ 의 분포와 어떻게 관련이 있는가?
• RQ3 페일리–위너 공간 내 주요 함수에 대한 베르링–말리비안 정리가 균일하게 분포하지 않은 영점을 가진 모델 부분공간 $ K_B $ 로 확장 가능한가?
• RQ4 함수 $ Y(e^x) = -\log y(e^x) $ 의 볼록성은 빠르게 감쇠하는 주요 함수의 허용 가능성에 어떤 역할을 하는가?
• RQ5 모델 부분공간 $ K_B $ 에 속한 함수 $ f $ 의 푸리에 변환의 모든 도함수가 0에서 0이 되면 언제 $ f \equiv 0 $ 이 되며, 이는 주요 함수의 감쇠와 어떻게 연결되는가?

주요 결과

• 만약 영점 $ z_n = n + i y_n $ 의 허수부 수열 $ \{y_n\} $ 가 $ \sum n^{-3/2} \log(1/y_n) < \infty $ 를 만족하면, $ \mathcal{L}(w) < \infty $ 를 만족하는 모든 짝수이고 감소하는 주요 함수 $ w $ 는 $ K_{B_1} $ 에 대해 허용 가능하다.
• 만약 $ \sum n^{-3/2} \log(1/y_n) = \infty $ 이고 $ Y(r) = -\log y(r) $ 가 볼록이며 $ Y(e^x) $ 가 $ \mathbb{R} $ 에서 볼록이면, 다항식보다 더 빨리 감쇠하는 어떤 주요 함수 $ w $ 도 $ K_{B_1} $ 에 대해 허용 가능하지 않다.
• 함수 $ g(t) = \sum \sqrt{y_n} c_n / (t - n + i(y_n + 1)) $ 는 $ f \in K_B $ 에서 유도되며, $ t > 1 $ 에서 $ |g(t)| \leq t^A e^{-Y(t)} $ 를 만족하여 계수 감쇠와 주요 함수 감쇠를 연결한다.
• 만약 함수 $ f \in K_B $ 의 푸리에 변환 $ F(x) $ 가 모든 $ k \geq 0 $ 에 대해 $ F^{(k)}(0) = 0 $ 이고 $ \int_1^\infty r^{-2} \log T(r) dr = \infty $ 이면 $ f \equiv 0 $ 이며, 이는 다항식보다 더 빨리 감쇠하는 주요 함수에 대해 such $ f $ 가 존재하지 않음을 의미한다.
• 클래식한 덴조–카를레만 준해석성 정리를 적용하여, $ \sup_n \sqrt{y_n} (en)^k \leq \exp(\sup_r [k \log r - \frac{1}{2} Y(r/e)]) $ 이고 로그 적분이 발산하면 $ f \equiv 0 $ 이다.
• 결과는 허수축 위에 영점이 있거나 거듭제곱 성장성을 가진 블라시케 곱수로 확장되며, 영점 분포가 로그 수렴 조건을 만족하지 않으면 다항식보다 더 빨리 감쇠하는 주요 함수에 대해 허용 불가능함을 보여준다.