[논문 리뷰] Coefficient Estimates for Meromorphic Bi-Univalent Functions

Suzeini Abd Halim, Samaneh G. Hamidi외 1명|arXiv (Cornell University)|2011. 08. 20.

Analytic and geometric function theory참고 문헌 1인용 수 7

한 줄 요약

이 논문은 구멍 뚫린 단위원판에서 정의된 메로모르픽 비일대일 함수의 부분류를 도입하고, 양의 실부를 가진 함수를 사용하여 初기 계수 $ b_0 $ 및 $ b_1 $에 대한 정밀한 계수 추정을 도출한다. 분석 함수의 클래스 $ \mathcal{P} $와 연관시켜 매개수 $ \alpha $ 및 $ \beta $를 포함한 경계를 수립함으로써, 고전적인 계수 추정을 메로모르픽 비일대일 설정으로 일반화한다. 이는 명시적인 부등식 $ |b_0| \leq 2(1-\alpha) $ 및 $ |b_1| \leq (1-\alpha)\sqrt{4\alpha^2 - 8\alpha + 5} $를 포함한다. 결과적으로 기존의 해석적 비일대일 함수에 대한 연구를 메로모르픽 경우로 확장하여 새로운 정밀한 계수 제약 조건을 제공한다.

ABSTRACT

A univalent meromorphic function defined on $Δ:= \{z \in \mathbb{C}: 1

연구 동기 및 목표

• 구멍 뚫린 디스크 $ \Delta = \{ z : 1 < |z| < \infty \} $ 에 정의된 해석적 함수에서 비일대일성 개념을 메로모르픽 함수로 확장하는 것.
• 순서 $ \alpha $의 메로모르픽 비일대일 함수 부분류, 특히 항성형 및 바지레비치 유형 클래스를 도입하고 연구하는 것.
• 이러한 함수의 로랑 급수 전개에서 初기 계수 $ b_0 $ 및 $ b_1 $에 대한 정밀한 추정을 도출하는 것.
• 양의 실부를 가진 함수 기법을 사용하여 고전적인 계수 경계를 해석적 비일대일 함수에서 메로모르픽 설정으로 일반화하는 것.
• 매개수 $ \alpha $ 및 $ \beta $를 포함하는 새로운 부등식을 수립하여 슈피퍼, 스프링거 및 기타 연구자의 결과를 메로모르픽 비일대일 맥락으로 확장하는 것.

제안 방법

• 순서 $ \alpha $의 메로모르픽 항성형 비일대일 함수의 클래스 $ \Sigma_{\mathcal{B}}^*(\alpha) $ 를 정의하며, $ g $ 및 그 역함수 $ g^{-1} $ 가 양의 실부를 가진 조건을 만족하도록 하여 하위순서 조건을 요구한다.
• 함수 $ g(z) = z + \sum_{n=0}^{\infty} \frac{b_n}{z^n} $ 과 그 역함수 $ g^{-1}(w) = w + \sum_{n=0}^{\infty} \frac{B_n}{w^n} $ 의 급수 전개를 사용하여, 복합 및 역함수 분석을 통해 계수를 분석한다.
• 함수 $ p \in \mathcal{P} $ 에 대해 계수 $ |c_n| \leq 2 $ 라는 고전적 보조정리를 적용하여, $ d_1, c_1 $ 및 $ d_2 $ 와의 관계를 통해 $ b_0 $ 및 $ b_1 $ 의 계수를 경계한다.
• 함수 $ g $, 그 역함수, 그리고 양의 실부를 가진 함수 $ q(w) $ 사이의 함수적 관계를 수립하여, $ \left( \frac{w}{h(w)} \right)^{1-\beta} h'(w) = (q(w))^\alpha $ 와 같은 식을 도출한다.
• 함수 $ \left( \frac{w}{h(w)} \right)^{1-\beta} h'(w) $ 와 $ (q(w))^\alpha $ 의 급수 전개를 비교하여 $ b_0 $ 및 $ b_1 $ 에 대한 재귀적 부등식을 유도한다.
• 보조정리 1에서 유도된 $ |c_n| \leq 2 $ 를 적용하여 $ |b_0| $ 및 $ |b_1| $ 에 대한 정밀한 상한을 도출하며, 이는 $ \alpha $ 및 $ \beta $ 를 포함한 명시적 부등식을 유도한다.

실험 결과

연구 질문

• RQ1 메로모르픽 비일대일 함수의 로랑 전개에서 초기 계수 $ b_0 $ 및 $ b_1 $ 에 대한 정밀한 계수 추정은 무엇인가? 순서 $ \alpha $ 의 함수에 대해.
• RQ2 메로모르픽 함수의 구멍 뚫린 디스크 $ \Delta $ 에서 비일대일성 개념은 어떻게 의미 있게 확장될 수 있는가?
• RQ3 메로모르픽 비일대일 함수를 단위원판 내 양의 실부를 가진 함수와 연관시키면 어떤 의미가 있는가?
• RQ4 메로모르픽 비일대일 함수의 계수 경계는 해석적 비일대일 함수 및 고전적 메로모르픽 일대일 함수의 경계와 어떻게 비교되는가?
• RQ5 바지레비치 유형 또는 순서 $ \alpha $ 의 항성형을 포함한 새로운 메로모르픽 비일대일 함수 부분류는 더 엄격하거나 더 일반적인 계수 추정을 도출할 수 있는가?

주요 결과

• 클래스 $ \Sigma_{\mathcal{B}}^*(\alpha) $ 에 속하는 함수에 대해 계수 $ b_0 $ 는 정밀 추정 $ |b_0| \leq 2(1 - \alpha) $ 를 만족하며, 이는 $ \mathcal{P} $ 에 속하는 관련 함수가 최극계수 $ |c_1| = 2 $ 를 달성할 경우 등호가 성립한다.
• 계수 $ b_1 $ 은 정밀 경계 $ |b_1| \leq (1 - \alpha) \sqrt{4\alpha^2 - 8\alpha + 5} $ 를 만족하며, $ b_0 = 0 $ 일 경우 이는 $ |b_1| \leq \alpha $ 로 축소되며, 이는 정리 4에서 확인된다.
• $ \Sigma^{B}_{\mathcal{B}}(\beta, \alpha) $ 부분류에 대해, $ |b_1| \leq \frac{2\alpha^2}{(1 - \beta)(2 - \beta)} \sqrt{2(1 - \beta)(2 - \beta) + 1} $ 의 경계가 도출되며, 이는 이전 결과를 일반화한다.
• $ b_0 = 0 $ 일 경우, 역함수의 로랑 급수 전개는 스코버 [13] 가 이전에 연구한 형태와 일치하며, 기존 문헌과의 일致성을 확인한다.
• $ \Sigma^{B}_{\mathcal{B}}(\beta, \alpha) $ 의 일반화된 부분류 하에서 $ |b_0| \leq 2\alpha / (1 - \beta) $ 의 경계가 확립되며, 이는 $ \alpha $ 및 $ \beta $ 의 모두에 의존함을 보여준다.
• 스피퍼의 결과($ |b_n| \leq 2/(n+1) $) 및 스프링거의 결과($ |B_3| \leq 1 $) 를 메로모르픽 비일대일 설정으로 일반화하여, 초기 계수에 대한 새로운 정밀 제약 조건을 제공한다.