[논문 리뷰] Coefficient Inequalities for Starlikeness and Convexity

Rosihan M. Ali, Moradi Nargesi Mahnaz외 1명|arXiv (Cornell University)|2011. 09. 03.

Analytic and geometric function theory참고 문헌 19인용 수 8

한 줄 요약

이 논문은 분석적 함수 $ f(z) = z + \sum_{n=2}^\infty a_n z^n $ 가 성질 $ \alpha $에 대해 항성성 또는 볼록성을 보장하는 날카운 계수 부등식을 확립한다. 이는 $ \sum_{n=2}^\infty n(n-1)|a_n| \leq \beta $ 라는 조건 하에 성립하며, $ \mathcal{S}^*_{\alpha} $, $ \mathcal{C}_{\alpha} $, $ \mathcal{R}(\alpha,\beta) $ 등의 부분군에 속하는 것을 보장하기 위한 $ \beta $ 의 최적 범위를 도출한다. 또한 이러한 결과를 가우스 수반 hypergeometric 함수에 적용하여 명시적인 매개수 조건을 도출한다.

ABSTRACT

For an analytic function f(z)=z+\sum_{n=2}^\infty a_n z^n satisfying the inequality \sum_{n=2}^\infty n(n-1)|a_n|\leq β, sharp bound on $β$ is determined so that $f$ is either starlike or convex of order $α$. Several other coefficient inequalities related to certain subclasses are also investigated.

연구 동기 및 목표

• 계수 제약 조건 $ \sum_{n=2}^\infty n(n-1)|a_n| \leq \beta $ 이 $ f \in \mathcal{S}^*(\alpha) $ 또는 $ f \in \mathcal{C}(\alpha) $ 를 유도할 수 있도록 하는 최적의 $ \beta $ 범위를 결정하는 것.
• 이 계수 조건을 $ \mathcal{S}^*_{\alpha} $, $ \mathcal{C}_{\alpha} $, $ \mathcal{R}(\alpha,\beta) $ 등의 관련 클래스로 확장하고, 상한의 날카움을 입증하는 것.
• 음수 계수를 갖는 함수에 대해 역방향 포함 관계를 조사하는 것.
• 유도된 계수 부등식을 가우스 수반 hypergeometric 함수 $ zF(a,b;c;z) $ 에 적용하여, $ \mathcal{R}(\alpha,\beta) $ 에 속하기 위한 매개수 조건을 도출하는 것.

제안 방법

• 계수 부등식 $ \sum_{n=2}^\infty n(n-1)|a_n| \leq \beta $ 이 성질 $ \alpha $에 대해 항성성과 볼록성을 보장하는 충분 조건으로 사용하는 것.
• 정리 1.3 에서 알려진 필요 및 충분 조건인 $ \sum (n - \alpha)|a_n| \leq 1 - \alpha $ 과 $ \sum n(n - \alpha)|a_n| \leq 1 - \alpha $ 를 적용하는 것.
• $ \alpha n^2 + (1 - \alpha)n - \beta $ 와 $ a_n $ 을 포함하는 부등식에서 계수 비교를 통한 최적 상한 유도. 이는 $ \mathcal{TR}(\alpha, \beta) $ 의 제약 조건을 활용한다.
• 가우스 합공식 $ F(a,b;c;1) = \frac{\Gamma(c)\Gamma(c-a-b)}{\Gamma(c-a)\Gamma(c-b)} $ 을 사용해 $ z=1 $ 에서 hypergeometric 함수의 값을 평가하는 것.
• 계수 급수의 대수적 변형을 통해 $ zF(a,b;c;z) \in \mathcal{R}(\alpha, \beta) $ 를 위한 충분 조건을 도출하고, 복소수 $ a,b $ 에 대해 $ c $ 의 범위를 제약하는 것.
• 극한 함수 $ f_0(z) = z - \frac{1 - \beta}{2\alpha + 2 - \beta} z^2 $ 의 구성으로 날카운 상한의 검증

실험 결과

연구 질문

• RQ1 계수 제약 조건 $ \sum_{n=2}^\infty n(n-1)|a_n| \leq \beta $ 이 $ f \in \mathcal{S}^*_{\alpha} $ 를 유도할 수 있도록 보장하는 최대 $ \beta $ 는 무엇인가요?
• RQ2 동일한 계수 제약 조건 하에 $ f \in \mathcal{C}_{\alpha} $ 를 보장하는 최적의 $ \beta $ 는 무엇인가요?
• RQ3 계수 제약 조건 $ \sum n(n-1)|a_n| \leq \beta $ 이 주어졌을 때, 어떤 매개수 $ a,b,c $ 에 대해 $ zF(a,b;c;z) \in \mathcal{R}(\alpha, \beta) $ 를 만족합니까?
• RQ4 $ \alpha $ 의 값에 따라 $ \beta $ 의 상한이 어떻게 변화하는가? 특히 $ \beta \geq 2(1 - \alpha) $ 인 경우에 대해 설명하시오.
• RQ5 유도된 계수 부등식의 날카움 상태는 어떻게 되며, 이를 어떻게 입증합니까?

주요 결과

• $ \sum_{n=2}^\infty n(n-1)|a_n| \leq \frac{1 - \alpha}{2 - \alpha} $ 이면 $ f \in \mathcal{C}_{\alpha} $ 이며, 이 상한은 날카롭다.
• $ \sum_{n=2}^\infty n(n-1)|a_n| \leq \frac{1 - \alpha}{2 - \alpha} $ 이면 $ f \in \mathcal{S}^*_{\alpha} $ 이며, 이 상한은 날카롭다.
• $ \beta \geq 2(1 - \alpha) $ 이면 $ \sum_{n=2}^\infty n^2 |a_n| \leq \frac{4(1 - \beta)}{2\alpha + 2 - \beta} $ 이 성립하며, 이 상한은 날카롭다.
• $ \beta < 3\alpha + 1 $ 이면 $ \sum_{n=2}^\infty (n-1)|a_n| \leq \frac{1 - \beta}{1 - \alpha} $ 이 성립하며, 이 상한은 날카롭다.
• $ \sum_{n=2}^\infty n(n-1)|a_n| \leq \beta $ 이면 $ \sum_{n=2}^\infty n|a_n| \leq \frac{2(1 - \beta)}{2\alpha + 2 - \beta} $ 이 $ \alpha, \beta \geq 0 $ 에 대해 성립하며, 이 상한은 날카롭다.
• $ zF(a,b;c;z) \in \mathcal{R}(\alpha, \beta) $ 이면 $ F(|a|,|b|;c;1) $ 과 Pochhammer 기호를 포함하는 충분 조건이 도출되며, $ b = \overline{a} $ 일 경우 $ c $ 의 개선된 상한이 얻어진다.