[논문 리뷰] Logarithmic coefficients of some close-to-convex functions

Md. Firoz Ali, Vasudevarao Allu|arXiv (Cornell University)|2016. 07. 29.

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

한 줄 요약

이 논문은 홀수 성성 함수에 대해 가까이 볼록인 함수에 대해 첫 번째 세 개의 로그 계수의 절댓값, $|γ_1|$, $|γ_2|$, 및 $|γ_3|$의 날카운 상계를 결정한다. 계수 추정과 매개변수화된 클래스에 대한 최적화를 통해 저자들은 $|γ_3| \leq \frac{1}{972}(95 + 23\sqrt{46}) \approx 0.2582$ 를 확립하였으며, 이는 특정 극값 함수에서 등호가 성립함을 보여준다.

ABSTRACT

The logarithmic coefficients $γ_n$ of an analytic and univalent function $f$ in the unit disk $\mathbb{D}=\{z\in\mathbb{C}:|z|<1\}$ with the normalization $f(0)=0=f'(0)-1$ are defined by $\log \frac{f(z)}{z}= 2\sum_{n=1}^{\infty} γ_n z^n$. In the present paper, we consider close-to-convex functions (with argument $0$) with respect to odd starlike functions and determine the sharp upper bound of $|γ_n|$, $n=1,2,3$ for such functions $f$.

연구 동기 및 목표

• 가까이 볼록인 함수에서 홀수 성성 함수에 대해 첫 번째 세 개의 로그 계수 $|\gamma_n|$ ($n=1,2,3$) 의 날카운 상계를 결정하는 것.
• 이러한 함수에 대해 $|\gamma_n| \leq \frac{1}{n}$ 이 성립하는지 여부를 밝혀내는 열린 문제를 해결하는 것. 특히 $n \geq 3$ 에 대해 이는 일반적인 가까이 볼록인 함수에서는 성립하지 않음이 밝혀졌음에도 불구하고.
• 해석적 방법과 매개변수화된 계수 표현을 사용하여 정확한 극값 값을 도출함으로써 이전 접근 방식의 한계를 극복하는 것.

제안 방법

• 저자들은 로그 계수의 정의 $\log\left(\frac{f(z)}{z}\right) = 2\sum_{n=1}^\infty \gamma_n z^n$ 을 사용하여 $\gamma_n$ 을 $f$ 의 테일러 계수 $a_n$ 으로 표현한다.
• 특정 초기 계수를 갖는 함수 $P(z) \in \mathcal{P}$ 를 포함하는 매개변수화된 표현을 사용하여 홀수 성성 함수에 대해 가까이 볼록인 함수의 클래스를 모델링한다.
• 핵심 단계로, $g(z) = \frac{z}{1 - z^2}$ 를 정의하며, 이는 홀수 함수이자 성성 함수이다. 그리고 $zf'(z) = g(z)P(z)$ 를 정의하여 원하는 클래스를 생성한다.
• 함수 $P(z)$ 의 계수 $c_1, c_2, c_3$ 는 Carathéodory 함수들의 볼록 조합을 통해 유도되며, 이는 $f$ 의 초기 계수를 제어할 수 있도록 한다.
• 계수 $|\gamma_3|$ 과 관련된 함수 $F(c,r,p)$ 의 최대화를 위해 $(c,r,p)$-공간 내의 유계 영역 $R$ 에서 최적화 문제를 설정한다.
• 편도함수를 통한 임계점 분석을 통해 도메인 내부의 점에서 최댓값을 찾았으며, 이는 상계의 날카움을 확인한다.

실험 결과

연구 질문

• RQ1 홀수 성성 함수에 대해 가까이 볼록인 함수 중에서 $|\gamma_3|$ 의 날카운 상계는 무엇인가?
• RQ2 일반적인 가까이 볼록인 함수에서는 실패하는 바, 이 클래스에서 $n \geq 3$ 에 대해 부등식 $|\gamma_n| \leq \frac{1}{n}$ 이 성립하는가?
• RQ3 특정 함수 $f$ 가 $|\gamma_3|$ 의 상계에서 등호를 성립시키는 극값 함수로 명시적으로 구성될 수 있는가?
• RQ4 계수 추정과 해석 함수의 매개변수화 표현은 로그 계수의 날카운 상계 유도에 어떻게 기여하는가?

주요 결과

• $|\gamma_1|$ 의 날카운 상계는 $1$ 이며, 이는 $a_2 = 2$ 일 때 성립하며 기존 결과와 일치한다.
• $|\gamma_2|$ 의 날카운 상계는 $\frac{1}{2}(1 + 2e^{-2}) \approx 0.635$ 이며, Fekete-Szegő 부등식에서 유도된다.
• $|\gamma_3|$ 의 날카운 상계는 $\frac{1}{972}(95 + 23\sqrt{46}) \approx 0.2582$ 이며, 이는 $\frac{1}{3} \approx 0.333$ 보다 엄밀히 작다.
• $|\gamma_3|$ 의 상계에서 등호가 성립하는 것은 $zf'(z) = g(z)P(z)$ 를 만족하는 특정 함수 $f$ 에서 성립한다. 여기서 $g(z) = \frac{z}{1 - z^2}$ 이며, $P(z)$ 는 주어진 계수를 갖는 클래스 $\mathcal{P}$ 의 특정 함수이다.
• 극값 함수는 매개변수 $c_1 = \frac{1}{3}(8 - \sqrt{46})$, $x = \frac{1}{75}(11 - \sqrt{46})$, 및 $t = 1$ 과 대응하며, 이는 상계의 날카움을 확인한다.