[논문 리뷰] Proofs of some conjectures on monotonicity of ratios of Kummer, Gauss and generalized hypergeometric functions

Khaled Mehrez, С. М. Ситник|arXiv (Cornell University)|2014. 10. 22.

Mathematical Inequalities and Applications참고 문헌 10인용 수 5

한 줄 요약

이 논문은 쿠머, 가우스, 일반화된 초함수에 대한 비율의 단조성에 관한 오랫동안 남아 있던 추측을 증명하며, 주어진 매개변수 조건 하에 이러한 비율이 $[0, \infty)$에서 엄밀히 증가함을 입증한다. 주요 기여는 초함수에 대한 'abc-문제'를 완전히 해결한 것으로, 투란 유형 부등식 및 특수함수 이론에 응용된다.

ABSTRACT

In 1993 one of the authors formulated some conjectures on monotonicity of ratios for exponential series sections. They lead to more general conjecture on monotonicity of ratios of Kummer hypergeometric functions and was not proved from 1993. In this paper we prove these conjectures in the more general setting for Kummer hypergeometric functions and its further generalizations for Gauss and generalized hypergeometric functions. The results are also closely connected with Turan--type inequalities.

연구 동기 및 목표

• 1993년 이래로 증명되지 않았던 쿠머 초함수 비율의 단조성 추측을 해결하는 것, 특히 비율 $ f_n(x) = \frac{R_{n-1}(x)R_{n+1}(x)}{[R_n(x)]^2} $에 대한 것.
• 쿠머 및 일반화된 초함수 비율의 단조성 결과를 일반화하여 $ {}_pF_q $ 함수에 대한 'abc-문제'를 다루는 것.
• 단조성 결과로부터 새로운 투란 유형 부등식을 도출하여 특수함수 이론에서 알려진 부등식을 확장하는 것.
• 급수 계수 비교 및 급수 비율의 단조성 보조정리 등을 사용한 엄밀한 분석적 프레임워크를 제공하는 것.
• 지난 연구에서의 지수 섹션 부등식 및 초함수 비율에 대한 결과들을 통합하고 일반화하며, 라마누잔의 $ e^n $에 대한 경계와의 연결 고리를 포함하는 것.

제안 방법

• 이전 연구에서 유도된 레마 1과 레마 2를 사용하여 양의 계수를 가진 급수 비율의 단조성을 분석한다.
• 초함수 급수의 계수 수열 $ \frac{A_n}{B_n} $ 의 비율을 적용하여 계수 비율의 증가 수열을 통해 단조성을 증명한다.
• 표현식 $ h(a,b,c,x) = \frac{{}_1F_1(a;b-c;x){}_1F_1(a;b+c;x)}{[{}_1F_1(a;b;x)]^2} $ 를 제시하고, $ {}_pF_q $ 함수에 대해 $ h_{p,q}(a,b,c,x) $ 로 일반화한다.
• 수열 $ W_{n,k}(a,b,c) = \frac{U_k(a,b,c)}{V_k(a,b)} $ 가 $ k $ 에 대해 엄밀히 증가함을 입증하여 $ \frac{A_n}{B_n} $ 도 증가함을 암시한다.
• 포흐하머 심볼 항등식과 감마 함수 성질을 통해 $ \frac{W_{n,k+1}}{W_{n,k}} > 1 $ 를 이용하여 단조성을 확인한다.
• 레마 2를 적용하여 매개변수 제약 조건 하에 함수 $ h_{p,q}(a,b,c,x) $ 가 $[0,1[$ 에서 엄밀히 증가함을 결론짓는다.

실험 결과

연구 질문

• RQ1 1993년에 제기된 추측에 따르면, 비율 $ f_n(x) = \frac{R_{n-1}(x)R_{n+1}(x)}{[R_n(x)]^2} $ 는 모든 $ n \in \mathbb{N} $ 에 대해 $[0, \infty)$ 에서 엄밀히 증가하는가?
• RQ2 조건 $ 0 < a < b - c $, $ b > 1 $ 하에, 일반화된 비율 $ h(a,b,c,x) = \frac{{}_1F_1(a;b-c;x){}_1F_1(a;b+c;x)}{[{}_1F_1(a;b;x)]^2} $ 는 모든 $ x \geq 0 $ 에서 단조 증가하는가?
• RQ3 적절한 매개변수 제약 조건 하에, 초함수 비율의 단조성은 $ {}_pF_q $ 함수로 확장될 수 있는가?
• RQ4 단조성 결과는 일반화된 초함수에 대한 새로운 투란 유형 부등식을 암시하는가?
• RQ5 $ h_{p,q}(a,b,c,x) $ 가 $[0,1[$ 에서 단조성임을 위한 매개변수 $ a, b, c $ 의 必要 및 充분 조건은 무엇인가?

주요 결과

• 비율 $ f_n(x) $ 가 $[0, \infty)$ 에서 엄밀히 증가함을 증명하였으며, $ \frac{n+1}{n+2} = f_n(0) \leq f_n(x) < 1 = f_n(\infty) $ 를 통해 날카로운 경계가 확인되었다.
• 함수 $ g_n(x) = \frac{{}_1F_1(1;n+1;x){}_1F_1(1;n+3;x)}{[{}_1F_1(1;n+2;x)]^2} $ 는 $[0, \infty)$ 에서 엄밀히 증가하며, 이는 추측 2를 해결한다.
• 쿠머 함수에 대해, 조건 $ 0 < a < b - c $, $ b > 1 $ 하에 비율 $ h(a,b,c,x) $ 는 $[0, \infty)$ 에서 엄밀히 증가함을 입증하여 쿠머 함수에 대한 'abc-문제'를 해결한다.
• 일반화된 $ {}_pF_q $ 함수에 대해, 조건 $ p \leq q+1 $, $ b_i > 1 $, $ b_i > 0 $, $ b_i - c_i > 0 $, $ a_i > b_i $ (모든 $ i \geq 2 $) 를 만족할 경우, 비율 $ h_{p,q}(a,b,c,x) $ 는 $[0,1[$ 에서 엄밀히 증가한다.
• 동일한 매개변수 제약 조건 하에, $ x \in [0,1[ $ 에 대해 투란 유형 부등식 $ {}_pF_q(a;b-c;x){}_pF_q(a;b+c;x) > [{}_pF_q(a;b;x)]^2 $ 가 성립한다.
• 결과들은 이전의 부등식들을 일반화하고 통합하며, 라마누잔의 $ e^n $에 대한 경계를 포함한 결과를 확장하고, 알려진 투란 유형 부등식을 고차 초함수로까지 확장한다.