[논문 리뷰] Inequalities for generalized trigonometric and hyperbolic sine functions

Miao-Kun Wang, Yu-Ming Chu외 1명|arXiv (Cornell University)|2012. 12. 05.

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

한 줄 요약

이 논문은 일반화된 삼각함수 및 쌍곡사인 함수에 대해 두 개의 날카로운 부등식을 증명한다: $\sigma_{p,q}(\sqrt{rs}) \geq \sqrt{\sigma_{p,q}(r)\sigma_{p,q}(s)}$ 및 $\sinh_{p,q}(\sqrt{r^*s^*}) \leq \sqrt{\sinh_{p,q}(r^*)\sinh_{p,q}(s^*)}$, $p,q > 1$ 및 적절한 정의역에서 성립한다. 저자들은 이 부등식들을 로그 미분법과 역함수의 단조성 분석을 통해 확립하였으며, Bhayo와 Vuorinen의 추측을 해결하고 고전적 부등식들을 일반화된 $(p,q)$-프레임워크로 확장하였다.

ABSTRACT

We prove that the inequalities $\sin_{p,q}(\sqrt{rs})\geq \sqrt{\sin_{p,q}(r)\sin_{p,q}(s)}$ and $\sinh_{p,q}(\sqrt{r^*s^*}) \leq \sqrt{\sinh_{p,q}(r^*)\sinh_{p,q}(s^*)}$ hold for all $p,q\in(1,\infty)$, $r,s\in(0,\int_{0}^{1}(1-t^q)^{-1/p}dt)$ and $r^*,s^*\in(0,\int_{0}^{\infty}(1+t^q)^{-1/p}dt)$, where $\sin_{p,q}$ and $\sinh_{p,q}$ are the generalized trigonometric and hyperbolic sine functions, respectively. As a consequence of the results, we prove a conjecture due to Bhayo and Vuorinen [J. Approx. Theory, 164(2012)].

연구 동기 및 목표

• Bhayo와 Vuorinen(2012)이 제기한 일반화된 삼각함수 및 쌍곡사인 함수를 포함하는 함수 부등식에 관한 추측을 해결하기 위해.
• 기하평균 형태의 변수를 사용하여 $\sin_{p,q}$ 및 $\sinh_{p,q}$에 대한 날카로운 부등식을 확립하기 위해.
• Mitrinović-Adamović 및 Lazarević와 같은 고전적 부등식들을 일반화된 $(p,q)$-함수 프레임워크로 확장하기 위해.
• 미분 부등식을 통한 역함수 $\arcsin_{p,q}$ 및 $\mathrm{arcsinh}_{p,q}$의 단조성 성질을 분석하기 위해.
• 적분 표현 및 특수함수 이론을 활용하여 일반화된 사인 및 쌍곡사인 함수를 통합적으로 다루기 위해.

제안 방법

• 유리함수를 이용해 $\arcsin_{p,q}(x)$에 대한 하한을 유도하며, 도함수 분석을 통해 이 하한이 엄밀히 초과됨을 증명한다.
• 비율 $\frac{x}{\mathrm{arcsinh}_{p,q}(x)}$에 대한 상한을 유리식을 통해 확립하며, $p$와 $q$에 대한 사례 분석을 통해 이를 검증한다.
• 로그 평균 유형 함수 $H_{p_1}(x,y)$를 정의하고, 비율 $J(x,y)$의 로그 미분을 통해 그 단조성을 분석한다.
• 쌍곡사례에서 비율 $J^*(x,y)$에 대한 로그 미분을 적용하여 $\mathrm{arcsinh}_{p,q}$를 포함하는 경우의 단조성을 분석한다.
• 로그 도함수로부터 유도된 $F(x)$ 및 $F^*(x)$의 단조성을 활용하여 $J$ 및 $J^*$가 증가 또는 감소하는 조건을 규명한다.
• 각각 $x = \sin_{p,q}(r)$, $y = \sin_{p,q}(s)$ 및 $x = \sinh_{p,q}(r^*)$, $y = \sinh_{p,q}(s^*)$로 대입하여 결과를 역함수 $\sin_{p,q}$ 및 $\sinh_{p,q}$에 적용한다.

실험 결과

연구 질문

• RQ1 모든 $p,q > 1$ 및 $r,s \in (0, \pi_{p,q}/2)$에 대해 부등식 $\sin_{p,q}(\sqrt{rs}) \geq \sqrt{\sin_{p,q}(r)\sin_{p,q}(s)}$가 성립하는가?
• RQ2 모든 $p,q > 1$ 및 $r^*,s^* \in (0, m_{p,q}^*)$에 대해 부등식 $\sinh_{p,q}(\sqrt{r^*s^*}) \leq \sqrt{\sinh_{p,q}(r^*)\sinh_{p,q}(s^*)}$가 성립하는가?
• RQ3 적분 및 단조성 방법을 사용하여 Bhayo와 Vuorinen이 제기한 일반화된 사인 및 쌍곡사인 부등식의 추측을 확인할 수 있는가?
• RQ4 비율 함수 $J(x,y)$ 및 $J^*(x,y)$의 단조성을 보장하기 위해 파워 평균 매개변수 $p_1$ 또는 $p_2$에 어떤 조건이 필요한가?
• RQ5 $x \to 0$ 및 $x \to \infty$에서 $\arcsin_{p,q}(x)$ 및 $\mathrm{arcsinh}_{p,q}(x)$의 점근적 행동이 유도된 부등식에 어떤 영향을 미치는가?

주요 결과

• 모든 $p,q > 1$ 및 $r,s \in (0, \pi_{p,q}/2)$에 대해 부등식 $\sin_{p,q}(\sqrt{rs}) \geq \sqrt{\sin_{p,q}(r)\sin_{p,q}(s)}$가 성립하며, 등호는 $r = s$일 때에만 성립한다.
• 모든 $p,q > 1$ 및 $r^*,s^* \in (0, m_{p,q}^*)$에 대해 부등식 $\sinh_{p,q}(\sqrt{r^*s^*}) \leq \sqrt{\sinh_{p,q}(r^*)\sinh_{p,q}(s^*)}$가 성립하며, 등호는 $r^* = s^*$일 때에만 성립한다.
• 저자들은 $\arcsin_{p,q}(x)$에 대한 날카로운 하한을 증명한다: $\arcsin_{p,q}(x) > \frac{px(1-x^q)^{1-1/p}}{(q-p)x^q + p}$, $x \in (0,1)$.
• 비율 $\frac{x}{\mathrm{arcsinh}_{p,q}(x)}$에 대한 날카로운 상한이 확립된다: $\frac{x}{\mathrm{arcsinh}_{p,q}(x)} > \frac{(p-q)x^q + p}{p(1+x^q)^{1-1/p}}$, $x \in (0,\infty)$.
• 적분 $m_{p,q}^* = \int_0^\infty (1+t^q)^{-1/p} dt > 1$이 증명되어, $\sinh_{p,q}$의 정의역이 충분히 크다는 것을 보장하며, 이는 부등식이 의미 있는 데에 기여한다.
• 로그 미분법과 $F(x)$, $F^*(x)$의 단조성 분석을 통한 증명 기법은 Bhayo와 Vuorinen의 추측을 확인하고, 전체 매개변수 범위 $p,q > 1$로 확장한다.