[논문 리뷰] On the radius constants for classes of analytic functions

Rosihan M. Ali, Naveen Kumar Jain외 1명|arXiv (Cornell University)|2012. 07. 19.

Analytic and geometric function theory참고 문헌 29인용 수 26

한 줄 요약

이 논문은 단위 원판에서 해석 함수의 여러 종류에 대해 날카로운 반경 상수를 결정한다. 이는 양의 순서의 항성성, 포물선형 항성성, 베르누이 렘니스케이트 항성성, 그리고 균일한 볼록성 포함된다. 주조 및 실부분 추정을 사용하여 저자들은 이러한 반경에 대한 명시적 공식을 유도하며, 핵심 결과로는 $\Sigma$-반경이 $\Sigma(\alpha)$에 대해 날카롭게 결정되고, $g$ 가 단일가역일 때 $|f'(z)/g'(z) - 1| < 1$ 를 만족하는 함수의 클래스에 대해 $R_{\mathcal{UCV}} = 5 - 2\sqrt{6}$ 가 도출된다.

ABSTRACT

Radius constants for several classes of analytic functions on the unit disk are obtained. These include the radius of starlikeness of a positive order, radius of parabolic starlikeness, radius of Bernoulli lemniscate starlikeness, and radius of uniform convexity. In the main, the radius constants obtained are sharp. Conjectures on the non-sharp constants are given.

연구 동기 및 목표

• 단위 원판 내 해석 함수에 대해 양의 순서의 항성성 반경을 결정하는 것.
• 특정 함수 클래스에 대해 포물선형 항성성 및 베르누이 렘니스케이트 항성성의 반경을 계산하는 것.
• 별점 또는 볼록 함수와의 비율 조건을 만족하는 클래스에 대해 균일한 볼록성 반경을 설정하는 것.
• 극한 함수와 주조 기법을 사용하여 이러한 반경에 대해 날카로운 경계를 제공하는 것.
• 별점 또는 볼록 함수와의 주조를 통해 정의된 새로운 부분집합을 고려하여 기존의 반경 상수 결과를 확장하는 것.

제안 방법

• 저자들은 단위 원판 내에서 $f$ 와 $g$ 의 행동을 제한하기 위해 주조 이론과 해석 함수의 실부분 추정을 사용한다.
• 일반화된 삼각부등식과 $|1 + zf''(z)/f'(z) - (1 + r^2)/(1 - r^2)|$ 에 대한 추정을 적용하여 반경 추정을 유도한다.
• 특히 $\operatorname{Re}(1 + zf''(z)/f'(z)) \geq (1 - 5r)/(1 - r^2)$ 와 같은 핵심 부등식을 사용하여 $\mathcal{C}(\alpha)$-반경을 결정한다.
• 반경 경계의 날카로움을 확인하기 위해 극한 함수 $f_0$ 와 $g_0$ 를 구성한다.
• 포물선 영역 내에 원판이 포함됨을 보여주는 레마를 적용하여 $\mathcal{UCV}$-반경을 도출한다.
• 결과는 $g$ 가 단일가역, 별점 또는 볼록일 경우를 고려하여 유도된다.

실험 결과

연구 질문

• RQ1 주어진 클래스의 모든 $f$ 에 대해 $r^{-1}f(rz)$ 가 순서 $\alpha$ 의 항성성이 되는 최대의 $r > 0$ 는 무엇인가?
• RQ2 함수 $f$ 가 $\mathbb{D}_r$ 의 상이 포물선 영역 내에 있을 때의 $r$ 은 무엇인가, 이를 통해 포물선형 항성성이 보장되는가?
• RQ3 함수 $f$ 가 $\mathbb{D}_r$ 을 볼록 영역으로 매핑하는 최대의 $r$ 은 무엇인가, 이를 통해 균일한 볼록성이 보장되는가?
• RQ4 비율 조건 $|f(z)/g(z) - 1| < 1$ 또는 $|f'(z)/g'(z) - 1| < 1$ 이 기하학적 성질의 반경에 어떤 영향을 미치는가?
• RQ5 별점 또는 볼록 함수와의 주조를 통해 정의된 클래스에 대해 날카로운 반경 상수를 도출할 수 있는가?

주요 결과

• $g$ 가 단일가역일 때 $|f'(z)/g'(z) - 1| < 1$ 을 만족하는 함수에 대해 $\mathcal{C}(\alpha)$-반경은 $R_{\mathcal{C}(\alpha)} = \frac{2(1 - \alpha)}{5 + \sqrt{25 + 4\alpha(\alpha - 1)}}$ 이다.
• 동일한 클래스에 대해 $\mathcal{UCV}$-반경은 $R_{\mathcal{UCV}} = 5 - 2\sqrt{6} \approx 0.101021$ 이며, 이 경계는 날카롭다.
• $g$ 가 별점일 경우 $\mathcal{C}(\alpha)$-반경은 $R_{\mathcal{C}(\alpha)} = \frac{2(1 - \alpha)}{3 + \sqrt{9 + 4\alpha(\alpha - 1)}}$ 이며, $R_{\mathcal{UCV}} = 3 - 2\sqrt{2} \approx 0.171573$ 이다.
• $g$ 가 볼록일 경우 $\mathcal{UCV}$-반경은 $3 - 2\sqrt{2}$ 이며, 이 결과는 극한 함수 $f_0(z) = \int_0^z \frac{1 + t}{(1 - t)^2} dt$ 를 통해 날카로움이 확인되어 근본적이다.
• 포물선형 항성성 반경은 이미지 디스크가 포물선 영역 $\{w : |w - 1| < \operatorname{Re} w\}$ 내에 있을 수 있도록 보장함으로써 결정된다.
• 증명 과정에서 구성된 극한 함수 $f_0$ 와 $g_0$ 는 실부분 경계에서 등호를 만족하여, 유도된 모든 반경 상수의 날카로움을 확인한다.