[논문 리뷰] Bohr--Rogosinski radius for analytic functions

I. R. Kayumov, Saminathan Ponnusamy|arXiv (Cornell University)|2017. 08. 18.

Advanced Banach Space Theory참고 문헌 5인용 수 24

한 줄 요약

이 논문은 단위 원판 위의 해석 함수에 대해 보어-로고신스키 반경을 도입하고 조사하며, 함수의 절댓값과 테일 합계의 테일 계수를 결합함으로써 고전적 보어 및 로고신스키 부등식을 일반화한다. 저자들은 $ |f(z)| + \sum_{k=N}^\infty |a_k|r^k \leq 1 $ 를 만족하는 반경 $ r $ 에 대해 정확한 경계를 확립하며, 각각 $ 2(1+r)r^N - (1-r)^2 = 0 $ 과 $ (1+r)r^N - (1-r)^2 = 0 $ 을 풀어 얻은 정확한 반경을 도출한다. 또한 거리-경계 공식을 통해 하위순서 및 하위도메인으로의 개념을 확장한다.

ABSTRACT

There are a number of articles which deal with Bohr's phenomenon whereas only a few papers appeared in the literature on Rogosinski's radii for analytic functions defined on the unit disk $|z|<1$. In this article, we introduce and investigate Bohr-Rogosinski's radii for analytic functions defined for $|z|<1$. Also, we prove several different improved versions of the classical Bohr's inequality. Finally, we also discuss the Bohr-Rogosinski's radius for a class of subordinations. All the results are proved to be sharp.

연구 동기 및 목표

• 해석 함수의 단위 원판 위에서 $ |f(z)| $ 와 테일 계수를 조합한 새로운 양인 보어-로고신스키 합을 정의하고 분석한다.
• 보어 및 로고신스키 부등식을 통합된 반경 개념을 도입함으로써 일반화하여 두 현상 사이를 보간한다.
• 단위 원판에서 $ |f(z)| < 1 $ 라는 조건 하에 부등식 $ |f(z)| + \sum_{k=N}^\infty |a_k|r^k \leq 1 $ 에 대해 정확한 반경을 확립한다.
• 거리-경계 공식을 사용하여 하위순서 및 단일형 사상으로 보어-로고신스키 현상을 확장한다.

제안 방법

• 해석 함수에 대해 $ |f(z)| < 1 $ 이면 $ \mathbb{D} $ 에서 보어-로고신스키 합 $ R_N^f(z) = |f(z)| + \sum_{k=N}^\infty |a_k|r^k $ 를 정의한다.
• 스바르츠-피크 보조정리와 와이너의 계수 상한을 적용하여 $ |f(z)| $ 와 $ |a_k| $ 를 상계화하며, 이로 인해 $ |a_0| $ 를 포함한 부등식을 이끌어낸다.
• 부등식 $ R_N^f(z) \leq 1 $ 이 $ r \leq R_N $ 에서 성립하도록 보장하는 정확한 반경 $ R_N $ 을 $ \psi_N(r) = 2(1+r)r^N - (1-r)^2 = 0 $ 의 양의 근으로 도출한다.
• 극한 함수 $ f(z) = \frac{a - z}{1 - a z} $ 를 통해 정확성을 증명하며, $ r > R_N $ 일 때 등호가 성립하지 않음을 보인다.
• 거리-경계 공식을 사용하여 하위순서로 결과를 일반화한다. 이는 $ 1 - |f(z)| $ 를 $ f(z) $ 와 그 이미지 도메인의 경계 $ \partial\Omega $ 사이의 거리로 대체함으로써 이루어진다.
• 거리 기반 부등식을 수립한다: $ |g(z)| + \sum_{k=1}^\infty |b_k|r^k \leq |f(0)| + \text{dist}(f(0), \partial\Omega) $, 이는 $ f $ 가 단일형일 경우 $ r \leq 5 - 2\sqrt{6} \approx 0.101 $ 에서 성립한다.

실험 결과

연구 질문

• RQ1 모든 해석 함수 $ f $ 에 대해 $ |f(z)| < 1 $ 이면 $ |f(z)| + \sum_{k=N}^\infty |a_k|r^k \leq 1 $ 이 성립하는 최대 반경 $ r $ 은 무엇인가?
• RQ2 보어-로고신스키 합은 고전적 보어 및 로고신스키 현상 사이를 어떻게 보간하는가?
• RQ3 기하적 거리 공식을 사용하여 보어-로고신스키 반경을 하위순서 또는 볼록 사상으로 하는 함수로 확장할 수 있는가?
• RQ4 함수가 단일형일 경우, 모든 $ g \prec f $ 에 대해 부등식 $ |g(z)| + \sum_{k=1}^\infty |b_k|r^k \leq |f(0)| + \text{dist}(f(0), \partial\Omega) $ 가 성립하는 최적의 반경 $ r_f $ 는 무엇인가?
• RQ5 유도된 반경의 정확성 조건은 무엇이며, 등호를 만족시키는 극한 함수는 무엇인가?

주요 결과

• 보어-로고신스키 반경 $ R_N $ 은 $ 2(1+r)r^N - (1-r)^2 = 0 $ 의 양의 근이며, $ r \leq R_N $ 에서 $ |f(z)| + \sum_{k=N}^\infty |a_k|r^k \leq 1 $ 이 모든 함수에 대해 성립한다. 극한 함수 $ f(z) = \frac{a - z}{1 - a z} $ 를 통해 $ a \to 1^- $ 일 때 정확성이 확인된다.
• 제곱 절댓값 형태의 경우 반경 $ R_N' $ 은 $ (1+r)r^N - (1-r)^2 = 0 $ 의 양의 근이며, $ r \leq R_N' $ 에서 $ |f(z)|^2 + \sum_{k=N}^\infty |a_k|r^k \leq 1 $ 이 성립한다. $ a = \sqrt{3/11} $ 과 $ r = \sqrt{11/27} $ 를 사용하여 정확성이 입증된다.
• 함수가 단일형이고 $ g \prec f $ 이면, $ r \leq 5 - 2\sqrt{6} \approx 0.101021 $ 에서 $ |g(z)| + \sum_{k=1}^\infty |b_k|r^k \leq |f(0)| + \text{dist}(f(0), \partial\Omega) $ 가 성립하며, 코베 함수 $ f(z) = z/(1-z)^2 $ 를 통해 정확성이 입증된다.
• 볼록 단일형 함수의 경우 반경은 $ r_f = 1/5 $ 로 향상되며, 이는 $ f(z) = z/(1-z) $ 에서 정확성이 입증된다. 계수 및 거리 추정을 통해 이 경계가 확인된다.
• 거리-경계 공식은 보어-로고신스키 현상을 단위 원판을 초월해 임의의 단순연결 도메인으로의 사상으로 일반화할 수 있게 한다.
• 모든 유도된 반경은 정확성이 입증되었으며, 극한 함수를 명시적으로 구성하여 $ r > R_N $, $ R_N' $, 또는 $ r_f $ 일 때 부등식이 성립하지 않음을 보였다.