[논문 리뷰] Hankel determinant for a class of analytic functions

Milutin Obradović, Nikola Tuneski|arXiv (Cornell University)|2019. 03. 19.

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

한 줄 요약

이 논문은 단위 원판 내에서 다음의 조건을 만족하는 해석함수 $ f(z) = z + a_2z^2 + a_3z^3 + \cdots $에 대해 제2 헨켈 행렬식 $ |H_2(2)| = |a_2a_4 - a_3^2| $의 날카운 상계를 확립한다: $ \left|\arg\left[\left(\frac{z}{f(z)}\right)^{1+\alpha}f'(z)\right]\right| < \gamma\frac{\pi}{2} $, 여기서 $ 0 < \alpha < 2 - \sqrt{2} $ 이고 $ 0 < \gamma \leq \frac{1}{2}(\alpha^2 - 4\alpha + 2) $ 이다. 이 상계는 $ \left(\frac{2\gamma}{2 - \alpha}\right)^2 $ 이며, 특정한 극값 함수에 의해 도달된다.

ABSTRACT

Let $f$ be analutic in the unit disk $\mathbb D$ and normalized so that $f(z)=z+a_2z^2+a_3z^3+\cdots$. In this paper we give sharp bound of Hankel determinant of the second order for the class of analytic unctions satisfying \[ \left|\arg \left[\left(\frac{z}{f(z)} ight)^{1+α}f'(z) ight] ight|

연구 동기 및 목표

• 단위 원판 내에서 정의된 해석함수의 클래스에 대해 제2 헨켈 행렬식 $ |H_2(2)| = |a_2a_4 - a_3^2| $의 날카운 상계를 결정하는 것.
• 조건 $ \left|\arg\left[\left(\frac{z}{f(z)}\right)^{1+\alpha}f'(z)\right]\right| < \gamma\frac{\pi}{2} $ 를 만족하는 함수를 분석하는 것, 여기서 $ 0 < \alpha < 2 - \sqrt{2} $ 이고 $ 0 < \gamma \leq \frac{1}{2}(\alpha^2 - 4\alpha + 2) $ 이다.
• 일반화된 매개수 조건을 통해 정의된 새로운 클래스를 도입하여, 단일함수 및 스타형 함수의 하위 클래스에 대한 기존 헨켈 행렬식 결과를 확장하는 것.
• 유도된 상계의 날카움을 특정 극값 함수를 사용하여 증명하는 것.

제안 방법

• 조건 $ \left|\arg\left[\left(\frac{z}{f(z)}\right)^{1+\alpha}f'(z)\right]\right| < \gamma\frac{\pi}{2} $ 를 $ \left(\frac{1 + \omega(z)}{1 - \omega(z)}\right)^\gamma $ 로의 초월을 통해 표현하며, 여기서 $ \omega $ 는 $ \omega(0) = 0 $ 인 슈바르츠 함수이다.
• 초월 관계의 양변을 멱급수로 전개하고, $ z $, $ z^2 $, $ z^3 $ 의 계수를 비교하여 $ a_2, a_3, a_4 $ 를 $ \omega(z) = c_1z + c_2z^2 + c_3z^3 + \cdots $ 의 계수 $ c_1, c_2, c_3 $ 로 표현하는 것.
• 계수 $ \mu $ 와 $ \nu $ 가 $ \alpha $ 와 $ \gamma $ 에 따라 달라지는 바탕으로, $ H_2(2) = a_2a_4 - a_3^2 $ 의 표현식을 $ c_1, c_2, c_3 $ 로 유도하는 것.
• 슈바르츠 함수의 계수에 대한 알려진 경계를 적용: $ |c_1| \leq 1 $, $ |c_2| \leq 1 - |c_1|^2 $, 그리고 $ |c_3| \leq 1 - |c_1|^2 - \frac{|c_2|^2}{1 + |c_1|} $, 여기서 $ a_2 \geq 0 $ 이므로 $ c_1 \geq 0 $ 이라고 가정한다.
• 제약 조건 하에서 유도된 $ |H_2(2)| $ 의 표현식을 최대화하기 위해, $ 0 < \alpha < 2 - \sqrt{2} $ 에 대해 $ \frac{(1-\alpha)(3-\alpha)}{(2-\alpha)^2} \geq \frac{c_1}{1 + c_1} $ 이라는 사실을 활용하여 경계를 단순화하는 것.
• 주어진 매개수 범위에서 부등식 $ \frac{(1-\alpha)(3-\alpha)}{(2-\alpha)^2} > \left|\frac{1}{3} - \nu_1\right| $ 가 성립함을 증명하여, 경계 표현의 최대값이 유도된 상한에서 도달됨을 보장하는 것.

실험 결과

연구 질문

• RQ1 해석함수들이 조건 $ \left|\arg\left[\left(\frac{z}{f(z)}\right)^{1+\alpha}f'(z)\right]\right| < \gamma\frac{\pi}{2} $ 를 만족할 때 제2 헨켈 행렬식 $ |H_2(2)| = |a_2a_4 - a_3^2| $ 의 날카운 상계는 무엇인가요?
• RQ2 이 경계는 매개수 $ \alpha \in (0, 2 - \sqrt{2}) $ 와 $ \gamma \leq \frac{1}{2}(\alpha^2 - 4\alpha + 2) $ 에 따라 어떻게 달라지나요?
• RQ3 유도된 경계는 날카로운가요? 만약 그렇다면, 어떤 함수가 등호를 만족합니까?
• RQ4 $ a_2, a_3, a_4 $ 의 계수 추정치는 슈바르츠 함수 계수 $ c_1, c_2, c_3 $ 로 명시적으로 표현될 수 있나요?
• RQ5 $ \alpha $ 와 $ \gamma $ 가 어떤 조건을 만족할 때 경계 표현이 $ \left(\frac{2\gamma}{2 - \alpha}\right)^2 $ 로 단순화되나요?

주요 결과

• 주어진 조건 $ 0 < \alpha < 2 - \sqrt{2} $ 와 $ 0 < \gamma \leq \frac{1}{2}(\alpha^2 - 4\alpha + 2) $ 에 대해 제2 헨켈 행렬식의 날카운 상계는 $ |H_2(2)| \leq \left(\frac{2\gamma}{2 - \alpha}\right)^2 $ 이다.
• 이 경계는 함수 $ f_2(z) $ 를 통해 도달되며, 이는 $ \left(\frac{z}{f_2(z)}\right)^{1+\alpha}f_2'(z) = \left(\frac{1 + z^2}{1 - z^2}\right)^\gamma $ 를 만족한다. 이 경우 $ a_2 = a_4 = 0 $, $ a_3 = \frac{2\gamma}{2 - \alpha} $, 그리고 $ H_2(2) = -\frac{4\gamma^2}{(2 - \alpha)^2} $ 이다.
• 계수 표현식은 다음과 같다: $ a_2 = \frac{2\gamma}{1 - \alpha}c_1 $, $ a_3 = \frac{2\gamma}{2 - \alpha}c_2 + \frac{2(3 - \alpha)\gamma^2}{(1 - \alpha)^2(2 - \alpha)}c_1^2 $, $ a_4 = \frac{2\gamma}{3 - \alpha}\left(c_3 + \mu c_1 c_2 + \nu c_1^3\right) $, 여기서 $ \mu $ 와 $ \nu $ 는 $ \alpha $ 와 $ \gamma $ 에 따라 달라진다.
• 증명은 슈바르츠 함수의 계수 제약 조건을 활용하여 $ |H_2(2)| $ 의 표현식을 최대화하는 데 기반하며, 최대값이 $ c_1 = 0 $, $ c_2 = 1 $, $ c_3 = 0 $ 일 때 도달됨을 보여, 이는 극값 함수와 일致한다.
• 주어진 매개수 범위에서 부등식 $ \frac{(1-\alpha)(3-\alpha)}{(2-\alpha)^2} > \left|\frac{1}{3} - \nu_1\right| $ 가 성립하여, 유도된 경계가 날카로움을 보장한다.
• 이 결과는 $ \alpha $ 와 $ \gamma $ 를 포함하는 일반화된 매개수 조건을 통해 정의된 새로운 클래스를 도입함으로써, 기존의 스타형 및 강력한 스타형 함수에 대한 헨켈 행렬식 연구를 확장한다.