[논문 리뷰] Spirallikeness of shifted hypergeometric functions

Toshiyuki Sugawa, Limei Wang|arXiv (Cornell University)|2016. 04. 18.

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

한 줄 요약

이 논문은 복소수 매개수 $ a, b, c $를 가진 이동한 초함수 $ f(z) = z{}_2F_1(a,b;c;z) $의 뱀모양 성질을 조사하며, $ \lambda \in (-\pi/2, \pi/2) $에 대해 $ f $가 $ \lambda $-뱀모양임을 위한 필요 및 충분 조건을 확립한다. 주요 기여는 매개수 조합의 실수부에 기반한 새로운 충분 조건으로, 복소수 매개수를 가진 뱀모양이지만 항성형이 아닌 함수의 명시적 예를 제공한다.

ABSTRACT

In the present paper, we study spirallikenss (including starlikeness) of the shifted hypergeometric function $f(z)=z_2F_1(a,b;c;z)$ with complex parameters $a,b,c,$ where $_2F_1(a,b;c;z)$ stands for the Gaussian hypergeometric function. First, we observe the asymptotic behaviour of $_2F_1(a,b;c;z)$ around the point $z=1$ to obtain necessary conditions for $f$ to be $λ$-spirallike for a given $λ$ with $- π/2< λ

연구 동기 및 목표

• 이동한 초함수에 대한 기하함수이론을 실수 매개수의 경우를 넘어서 복소수 매개수로 확장한다.
• 기존 연구가 주로 실수 매개수에 대해 항성형과 볼록성에 집중한 데 비해, 초함수에서의 뱀모양 성질에 대한 결과 부족 문제를 해결한다.
• 함수 $ f(z) = z{}_2F_1(a,b;c;z) $가 $ \lambda $-뱀모양임을 위한 필요 및 충분 조건을 도출하여 항성형을 일반화한다.
• 복소수 매개수를 가진 뱀모양이지만 항성형이 아닌 함수의 명시적 예를 구성하여 새로운 조건의 더 넓은 적용 범위를 보여준다.

제안 방법

• 함수 $ {}_2F_1(a,b;c;z) $가 $ z=1 $ 근처에서의 渐近적 행동을 분석하여 $ \lambda $-뱀모양임을 위한 필수 조건을 유도한다.
• 실수부 조건을 통해 $ \lambda $-뱀모양임을 특징짓는 기준 $ e^{-i\lambda} \frac{zf'(z)}{f(z)} $의 실수부를 적용한다.
• 매개수의 실수부와 허수부를 활용하여 충분 조건을 도출하며, 특히 $ L, M, N $이 $ a, b, c $의 대칭 조합의 실수부인 경우에 $ LN - M^2 \geq 0 $의 판별식을 사용한다.
• 스타르리프성의 $ f $와 $ g $의 볼록성 간 관계를 나타내는 앨리서더 관계 $ zg'(z) = f(z) $를 적용하여 클래스 간 결과를 이전할 수 있도록 한다.
• $ f $의 강한 항성형 성질을 나타내는 조건 $ \sigma(f) \geq \alpha $를 적용하고, $ \alpha = 1 - \frac{2}{\pi}|\lambda| $를 통해 $ \lambda $-뱀모양과 연결한다.
• 예를 들어 $ a + b = s \in \mathbb{R} $, $ ab = qe^{i\lambda} $ 등의 매개수 제약 조건을 사용하여 명시적 예를 구성하고, $ q $와 $ s $에 대한 $ \lambda $-뱀모양임을 위한 범위를 유도한다.

실험 결과

연구 질문

• RQ1 복소수 매개수 $ a, b, c $에 대해 이동한 초함수 $ f(z) = z{}_2F_1(a,b;c;z) $가 $ \lambda $-뱀모양임을 위한 필수 조건은 무엇인가?
• RQ2 특히 $ f $가 항성형이 아닐 경우, $ f(z) $가 $ \lambda $-뱀모양임을 보장하는 충분 조건은 무엇인가?
• RQ3 복소수 매개수에 대해 $ \lambda $-뱀모양이지만 항성형이 아닌 함수의 명시적 예를 구성할 수 있는가?
• RQ4 매개수의 대칭성과 $ ab $, $ b+c $, $ c-b $의 실수부는 뱀모양에 어떤 영향을 미치는가?
• RQ5 $ LN - M^2 \geq 0 $의 판별식이 $ f(z) $의 뱀모양을 결정하는 데 어떤 역할을 하는가?

주요 결과

• 매개수 $ a = 2 $, $ b+is $, $ c+is $를 가진 함수 $ f(z) = z{}_2F_1(2, b+is; c+is; z) $는 $ 3 \leq b+c $ 및 $ b \leq c $ 조건을 만족할 경우 항성형이며, $ g(z) = z{}_2F_1(1, b+is; c+is; z) $는 볼록하다.
• 함수 $ z{}_2F_1(2, b; 3 - \bar{b}; z) $는 정리 1.2의 모든 조건을 등호를 포함해 만족하지만, $ \operatorname{Re} b > 3/2 $일 경우 항성형이 아니며, 이는 부등식 조건의 정확성을 보여준다.
• 매개수 $ a = 2e^{i\lambda}\cos\lambda $, $ b > 0 $일 경우, 함수 $ z{}_2F_1(a, b; a + b + 1; z) $는 모든 $ b > 0 $에 대해 $ \lambda $-뱀모양이며, $ L > 0 $, $ M = 0 $, $ N > 0 $이므로 $ LN - M^2 > 0 $을 확보한다.
• 보조정리 4.5는 $ a + b = s \in \mathbb{R} $, $ ab = qe^{i\lambda} $ 조건을 만족할 경우 $ \lambda $-뱀모양임을 위한 충분 조건을 제공하며, $ 2s - \frac{q}{\cos\lambda} \geq \frac{4\cos^2\lambda - 1}{2\cos^2\lambda + 1} $를 요구한다.
• 예를 들어 $ \lambda = \pi/4 $, $ s = 35/8 $, $ q = 125/(16\sqrt{2}) $일 경우 부등식을 만족하며, 이는 $ \lambda $-뱀모양이지만 항성형이 아닌 함수를 생성한다. 이 경우 $ z = e^{i\pi/4} $에서 $ \operatorname{Re}(zf'(z)/f(z)) \approx -0.0374 $이다.
• 함수 $ z{}_2F_1(1, \gamma+1; \gamma+2; z) $는 $ \operatorname{Re} \gamma \geq 0 $일 경우 볼록하며, 이는 Ruscheweyh(1991)의 기존 결과와 일치한다.