[논문 리뷰] Bohr inequality for odd analytic functions

I. R. Kayumov, Saminathan Ponnusamy|arXiv (Cornell University)|2017. 01. 14.

Advanced Banach Space Theory참고 문헌 11인용 수 4

한 줄 요약

이 논문은 단위 원판 내에서 1보다 작거나 같은 값을 가진 홀함수에 대해 보어 부등식을 해결하여 $ r_2 = 0.789991\ldots $에서 정확한 보어 반경을 구하고, 알리, 바나르드, 솔리닌의 추측을 확인한다. 이 결과는 $ p $-대칭 함수로 일반화되며, 계수 추정과 슈바르츠 보조정리 기법을 사용하여 홀일관수 함수에 하위순서된 함수에 대한 새로운 보어 반경을 수립한다.

ABSTRACT

We determine the Bohr radius for the class of odd functions $f$ satisfying $|f(z)|\le 1$ for all $|z|<1$, settling the recent conjecture of Ali, Barnard and Solynin \cite{AliBarSoly}. In fact, we solve this problem in a more general setting. Then we discuss Bohr's radius for the class of analytic functions $g$, when $g$ is subordinate to a member of the class of odd univalent functions.

연구 동기 및 목표

• 단위 원판 내에서 1보다 작거나 같은 값을 가진 홀함수에 대한 보어 반경에 관한 알리, 바나르드, 솔리닌의 추측을 해결한다.
• $ f(z) = z\sum_{k=0}^\infty a_{pk+1}z^{pk} $ 형태의 $ p $-대칭 함수로 보어 부등식을 일반화하고, 정확한 반경 $ r_p $를 유도한다.
• 홀일관수 함수에 하위순서된 함수에 대한 새로운 보어 반경을 수립한다. 이 경우 계수 추정이 부족한 이유는 홀일관수 함수에 대한 정확한 상한이 없기 때문이다.
• 로고신스키의 정리와 $ \ell^2 $-노름 추정을 사용하여 홀일관수 함수의 계수 절댓값 합에 대한 정확한 상界를 제공한다.

제안 방법

• 함수 $ f(z) $ 의 $ p $-대칭 구조를 이용하여 특성 방정식 $ -6r^{p-1} + r^{2(p-1)} + 8r^{2p} + 1 = 0 $ 을 유도하고, $ (0,1) $ 내에서의 최대 양근이 보어 반경 $ r_p $ 를 제공한다.
• 최적화 함수를 $ z(z^p - a)/(1 - a z^p) $ 형식으로 구성하고, $ r_p $ 에서 유도된 $ a $ 를 사용하여 정확성의 검증을 수행한다.
• 하위순서 이론을 적용: $ g \prec f $ 이면 $ g(z) = f(w(z)) $ 이고, $ w(0) = 0 $, $ |w(z)| < 1 $ 이며, 슈바르츠 보조정리를 사용하여 $ |g'(0)| $ 를 유계화한다.
• $ \ell^2 $-노름 추정 $ \sum_{k=1}^n |a_{2k-1}|^2 \leq n $ 을 사용하여 홀일관수 함수에 대해 $ \sum |a_{2k-1}| r^{2k-1} \leq \frac{r}{1 - r^2} $ 를 도출한다.
• 코시-슈바르츠 부등식을 $ \sum |b_k| r^k $ 에 적용하여 $ \sum |b_k| r^k \leq \frac{r}{(1 - r)\sqrt{1 + r}} $ 를 이끌어내며, 이는 $ r^3 - 2r^2 - r + 1 \geq 0 $ 일 때 $ \leq 1 $ 이다.
• 제약 조건이 있는 최적화를 통해 $ \psi(x,y) $ 를 개선하여 보다 정밀한 반경 $ r \approx 0.564 $ 를 도출하고, $ f(z) = z/(1 - z^2) $ 에서 $ (\sqrt{5} - 1)/2 \approx 0.618 $ 이 정확한 상한임을 보여준다.

실험 결과

연구 질문

• RQ1 단위 원판 내에서 $ |f(z)| \leq 1 $ 인 홀함수의 클래스에 대해 정확한 보어 반경은 무엇인가요?
• RQ2 보어 부등식은 $ p $-대칭 함수로 일반화될 수 있으며, 이에 대응하는 보어 반경 $ r_p $ 는 무엇인가요?
• RQ3 홀일관수 함수 $ f $ 에 하위순서된 함수 $ g $ 에 대해, 홀일관수 함수의 계수 추정이 정확한 상한이 없기 때문에 보어 반경은 무엇인가요?
• RQ4 계수 노름의 제약 조건이 있는 최적화를 통해 $ r = 0.564 $ 초과의 보어 반경을 개선할 수 있을까요?
• RQ5 계수 $ a_1 = 1 $ 인 홀일관수 함수의 클래스에 대해 반경 $ (\sqrt{5} - 1)/2 \approx 0.618 $ 이 정확한가요?

주요 결과

• 절댓값이 단위 원판 내에서 1 이하인 홀함수에 대해 보어 반경은 정확히 $ r_2 = 0.789991\ldots $ 이며, 이는 알리, 바나르드, 솔리닌의 추측을 확인한다.
• $ p $-대칭 함수에 대해 보어 반경 $ r_p $ 는 방정정식 $ -6r^{p-1} + r^{2(p-1)} + 8r^{2p} + 1 = 0 $ 의 최대 양근이며, 최적화 함수는 $ z(z^p - a)/(1 - a z^p) $ 이다.
• 홀일관수 함수 $ f $ 에 하위순서된 함수 $ g $ 에 대해 보어 반경은 최소 $ r \approx 0.564 $ 이며, $ r^3 - 2r^2 - r + 1 \geq 0 $ 에 의한 초기 추정보다 향상되었다.
• $ a_1 = 1 $ 인 홀일관수 함수의 클래스에 대해 상한 $ (\sqrt{5} - 1)/2 \approx 0.618 $ 는 정확하며, $ f(z) = z/(1 - z^2) $ 에서 달성된다.
• 계수 $ |a_1| = \alpha \leq 1 $ 인 홀일관수 함수에 대해 보어 반경은 $ r\_\alpha = \frac{-\alpha + \sqrt{4 + \alpha^2}}{2} $ 이며, 최적화 함수는 $ \alpha z / (1 - z^2) $ 이다.
• 홀일관수 함수에 대해 $ \sum |a_{2k-1}| r^{2k-1} \leq \frac{r}{1 - r^2} $ 이 성립하며, 이는 $ \ell^2 $-노름 제약과 로고신스키의 정리로부터 도출된다.