[논문 리뷰] Topics in special functions III

G. D. Anderson, Матти Вуоринен외 1명|arXiv (Cornell University)|2012. 09. 08.

Mathematical Inequalities and Applications참고 문헌 136인용 수 6

한 줄 요약

이 논문은 특수함수의 최근 발전을 조사하며, 특히 정칙등각사상 이론과 기하학적 함수론에서 나타나는 함수들에 중점을 두고, 초월함수와 삼각함수의 단조성 및 볼록성 성질을 다룬다. l’Hôpital 단조성 규칙을 적용하여 날카운 부등식과 볼록성 결과를 유도하며, 조르당 부등식의 일반화 및 초월함수 평균에 대한 새로운 경계를 포함한다.

ABSTRACT

The authors survey recent results in special functions of classical analysis and geometric function theory, in particular the circular and hyperbolic functions, the gamma function, the elliptic integrals, the Gaussian hypergeometric function, power series, and mean values.

연구 동기 및 목표

• 정칙등각사상 이론에서 제기된 열린 문제들, 특히 Anderson, Vamanamurthy, Vuorinen (1993, 1996)에서 제기한 문제들에 기반한 특수함수에 관한 결과를 검토하고 확장한다.
• l’Hôpital 단조성 규칙을 적용하여 삼각함수, 쌍곡함수, 초월함수에 대한 날카로운 부등식을 도출한다.
• 영이 균형 잡힌 가우스 초월함수의 $ M_{\lambda,\mu} $-볼록성 성질을 조사하고 기존의 평균 부등식을 일반화한다.
• 클래식한 삼각함수 부등식을 일반화한 $ (p,q) $-삼각함수로의 확장을 포함한 새로운 연구 방향을 제안한다.
• 저자들과의 협업을 통해 시작된 연구를 종합하고 발전시킴으로써, 만난음르티의 뒤이은 업적을 기리기 위함이다.

제안 방법

• 함수 비율 $ f/g $ 의 단조성을 분석하기 위해, $ f'/g' $ 의 단조성에 기반한 l’Hôpital 단조성 규칙(LMR)을 활용한다.
• 다항식과 급수 전개의 최적 형태를 확보하기 위해, 거듭제곱 평균과 재귀적 계수 정의를 사용하여 $ \frac{\sin x}{x} $, $ \frac{\sinh x}{x} $ 및 유사 함수에 대한 날카로운 경계를 도출한다.
• 다항식 및 급수 전개를 위해 재귀적 계수 체계를 활용하여 $ \frac{\sin x}{x} - \frac{\sin \theta}{\theta} $ 에 대한 $ (\theta^t - x^t)^k $ 의 형태로 최적의 표현을 구성한다.
• 기존의 부등식, 예를 들어 조르당 부등식을 $ (\pi^2 - 4x^2)^k $, $ (r^2 - x^2)^k $, $ (\theta^t - x^t)^k $ 의 유한 급수 형태로 일반화한다.
• 초월함수 $ F(a,b;a+b;r) $ 의 $ M_{\lambda,\mu} $-볼록성 성질을 분석하며, $ \lambda \in (-\infty,1] $, $ \mu \in [0,\infty) $ 에 대해 볼록성에 필요한 조건을 설정한다.
• 그로츠쉬 링 함수 $ \mu $ 와 허슈-플루거 왜곡 함수 $ \varphi_K $ 와 같은 함수들로 평균 부등식을 확장하며, $ M_\lambda(\mu(s),\mu(t)) < \mu(M_\lambda(s,t)) $ 가 성립하는 것은 $ \lambda \leq 0 $ 인 경우에 한하여 성립함을 보인다.

실험 결과

연구 질문

• RQ1 구간 $ (0, \pi/2) $ 에서 부등식 $ \cos^{4/3}(x/2) < \frac{\sin x}{x} < \cos^a(x/2) $ 에 대한 최적 상수는 무엇이며, 어떻게 유도되는가?
• RQ2 그로츠쉬 함수 $ \mu $ 에 대해 부등식 $ M_\lambda(\mu(s),\mu(t)) < \mu(M_\lambda(s,t)) $ 가 성립하는 조건은 무엇이며, 이는 $ \lambda $ 에 어떻게 의존하는가?
• RQ3 영이 균형 잡힌 초월함수 $ F(a,b;a+b;r) $ 가 $ (0,1) $ 에서 $ M_{\lambda,\mu} $-볼록성이 성립하기 위한 매개수 $ \lambda, \mu $ 는 무엇인가?
• RQ4 타케우치가 도입한 $ (p,q) $-삼각함수로 삼각함수의 클래식한 단조성 및 볼록성 성질을 일반화할 수 있는가?
• RQ5 $ \frac{\sin x}{x} $ 에 대한 유한 급수 $ (\pi^2 - 4x^2)^k $ 의 형태로의 날카로운 경계는 무엇이며, 계수 $ \alpha_k, \beta_k $ 는 어떻게 결정되는가?

주요 결과

• 구간 $ (0, \pi/2) $ 에서 부등식 $ \cos^{4/3}(x/2) < \frac{\sin x}{x} < \cos^a(x/2) $ 는 $ a \approx 1.30299 $ 일 때 성립하며, 두 상수 모두 최적이다.
• $ x \in (0,1) $ 에서 날카로운 부등식 $ \cosh^{1/3}x < \frac{\sinh x}{x} < \cosh^b x $ 가 성립하며, $ b \approx 0.372168 $ 이고, 두 지수 모두 최적이다.
• $ t \geq 2 $, $ 0 < x \leq \theta < \pi $ 에 대해, $ \sum_{k=1}^n \mu_k(\theta^t - x^t)^k \leq \frac{\sin x}{x} - \frac{\sin \theta}{\theta} \leq \sum_{k=1}^n \omega_k(\theta^t - x^t)^k $ 가 성립하며, 재귀적으로 정의된 최적 상수를 가진다.
• $ \frac{\sin x}{x} $ 는 $ 0 < |x| \leq r \leq \pi/2 $ 에 대해 무한급수 전개 $ \sum_{n=0}^\infty a_n(r^2 - x^2)^n $ 를 갖는다. 이는 해석적이고 짝수인 함수에 대해 유효하다.
• 영이 균형 잡힌 초월함수 $ F(a,b;a+b;r) $ 는 모든 $ a,b > 0 $, $ \lambda \leq 1 $, $ \mu \geq 0 $ 에 대해 $ (0,1) $ 에서 $ M_{\lambda,\mu} $-볼록성이 성립하며, 이는 Zhang, Wang, 및 Chu 의 연구에 의해 입증되었다.
• 부등식 $ M_\lambda(\mu(s),\mu(t)) < \mu(M_\lambda(s,t)) $ 는 $ \lambda \leq 0 $ 인 경우에만 성립하며, $ M_\lambda(\varphi_K(s),\varphi_K(t)) < \varphi_K(M_\lambda(s,t)) $ 는 $ \lambda \geq 0 $ 이고 $ K > 1 $ 인 경우에만 성립한다.