[논문 리뷰] A property of logarithmically absolutely monotonic functions and the logarithmically complete monotonicity of a power-exponential function

Feng Qi, Bai‐Ni Guo|arXiv (Cornell University)|2009. 03. 29.

Mathematical Inequalities and Applications참고 문헌 38인용 수 73

한 줄 요약

이 논문은 로그적으로 절대 단조 증가하는 함수의 개념을 도입하고, 이를 완전 단조 증가 함수 및 로그적으로 완전 단조 증가 함수와의 관계를 설정한다. 특정 매개변수 범위에서 거듭제곱 지수 함수 $\left(1 + \frac{\alpha}{x}\right)^{x+\beta}$의 로그적으로 완전 단조 증가성을 증명하며, 로그적으로 완전 단조 증가 함수가 완전 단조 증가 함수임을 새롭게 증명하고, 이러한 함수의 특성에 관한 열린 문제를 제기한다.

ABSTRACT

In the article, a notion "logarithmically absolutely monotonic function" is introduced, an inclusion that a logarithmically absolutely monotonic function is also absolutely monotonic is revealed, the logarithmically complete monotonicity and the logarithmically absolute monotonicity of the function $\bigl(1+\fracαx\bigr) ^{x+β}$ are proved, where $α$ and $β$ are given real parameters, a new proof for the inclusion that a logarithmically completely monotonic function is also completely monotonic is given, and an open problem is posed.

연구 동기 및 목표

• 로그적으로 절대 단조 증가하는 함수의 새로운 클래스를 도입하고 정의한다.
• 로그적으로 절대 단조 증가하는 함수와 절대 단조 증가 함수 사이의 포함 관계를 설정한다.
• 실수 매개변수 $\alpha$와 $\beta$에 대해 거듭제곱 지수 함수 $\left(1 + \frac{\alpha}{x}\right)^{x+\beta}$의 로그적으로 완전 단조 증가성을 증명한다.
• 로그적으로 완전 단조 증가 함수가 완전 단조 증가 함수임을 새롭게 증명한다.
• 로그적으로 완전 단조 증가 함수의 특성에 관한 열린 문제를 제기한다.

제안 방법

• 양의 함수의 로그의 비음수 도함수를 통해 로그적으로 절대 단조 증가하는 함수의 개념을 도입한다.
• Faá di Bruno의 공식을 사용하여 $\ln f(x)$의 고차 도함수를 벨 다항식의 형태로 표현한다.
• 적분 표현을 통해 $\ln F_{\alpha,\beta}(x) = \ln\left(1 + \frac{\alpha}{x}\right)^{x+\beta}$의 도함수의 부호를 분석한다.
• 함수 $p(u)$가 $u = \alpha t$에서 정의되고 단조적이며 알려진 극한을 가진다는 점을 이용하여 $\ln F_{\alpha,\beta}(x)$의 두 번째 이상의 도함수에 대한 적분 표현을 유도한다.
• $x \to 0^-$, $x \to -\infty$, 및 $x \to (-\alpha)^-$일 때 $\theta_\alpha(x)$의 점근적 분석을 적용하여 단조성에 필요한 매개변수 조건을 결정한다.
• Stieltjes 변환의 구조와 함께 $\mathcal{C}_L[I] \subset \mathcal{C}[I]$를 적용하여 완전 단조 증가성에 대한 함의를 도출한다.

실험 결과

연구 질문

• RQ1 함수 $F_{\alpha,\beta}(x) = \left(1 + \frac{\alpha}{x}\right)^{x+\beta}$가 $(-\infty, -\alpha)$ 또는 $(-\alpha, 0)$에서 언제 로그적으로 완전 단조 증가하는가?
• RQ2 로그적으로 절대 단조 증가하는 함수와 절대 단조 증가 함수 사이의 관계는 무엇인가?
• RQ3 함수 $F_{\alpha,\beta}(x)$의 로그 완전 단조 증가성은 매개변수 $\alpha$와 $\beta$에 대해 어떻게 특성화될 수 있는가?
• RQ4 함수 $\ln f(x)$의 도함수의 부호 분석을 통해 포함 관계 $\mathcal{C}_L[I] \subset \mathcal{C}[I]$를 독립적으로 증명할 수 있는가?
• RQ5 $F_{\alpha,\beta}(x)$가 $(-\infty, -\alpha)$에서 로그적으로 절대 단조 증가하는 데 필요한 그리고 충분한 조건은 $\alpha$와 $\beta$에 대해 무엇인가?

주요 결과

• 함수 $F_{\alpha,\beta}(x) = \left(1 + \frac{\alpha}{x}\right)^{x+\beta}$는 $\alpha > 0$ 이고 $\beta \geq \frac{\alpha}{2}$일 때 $(0, \infty)$에서 로그적으로 완전 단조 증가한다.
• 함수 $F_{\alpha,\beta}(x)$는 $2\beta \leq \alpha$ 이고 $\alpha > 0$일 때 $(-\infty, -\alpha)$에서, $\beta \geq 0$일 때 $(-\alpha, 0)$에서 로그적으로 완전 단조 증가한다.
• 함수 $F_{\alpha,\beta}(x)$는 $2\beta \leq \alpha$일 때 $(-\infty, -\alpha)$에서, $\beta \geq 0$일 때 $(-\alpha, 0)$에서 로그적으로 절대 단조 증가하며, $\ln F_{\alpha,\beta}(x)$의 도함수 부호는 $p(u)$의 행동에 의해 결정된다.
• 함수 $\ln f(x)$의 도함수 구조와 Faá di Bruno의 공식을 사용하여 포함 관계 $\mathcal{C}_L[I] \subset \mathcal{C}[I]$가 재증명된다.
• 매개변수 $\beta < 0$일 때 $(-\infty, -\alpha)$에서 첫 번째 도함수의 부호를 통해 함수 $F_{\alpha,\beta}(x)$는 로그적으로 완전 단조 증가하지 않음을 보였다.
• 특히 매개변수 의존적 행동과 관련하여 로그적으로 완전 단조 증가 함수의 완전한 특성화에 관한 열린 문제가 제기되었다.