[논문 리뷰] Estimates for the Initial Coefficients of Bi-univalent Functions

S. Sivaprasad Kumar, Virendra Kumar외 1명|arXiv (Cornell University)|2012. 03. 25.

Analytic and geometric function theory참고 문헌 10인용 수 15

한 줄 요약

이 논문은 해석적 함수의 실부가 양수인 함수에 대한 초월(subordination)을 통해 정의된 부분군에서 이중단조(비-단조) 함수의 초기 계수 $ a_2 $ 및 $ a_3 $ 에 대해 날카로운 추정치를 수립한다. 초월과 계수 비교 기법을 사용하여, 다양한 함수 클래스 제약 조건 하에서 $ |a_2| $ 및 $ |a_3| $ 의 명시적 상한을 유도하며, 이는 이전 결과를 일반화하고 이중별성, 이중볼록성 및 관련된 단조 함수 클래스에 대한 알려진 추정치를 개선한다.

ABSTRACT

A bi-univalent function is a univalent function defined on the unit disk with its inverse also univalent on the unit disk. Estimates for the initial coefficients are obtained for bi-univalent functions belonging to certain classes defined by subordination and relevant connections with earlier results are pointed out.

연구 동기 및 목표

• 이중단조 함수의 초기 계수 $ a_2 $ 및 $ a_3 $ 에 대해 향상된 계수 추정치를 도출하는 것.
• 양수 실부를 가진 함수에 대한 초월을 통해 정의된 클래스를 도입함으로써 이전의 계수 경계 결과를 확장하는 것.
• 이중별성 및 이중볼록성 함수의 순서 $ \beta $ 에 대한 이전 결과를 일반화하는 것.
• 초월과 계수 비교 기법을 사용하여 공통 프레임워크 내에서 기존 추정치를 통합하고 개선하는 것.
• 주도 함수 $ \varphi $ 의 매개변수에 따라 $ |a_2| $ 및 $ |a_3| $ 의 명시적이고 날카로운 경계를 제공하는 것.

제안 방법

• 단위 원판에서 $ f $ 와 $ f^{-1} $ 가 모두 단조임을 만족하는 이중단조 함수 $ f \in \sigma $ 를 정의하고, 테일러 전개 $ f(z) = z + \sum_{n=2}^\infty a_n z^n $ 를 사용한다.
• 초월을 활용: $ f \in \mathcal{S}^*(\varphi) $ 및 $ F = f^{-1} \in \mathcal{R}(\varphi) $, 여기서 $ \varphi $ 는 해석적이고 단조이며, $ \operatorname{Re}(\varphi(z)) > 0 $, $ \varphi(0) = 1 $, $ \varphi'(0) > 0 $ 를 만족한다.
• 보조 함수 $ p(z) = \frac{1 + w(z)}{1 - w(z)} $, $ q(w) = \frac{1 + v(w)}{1 - v(w)} $ 를 도입하며, $ w, v $ 는 $ |w(z)| \leq |z| $ 를 만족하는 해석적 함수이다. 이를 통해 초월 조건을 표현한다.
• 계수 $ a_2 $, $ a_3 $ 를 $ \varphi(z) = 1 + B_1 z + B_2 z^2 + \cdots $ 의 계수 $ B_1, B_2 $ 와 $ p $, $ q $ 의 계수 $ p_1, p_2, q_1, q_2 $ 로 표현한다.
• 실부가 양수인 함수에 대한 허글로츠(Herglotz) 표현에서 유도된 경계 $ |p_i| \leq 2 $, $ |q_i| \leq 2 $ 를 적용한다.
• 계수 $ B_1, B_2 $ 와 $ p_i, q_i $ 에 대한 $ a_2^2 $ 와 $ a_3 $ 의 명시적 공식을 유도한 후, 삼각 부등식과 계수 경계를 활용하여 최적화한다.

실험 결과

연구 질문

• RQ1 초월에 의해 정의된 부분군에서 이중단조 함수에 대해 $ |a_2| $ 와 $ |a_3| $ 의 최적 상한은 무엇인가?
• RQ2 만일 $ f \in \mathcal{S}^*(\varphi) $ 이고 $ f^{-1} \in \mathcal{R}(\varphi) $ 이거나 $ f^{-1} \in \mathcal{K}(\varphi) $ 이면, $ |a_2| $ 와 $ |a_3| $ 의 추정치는 어떻게 변화하는가?
• RQ3 특수한 경우, 예를 들어 $ \varphi(z) = (1 + Az)/(1 + Bz) $ 또는 $ \varphi(z) = (1 + (1 - 2\beta)z)/(1 - z) $ 에서 경계를 더욱 날카롭게 만들 수 있는가?
• RQ4 Tan (1985) 또는 Kedzierawski (1985) 등의 이전에 알려진 결과와 비교하여 새로운 추정치는 어떻게 되는가?
• RQ5 만일 $ f $ 와 $ f^{-1} $ 가 모두 순서 $ \beta $ 의 별성 또는 볼록성 함수이면, $ |a_2| $ 와 $ |a_3| $ 의 최적 경계는 무엇인가?

주요 결과

• 만일 $ f \in \mathcal{S}^*(\varphi) $ 이고 $ f^{-1} \in \mathcal{R}(\varphi) $ 이면, $ |a_2| \leq \sqrt{5(B_1 + |B_2 - B_1|)}/3 $ 과 $ |a_3| \leq 7(B_1 + |B_2 - B_1|)/9 $ 의 경계가 확립된다.
• 만일 $ f \in \mathcal{S}^*(\varphi) $ 이고 $ f^{-1} \in \mathcal{K}(\varphi) $ 이면, 추정치는 $ |a_2| \leq \sqrt{(B_1 + |B_2 - B_1|)/2} $ 과 $ |a_3| \leq (B_1 + |B_2 - B_1|)/2 $ 로 주어진다.
• 만일 $ \varphi(z) = (1 + (1 - 2\beta)z)/(1 - z) $ 이면, 경계는 $ \beta = 0 $ 일 때 $ |a_2| \leq \sqrt{10(1 - \beta)}/3 \approx 1.054 $ 과 $ |a_3| \leq 14(1 - \beta)/9 \approx 1.56 $ 로 변환된다.
• 만일 $ f \in \mathcal{K}(\beta) $ 이고 $ f^{-1} \in \mathcal{R}(\beta) $ 이면, 추정치는 $ |a_2| \leq \sqrt{3(1 - \beta)}/2 \approx 0.867 $ 과 $ |a_3| \leq 5(1 - \beta)/6 \approx 0.833 $ 이며, $ \beta = 0 $ 일 때 $ |a_2| \leq \sqrt{3}/2 $, $ |a_3| \leq 5/6 $ 이 된다.
• 만일 $ f \in \mathcal{S}^*(\beta) $ 이고 $ f^{-1} \in \mathcal{K}(\beta) $ 이면, 경계는 $ |a_2| \leq \sqrt{1 - \beta} $ 과 $ |a_3| \leq 1 - \beta $ 로 주어지며, $ \beta = 0 $ 일 때 $ |a_2| \leq 1 $, $ |a_3| \leq 1 $ 이 된다.
• 결과는 Tan (1985), Kedzierawski (1985), Brannan과 Taha (1985) 의 이전 추정치를 일반화하고 개선하며, 초월을 통한 이중단조 클래스의 계수 경계에 대한 통합된 프레임워크를 제공한다.