[논문 리뷰] Chebyshev polynomial coefficient bounds for a subclass of bi-univalent functions

Şahsene Altınkaya, Sibel Yalçın|arXiv (Cornell University)|2016. 05. 26.

Analytic and geometric function theory참고 문헌 5인용 수 16

한 줄 요약

이 논문은 체비셰프 다항식 전개를 활용하여 새로운 이중단조 함수의 하위클래스 $H_{\infty\Sigma}(\lambda,t)$에 속하는 함수의 초기 테일러 계수 $|a_2|$ 및 $|a_3|$에 대해 날카운 계수 경계를 수립한다. 제2종 체비셰프 다항식을 포함하는 초월 조건을 활용하여 명시적인 상한을 유도하고, 페케테-슈에고 문제를 해결함으로써 이 클래스에서 첫 두 계수를 초월하는 $|a_n|$에 대한 첫 번째 일반적 추정치를 제공한다.

ABSTRACT

In this work, considering a general subclass of bi-univalent functions and using the Chebyshev polynomials, we obtain coefficient expansions for functions in this class.

연구 동기 및 목표

• 첫 두 계수를 초월하는 이중단조 함수의 계수 추정치를 확장하여, $n \geq 4$에 대해 대부분 미해결인 영역을 다루는 것.
• 제2종 체비셰프 다항식과 관련된 생성 함수에 대한 초월 조건을 통해 정의된 새로운 하위클래스 $H_{\Sigma}(\lambda,t)$를 도입하고 분석하는 것.
• 체비셰프 다항식 전개와 초월 기법을 사용하여 $|a_2|$ 및 $|a_3|$에 대한 명시적이고 비날카운 상한을 제공하는 것.
• 클래스 $H_{\Sigma}(\lambda,t)$에 대해 페케테-슈에고 문제를 해결하여 $|a_3 - \mu a_2^2|$의 날카운 경계를 결정하는 것.

제안 방법

• 제2종 체비셰프 다항식과 관련된 생성 함수 $H(z,t) = (1 - 2tz + z^2)^{-1}$에 대한 초월 조건을 통해 $f$ 및 $f^{-1}$의 로그 도함수의 하위클래스 $H_{\Sigma}(\lambda,t)$를 정의한다.
• 체비셰프 다항식 전개 $U_n(t)$를 사용하여 초월 조건을 표현하며, 여기서 $U_1(t) = 2t$ 및 $U_2(t) = 4t^2 - 1$이다. 이를 통해 계수 관계를 도출한다.
• 색시의 보조정리를 사용하여 하위함수의 멱급수 계수 $c_j$ 및 $d_j$를 유계화하여 $|c_j| \leq 1$ 및 $|d_j| \leq 1$임을 보장한다.
• 하위함수 전개를 통해 $a_2$, $a_3$를 $c_1, c_2, d_1, d_2$의 계수와 연결하는 함수 방정식을 유도한다.
• 대칭성과 대수적 변환을 적용하여 $c_2$ 및 $d_2$를 제거하고, $c_1 = -d_1$ 및 $a_2^2$ 표현식을 활용하여 $|a_2|$ 및 $|a_3|$를 고립한다.
• 계수 표현식에서 유도된 $h(\mu)$의 경계를 사용하여 $\mu$의 값에 따른 두 경우로 나누어 $|a_3 - \mu a_2^2|$를 분석함으로써 페케테-슈에고 문제를 해결한다.

실험 결과

연구 질문

• RQ1 체비셰프 다항식 초월 조건을 통해 정의된 이중단조 함수의 하위클래스 $H_{\Sigma}(\lambda,t)$에서 초기 계수 $|a_2|$ 및 $|a_3|$에 대한 날카운 상한은 무엇인가?
• RQ2 계수 $a_2$ 및 $a_3$는 매개변수 $\lambda \geq 0$ 및 $t \in (\sqrt{2}/2, 1]$에 어떻게 의존하는가?
• RQ3 임의의 실수 $\mu$에 대해 이 클래스에서 페케테-슈에고 함수 $|a_3 - \mu a_2^2|$에 대한 날카운 경계는 무엇인가?
• RQ4 제2종 체비셰프 다항식의 사용은 일반적인 $|a_n|$ 경계가 알려져 있지 않은 이중단조 함수 클래스에서 비잔성 있고 명시적인 계수 추정치를 도출할 수 있는가?

주요 결과

• 논문은 $H_{\Sigma}(\lambda,t)$에 속하는 함수에 대해 $|a_2| \leq \frac{2t\sqrt{2t}}{\sqrt{|(1+\lambda)^2 - 4(\lambda + \lambda^2)t^2|}}$라는 경계를 수립하였으며, 이는 $\lambda$ 및 $t$에 모두 의존한다.
• $|a_3|$에 대한 날카운 경계가 $|a_3| \leq \frac{4t^2}{(1+\lambda)^2} + \frac{t}{1+2\lambda}$로 도출되어 첫 번째 계수를 초월하는 명시적 추정치를 제공한다.
• 페케테-슈에고 문제는 $|\mu - 1| \leq \frac{1}{8(1+2\lambda)} \left| \frac{(1+\lambda)^2}{t^2} - 4\lambda(1+\lambda) \right|$일 때 $|a_3 - \mu a_2^2| \leq \frac{t}{1+2\lambda}$임을 보여줌으로써 해결되었고, 이 외의 경우 더 큰 경계를 갖는다.
• $\mu = 1$인 경우 $|a_3 - a_2^2| \leq \frac{t}{1+2\lambda}$로 경계가 날카로움을 입증하였다.
• 결과는 체비셰프 다항식 전개가 이중단조 함수 클래스에서 비잔성 계수 추정치를 도출하는 데 강력한 도구임을 보여준다.
• 이 연구는 일반적인 $|a_n|$ 경계가 알려져 있지 않은 이중단조 함수의 구조적 하위클래스에서 $n \geq 4$에 대해 처음으로 계수 경계를 제공함으로써 문헌의 빈도를 메운다.