[논문 리뷰] Representation Formulae and Monotonicity of the Generalized k-Bessel Functions

Saiful R. Mondal|arXiv (Cornell University)|2016. 11. 22.

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

한 줄 요약

이 논문은 일반화된 k-베셀 함수 $\mathtt{W}^{\mathtt{k}}_{\nu,c}(x)$를 도입하여 그 표현 공식을 유도하고, 이 함수가 이阶微分方程을 만족함을 증명하며, 단조성 및 로그-볼록성 성질을 확립한다. 주요 기여는 적분 표현과 체비셰프 부등식을 이용하여 $\mathtt{W}^{\mathtt{k}}_{\nu,-1}(x)$에 대한 투란 유형 부등식을 유도하는 것이다.

ABSTRACT

This paper introduces and studies a generalization of the $\mathtt{k}$-Bessel function of order $ν$ given by \[\mathtt{W}^{\mathtt{k}}_{ν, c}(x):= \sum_{r=0}^\infty \frac{(-c)^r}{Γ_{\mathtt{k}}\left( r \mathtt{k} +ν+\mathtt{k} ight) r!} \left(\frac{x}{2} ight)^{2r+\fracν{\mathtt{k}}}. \] Representation formulae are derived for $\mathtt{W}^{\mathtt{k}}_{ν, c}.$ Further the function $\mathtt{W}^{\mathtt{k}}_{ν, c}$ is shown to be a solution of a second order differential equation. Monotonicity and log-convexity properties for the generalized $\mathtt{k}$-Bessel function $\mathtt{W}^{\mathtt{k}}_{ν, c}$ are investigated, particularly in the case $c=-1$. Several inequalities, including the Turán-type inequality are established.

연구 동기 및 목표

• 클래식한 베셀 함수와 수정된 베셀 함수를 k-감마 함수를 통해 일반화하여, 일반화된 k-베셀 함수 $\mathtt{W}^{\mathtt{k}}_{\nu,c}(x)$를 도입한다.
• 적분 및 표현 공식을 유도하여, 재귀 관계를 포함한 $\mathtt{W}^{\mathtt{k}}_{\nu,c}(x)$에 대해 유도한다.
• $\mathtt{W}^{\mathtt{k}}_{\nu,c}(x)$가 이계 미분방정식을 만족함을 증명하고, 이는 클래식한 베셀 및 수정된 베셀 방정식을 일반화한다.
• $\mathtt{W}^{\mathtt{k}}_{\nu,c}(x)$의 단조성 및 로그-볼록성 성질을 조사하며, 특히 $c = -1$인 경우에 대해 투란 유형 부등식을 도출한다.

제안 방법

• 일반화된 k-베셀 함수는 k-감마 함수 $\Gamma_{\mathtt{k}}(x)$를 포함한 멱급수를 통해 정의되며, 이는 고전적 베셀 함수를 일반화한다.
• 적분 표현을 이용하여 표현 공식을 유도하며, $\cos(\tfrac{xt}{\sqrt{\mathtt{k}}})$ 및 $\cosh(\tfrac{xt}{\sqrt{\mathtt{k}}})$를 포함한다.
• 급수의 직접 미분을 통해 $\mathtt{W}^{\mathtt{k}}_{\nu,c}(x)$가 이계 미분방정식을 만족함을 증명한다.
• 각 항이 $\nu$에 대해 로그-볼록임을 보이고, 로그-볼록 함수의 합도 여전히 로그-볼록이므로 로그-볼록성을 증명한다.
• 체비셰프 적분 부등식을 적용하여 투란 유형 부등식을 도출한다. 이는 적절히 선택된 함수 $f$, $g$, 및 가중치 $q(t)$에 적용된다.
• 함수 $f(t) = (1-t^2)^{\nu/\mathtt{k} - 1/2}$ 및 $g(t) = (1-t^2)^{\nu/\mathtt{k} + 1/2}$의 $[0,1]$에서의 단조성 분석을 통해 부등식을 확립한다.

실험 결과

연구 질문

• RQ1 클래식한 베셀 함수는 어떻게 k-감마 함수를 통해 일반화할 수 있으며, 새로운 함수의 클래스를 정의할 수 있는가?
• RQ2 일반화된 k-베셀 함수 $\mathtt{W}^{\mathtt{k}}_{\nu,c}(x)$는 어떤 이계 미분방정식을 만족하는가?
• RQ3 고정된 $x > 0$ 및 $\mathtt{k} > 0$일 때, 일반화된 k-베셀 함수 $\mathtt{W}^{\mathtt{k}}_{\nu,c}(x)$는 $\nu$에 대해 로그-볼록한가?
• RQ4 $\mathtt{W}^{\mathtt{k}}_{\nu,-1}(x)$에 대해 투란 유형 부등식을 확립할 수 있으며, 그 조건은 무엇인가?
• RQ5 함수의 단조성 및 볼록성 성질은 매개수 $\nu$와 $c$의 부호에 따라 어떻게 변화하는가?

주요 결과

• 일반화된 k-베셀 함수 $\mathtt{W}^{\mathtt{k}}_{\nu,c}(x)$는 이계 미분방정식을 만족하며, $\mathtt{k} = 1$ 및 $c = \pm 1$일 때 고전적 베셀 및 수정된 베셀 방정식으로 축소된다.
• $\mathtt{W}^{\mathtt{k}}_{\nu,-1}(x)$는 고정된 $x > 0$에 대해 $(-\mathtt{k}, \infty)$에서 $\nu$에 대해 로그-볼록하며, 이는 급수의 각 항이 로그-볼록하기 때문이다.
• $\mathcal{I}_{\nu}^{\mathtt{k}}(x)$에 대해 역방향 투란 유형 부등식이 성립한다: $\left(\mathcal{I}_{\nu}^{\mathtt{k}}(x)\right)^2 - \mathcal{I}_{\nu-a}^{\mathtt{k}}(x)\mathcal{I}_{\nu+a}^{\mathtt{k}}(x) \leq 0$ for $\nu \geq |a| - \mathtt{k}$.
• $\mathcal{I}_{\nu}^{\mathtt{k}}(x)\mathcal{I}_{\nu+\mathtt{k}/2}^{\mathtt{k}}(x) \leq \frac{\sqrt{\mathtt{k}}}{x}\sin\left(\frac{x}{\mathtt{k}}\right)\mathcal{I}_{2\nu+\mathtt{k}/2}^{\mathtt{k}}(x)$는 $\nu \in (-3\mathtt{k}/4, -\mathtt{k}/2] \cup [\mathtt{k}/2, \infty)$에서 성립한다.
• $\nu \in (-\mathtt{k}/2, \mathtt{k}/2)$일 경우 부등식의 방향이 뒤집히며, 하이퍼볼릭余弦을 포함하는 $\mathcal{J}_{\nu}^{\mathtt{k}}(x)$의 적분형 버전에 대해서도 유사한 결과가 성립한다.