[논문 리뷰] Radial growth of functions from the Korenblum space

Alexander Borichev, Yurii Lyubarskii외 2명|arXiv (Cornell University)|2009. 03. 30.

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

한 줄 요약

이 논문은 단위 원판 내에서 $ v(r) = -\log(1-r)^{-1} $ 유형의 주조 함수로 majorized되는 해석적 및 조화 함수의 반경적 성장과 감쇠를 조사한다. 하우스도르프 측도 추정을 통해, 극값 반경 성장 또는 감쇠는 르베그 측도가 0인 예외적 집합에서만 발생할 수 있으며, 이 집합의 크기는 $ h_\alpha(t) = t|\log t|^\alpha $ 척도에 따라 정량적으로 제한된다. 주요 기여는 하우스도르프 측도를 사용한 예외적 집합에 대한 정밀 추정이다.

ABSTRACT

We study radial behavior of analytic and harmonic functions, which admit a certain majorant in the unit disk. We prove that extremal growth or decay may occur only along small sets of radii and give precise estimates of these exceptional sets.

연구 동기 및 목표

• 주어진 코렌블룸 공간 $ A^{-\infty} $의 모델인 $ v(r) = \log\frac{1}{1-r} $로 majorized되는 단위 원판 내 해석적 및 조화 함수의 반경적 행동을 이해하는 것.
• 해당 함수가 반경을 따라 얼마나 빠르게 성장하거나 감쇠할 수 있는지, 특히 극값 성장/감쇠가 넓은 반경 집합에서 발생할 수 있는지 확인하는 것.
• 반경을 따라 극값 반경 성장 또는 감쇠가 발생할 수 있는 예외적 집합의 크기를 하우스도르프 측도와 게이지 함수 $ h_\alpha(t) = t|\log t|^\alpha $를 사용하여 정량화하는 것.
• 코렌블룸 클래스에 속하는 함수의 경우, 이러한 극값 행동이 르베그 측도가 0인 집합에 국한되며, 정밀한 측도론적 추정을 제공하는 것.
• 명시적 구성 방법을 통해 추정의 정밀성을 입증하는 것 — 즉, 하우스도르프 측도가 제어 가능한 칸토어 유형 집합을 가진 함수를 구성하는 것.

제안 방법

• 함수 $ f $에 대해 $ D_+(f) $와 $ D_-(f) $를 각각 $ \log|f(re^{i\theta})| $ 가 $ |\log(1-r)| $ 보다 더 빠르게 성장하거나 감쇠하는 각도 $ \theta \in [0,2\pi) $의 집합으로 정의한다.
• 조화 함수와 경계 측도 사이의 파oisson 적분 표현을 사용하여 비탄성 성장과 반경 성장 간의 관계를 유도한다.
• 조화 측도 부등식과 최대 함수 추정을 적용하여, 반경 성장 또는 감쇠가 주조 함수를 초과하는 예외적 집합의 크기를 제어한다.
• 중첩된 간격과 이진 분할을 사용하여 하우스도르프 측도 $ H_\lambda(C) $ 가 사전에 지정된 칸토어 유형 집합 $ C $ 를 구성함으로써 추정의 정밀성을 시험한다.
• 게이지 함수 $ \lambda(t) = t|\log t|^\alpha $ 를 사용하여 하우스도르프 측도를 정의하고, 커버링 추론 및 반복적 간격 수세기 방법을 통해 $ H_\lambda(D_\pm(f)) $ 에 대한 하한을 도출한다.
• 모든 $ n $ 에 대해 $ v^{(n)} \in \mathcal{K} $ 를 만족하는 양의 조화 함수의 수열 $ v^{(n)} $ 을 구성하여 $ H_\lambda(E_+(v^{(n)})) \to \infty $ 임을 보여, 추정의 정밀성을 입증한다.

실험 결과

연구 질문

• RQ1 코렌블룸 공간에 속하는 함수가 $ \log\frac{1}{1-r} $ 보다 더 빠르게 반경을 따라 성장하는 반경 집합의 최대 크기는 얼마인가?
• RQ2 코렌블룸 공간의 조화 함수가 $ -\log\frac{1}{1-r} $ 보다 더 빠르게 $ -\infty $ 로 감쇠하는 반경 집합이 넓을 수 있는가? 만약 가능하면, 그 집합은 얼마나 클 수 있는가?
• RQ3 반경 성장과 감쇠에 대한 예외적 집합의 크기는 서로 얼마나 유사한가? 그리고 게이지 함수 $ h_\alpha(t) = t|\log t|^\alpha $ 를 사용한 하우스도르프 측도로 이들을 정량화할 수 있는가?
• RQ4 반경 성장에 대한 예외적 집합의 하우스도르프 측도 추정이 정밀한가? 그리고 이를 명시적 구성으로 달성할 수 있는가?
• RQ5 양의 조화 함수가 주조 조건을 만족할 경우, 행동이 상당히 달라지는가?

주요 결과

• 모든 $ f \in A^{-\infty} $ 에 대해, $ \log|f(re^{i\theta})| $ 가 $ |\log(1-r)| $ 보다 더 빠르게 성장하는 반경 집합 $ D_+(f) $ 는 $ t \to 0 $ 일 때 $ \lambda(t) = o(t|\log t|^\alpha) $ 를 만족하는 모든 $ \alpha > 0 $ 에 대해 하우스도르프 측도가 0이다.
• 게이지 함수 $ \lambda(t) = t|\log t|^\alpha $ 에 대해 $ \alpha \geq 1 $ 이면 $ D_+(f) $ 는 양의 $ H_\lambda $-측도를 가지며, 이 추정은 정밀하다: 이러한 $ \lambda $ 에 대해 $ H_\lambda(D_+(f)) > 0 $ 인 함수가 존재한다.
• 조화 함수 $ u \in \mathcal{K} $ 에 대해, $ u(re^{i\theta}) \to -\infty $ 가 $ \log\frac{1}{1-r} $ 보다 더 빠르게 감쇠하는 반경 집합 $ D_-(u) $ 도 $ D_+(f) $ 와 동일한 하우스도르프 측도 추정을 만족하며, 이는 예외적 집합 크기의 대칭성을 시사한다.
• 논문은 $ \lambda(t) = t|\log t| $ 인 경우 $ H_\lambda(E_+(u)) = \infty $ 인 함수 $ u \in \mathcal{K} $ 를 구성하여, 추정의 정밀성이 입증되었고, 이를 향상시킬 수 없음을 보였다.
• 양의 조화 함수가 $ u(z) \leq \log\frac{1}{1-|z|} $ 를 만족할 경우, 반경 성장에 대한 예외적 집합 $ E_+(u) $ 는 $ \lambda(t) = t|\log t| $ 에 대해 전체 하우스도르프 측도 $ H_\lambda(E_+(u)) = \infty $ 를 가지며, 일반적인 조화 함수와는 다른 행동을 보임을 시사한다.
• 양의 조화 함수의 예외적 집합에 포함되며 $ n \to \infty $ 일 때 $ H_\lambda(C^{(n)}) \to \infty $ 가 되는 칸토어 유형 집합 $ C^{(n)} $ 의 구성은 측도론적 추정의 정밀성을 확인한다.