[논문 리뷰] Second Hankel determinant of logarithmic coefficients of certain analytic functions

Vasudevarao Allu, Vibhuti Arora|arXiv (Cornell University)|2021. 10. 11.

Analytic and geometric function theory인용 수 4

한 줄 요약

이 논문은 단위 원판 내에서 해석적이고 단일가역 함수의 부분류에 대해 로그 계수의 두 번째 하 Hankel 행렬식 $ |H_{2,1}(F_f/2)| $ 에 대한 날카운 상계를 설정한다. 카라테오도리 함수의 매개수 표현과 복소 매개수에 대한 최적화를 통해 이뤄지며, 주요 결과는 볼록 함수 및 나선형 함수에 대해 명시적인 날카운 상계를 제공한다. 특정 경우, 예를 들어 $ \lambda = 1/2 $ 및 $ \lambda = 1 $ 에서 수치적 값으로 확인되었다.

ABSTRACT

We consider a family of all analytic and univalent functions (i.e., one-to-one) in the unit disk $\mathbb{D}:=\{z\in \mathbb{C}:|z|<1\}$ of the form $f(z)=z+a_2z^2+a_3z^3+\cdots$. In this paper, we obtain the sharp bounds of the second Hankel determinant of Logarithmic coefficients for some subclasses of analytic functions.

연구 동기 및 목표

• 단일가역 함수의 부분류에서 로그 계수의 두 번째 하 Hankel 행렬식 $ H_{2,1}(F_f/2) $ 에 대한 날카운 상계를 추정하는 열린 문제를 다루기.
• 이전의 하 Hankel 행렬식 결과를 확장하여 타일러 계수가 아닌 로그 계수에 초점을 맞추기.
• 카라테오도리 클래스의 함수에 대한 매개수 표현을 사용하여 날카운 부등식을 도출하는 통합 프레임워크 제공하기.
• 극값 함수의 명시적 구성으로 상계의 날카움을 확인하기.
• 매개수 $ \lambda \in [1/2, 1] $ 를 도입하여 볼록 함수 및 나선형 함수에 대한 결과 일반화하기.

제안 방법

• 복소 매개수 $ p_1 \in [0,1] $, $ p_2, p_3 \in \overline{\mathbb{D}} $ 를 사용하여 카라테오도리 함수 $ p \in \mathcal{P} $ 의 매개수 표현을 사용하기.
• 로그 계수 $ \gamma_n $ 를 타일러 계수 $ a_n $ 로 표현하고, 두 번째 하 Hankel 행렬식 $ H_{2,1}(F_f/2) = \gamma_1\gamma_3 - \gamma_2^2 $ 을 $ a_2, a_3, a_4 $ 에 대한 4차 형식으로 유도하기.
• 문제를 매개수 공간으로 매핑하기 위해 변환 $ a_2 = \frac{(2\lambda+1)}{2} p_1 $, $ a_3 = \frac{(2\lambda+1)}{6} ((3+2\lambda)p_1^2 - 1) $, $ a_4 = \frac{(2\lambda+1)(2\lambda+3)}{24} ((2\lambda+5)p_1^2 - 3)p_1 $ 를 적용하기.
• 계수 표현에서 유도된 $ |A|, |B|, |C| $ 를 포함하는 부등식을 사용하여 $ p_1 \in [0,1] $ 에서 행렬식 표현의 최적화를 위해 임계점과 경계 행동 분석하기.
• 임계점 방정식에 의해 정의된 $ s_3 $ 를 사용하여 $ p_3(z) = \frac{1 - z^2}{1 - 2s_3 z + z^2} $ 를 통해 극값 함수 $ f_3 $ 를 구성함으로써 날카움을 확립하기.
• 최대값이 $ s_3 $ 에서 도달됨을 검증하여 주어진 클래스에 대해 상계가 날카롭다는 것을 확인하기.

실험 결과

연구 질문

• RQ1 볼록 함수 클래스에서 로그 계수의 두 번째 하 Hankel 행렬식 $ |H_{2,1}(F_f/2)| $ 의 날카운 상계는 무엇인가?
• RQ2 $ \lambda \in [1/2, 1] $ 인 일반화된 $ \lambda $-나선형 함수 클래스에서 이 상계는 어떻게 변하는가?
• RQ3 이러한 클래스에서 날카운 상계를 도달하는 극값 함수를 명시적으로 구성할 수 있는가?
• RQ4 상계는 회전에 대해 불변인가? 이는 최적화 과정에 어떻게 영향을 미치는가?
• RQ5 카라테오도리 함수의 매개수 표현을 통해 도출된 상계는 이전 결과보다 더 날카로운 추정치를 제공하는가?

주요 결과

• 볼록 함수 클래스($ \lambda = 1/2 $)에서 $ |H_{2,1}(F_f/2)| $ 의 날카운 상계는 $ 0.030303 $ 이며, 이는 날카롭게 확인되었다.
• $ \mathcal{C}(-1/2) $ 클래스는 $ \lambda = 1 $ 에 해당하며, 날카운 상계는 $ 0.070811 $ 이며, 명시적인 극값 함수에 의해 도달된다.
• 상계는 $ \lambda \in [1/2, 1] $ 에 대해 유효한 $ \frac{(2\lambda+1)^2(12\lambda^2 - 60\lambda - 165)}{576(4\lambda^2 - 12\lambda - 39)} $ 로 유도되었다.
• 극값 함수는 $ p_3(z) = \frac{1 - z^2}{1 - 2s_3 z + z^2} $ 를 통해 구성되며, 여기서 $ s_3 $ 는 임계점 방정식을 만족한다.
• 수치적 검증을 통해 $ h(\sqrt{y_2}) = T(\sqrt{y_2}) $ 를 확인하여 전이점에서 연속성과 최대성 보장되었다.
• 등호가 구성된 함수 $ f_3 $ 에서 도달되므로 상계는 날카롭다. 계수 $ a_2, a_3, a_4 $ 는 $ s_3 $ 에서 명시적으로 계산되었다.