[논문 리뷰] On $H_3(1)$ Hankel determinant for some classes of univalent functions

K. O. Babalola|ArXiv.org|2009. 10. 20.

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

한 줄 요약

이 논문은 단위 원판 내에서 유일형 함수의 세 가지 고전적 클래스인 유계 전방성($ R $), 별형($ S^* $), 그리고 볼록성($ C $)에 대해 제3 하 Hankel 행렬식 $ H_3(1) $의 날카운 상계를 결정한다. Libera–Zlotkiewicz 방법과 양의 실부를 가진 함수의 집합 $ P $를 통한 계수 추정을 이용하여, Fekete–Szego 함수식과 알려진 계수 부등식을 분석함으로써 $ H_3(1) $에 대한 장기적인 상계 시리즈를 완성한다. 주요 결과는 $ R $에 대해 $ |H_3(1)| \leq \frac{993}{1620} $, $ S^* $에 대해 $ \leq 16 $, $ C $에 대해 $ \leq \frac{15}{24} $이며, 등호는 명시적인 극값 함수에 의해 도달된다.

ABSTRACT

Focus in this paper is on the Hankel determinant, $H_3(1)$, for the well-known classes of bounded-turning, starlike and convex functions in the open unit disk $E=\{z\in \mathbb{C}\colon|z|<1\}$. The results obtained complete the series of research works in the search for sharp upper bounds on $H_3(1)$ for each of these classes.

연구 동기 및 목표

• 유계 전방성, 별형, 볼록 유일형 함수의 클래스에서 제3 하 Hankel 행렬식 $ H_3(1) $의 날카운 상계를 결정하기.
• 이러한 고전적 함수 클래스에 대한 $ H_3(1) $에 대한 잔류된 열린 문제인 날카운 상계를 해결함으로써 $ H_3(1) $에 대한 연구 시리즈를 완성하기.
• 양의 실부를 가진 함수의 집합 $ P $를 사용하여 Libera와 Zlotkiewicz의 고전적 방법을 적용하여 계수 부등식 유도하기.
• 유계 전방성 클래스에 대해 이전에 알려지지 않았던 Fekete–Szego 함수식 $ |a_2a_3 - a_4| $의 날카운 상계를 확립하기.
• 기존의 계수 범위와 새로운 기능적 추정치를 조합하여 각 클래스에서 $ |H_3(1)| $에 대한 날카운 상계를 도출하기.

제안 방법

• Libera–Zlotkiewicz 방법을 사용하여 계수 $ a_2, a_3, a_4, a_5 $ 를 $ p(z) = 1 + c_1 z + c_2 z^2 + \cdots $ 이며 $ \operatorname{Re} p(z) > 0 $ 를 만족하는 집합 $ P $의 함수의 계수 $ c_1, c_2, c_3 $ 로 표현한다.
• 기본 부등식 $ |c_k| \leq 2 $ 를 $ p \in P $ 에 대해 적용하고, 매개변수 표현식: $ 2c_2 = c_1^2 + x(4 - c_1^2) $ 및 $ 4c_3 = c_1^3 + 2xc_1(4 - c_1^2) - x^2c_1(4 - c_1^2) + 2z(1 - |x|^2)(4 - c_1^2) $ 을 사용한다. 여기서 $ |x| \leq 1 $, $ |z| \leq 1 $ 이다.
• 각 함수 클래스($ R $, $ S^* $, $ C $)에 대해 $ |a_2a_3 - a_4| $ 를 $ c_1 $, $ x $, $ z $ 로 표현한 후 삼각 부등식을 적용하고 $ x $ 와 $ z $ 에 대해 최적화하여 최대값을 구한다.
• 기존의 날카운 상계를 적용: $ R $ 에서는 $ |a_k| \leq 2/k $, $ S^* $ 에서는 $ |a_k| \leq k $, $ C $ 에서는 $ |a_k| \leq 1 $ 이며, $ |a_2a_4 - a_3^2| \leq 4/9 $, $ 1 $, $ 1/8 $ 각각이다.
• 유도된 $ |a_2a_3 - a_4| $ 의 상계를 $ |a_2a_4 - a_3^2| $, $ |a_3 - a_2^2| $, $ |a_k| $ 의 알려진 상계와 조합하여 $ |H_3(1)| $ 에 삼각 부등식을 적용함으로써 최종 날카운 상계를 유도한다.
• 극값 함수를 구성함으로써 날카운성을 검증한다: $ R $ 에서는 $ f(z) = \int_0^z \frac{1+t^3}{1-t^3} dt $, $ S^* $ 에서는 Koebe 함수 $ k(z) = z/(1-z)^2 $, $ C $ 에서는 특정 적분을 사용하며, 등호가 도달됨을 보여준다.

실험 결과

연구 질문

• RQ1 유계 전방성 함수의 클래스 $ R $ 에서 제3 하 Hankel 행렬식 $ H_3(1) $ 의 날카운 상계는 무엇인가요?
• RQ2 별형 함수의 클래스 $ S^* $ 에서 $ H_3(1) $ 의 날카운 상계는 무엇인가요?
• RQ3 볼록 함수의 클래스 $ C $ 에서 $ H_3(1) $ 의 날카운 상계는 무엇인가요?
• RQ4 이전에 알려지지 않았던, 유계 전방성 클래스 $ R $ 에서 Fekete–Szego 함수식 $ |a_2a_3 - a_4| $ 의 날카운 상계는 무엇인가요?
• RQ5 각 세 클래스에서 $ H_3(1) $ 의 상계에 등호가 도달하는 명시적인 함수는 무엇인가요?

주요 결과

• $ R $ 의 유계 전방성 함수 클래스에 대해 $ |a_2a_3 - a_4| $ 의 날카운 상계는 $ \frac{1}{2} $ 이며, $ f(z) = \int_0^z \frac{1+t^3}{1-t^3} dt $ 에 의해 도달된다.
• $ R $ 에서 $ |H_3(1)| $ 의 날카운 상계는 $ \frac{993}{1620} \approx 0.613 $ 이며, 새로운 $ |a_2a_3 - a_4| $ 상계와 기존 계수 부등식을 조합하여 도출된다.
• $ S^* $ 의 별형 함수 클래스에 대해 $ |a_2a_3 - a_4| $ 의 날카운 상계는 $ 2 $ 이며, Koebe 함수 $ k(z) = z/(1-z)^2 $ 에 의해 도달된다.
• $ S^* $ 에서 $ |H_3(1)| $ 의 날카운 상계는 $ 16 $ 이며, Koebe 함수의 회전에 의해 도달된다.
• $ C $ 의 볼록 함수 클래스에 대해 $ |a_2a_3 - a_4| $ 의 날카운 상계는 $ \frac{1}{6} $ 이며, $ f(z) = \int_0^z \left\{ s \cdot \exp\left( \int_0^s \frac{2t^3}{1-t^3} dt \right) \right\} ds $ 에 의해 도달된다.
• $ C $ 에서 $ |H_3(1)| $ 의 날카운 상계는 $ \frac{15}{24} = 0.625 $ 이며, 새로운 기능적 상계와 기존 계수 추정치를 조합하여 확인된다.