[논문 리뷰] Sharp bounds in terms of the power of the contra-harmonic mean for Neuman-Sandor mean

Wei-Dong Jiang, Feng Qi|arXiv (Cornell University)|2013. 01. 16.

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

한 줄 요약

이 논문은 모수 p ≥ 1/2 이며 a,b > 0, a ≠ b 이면, 이중부등식 $ Q_{t_1,p}(a,b) < M(a,b) < Q_{t_2,p}(a,b) $ 가 성립하는 것과 동치인 날카운 경계를 네이먼-산데르 평균에 대해 조건부로 제시한다. 이는 $ t_1 \leq \frac{1}{2}\left(1 + \sqrt{(1/t^*)^{1/p} - 1}\right) $ 이고 $ t_2 \geq \frac{1}{2}\left(1 + \frac{1}{\sqrt{6p}}\right) $ 인 경우이며, 여기서 $ t^* = \ln(1+\sqrt{2}) $ 이다.

ABSTRACT

In the paper, the authors obtain sharp bounds in terms of the power of the contra-harmonic mean for Neuman-Sándor mean.

연구 동기 및 목표

• p ≥ 1/2 이며 a,b > 0, a ≠ b 이면, 이중부등식 $ Q_{t_1,p}(a,b) < M(a,b) < Q_{t_2,p}(a,b) $ 가 성립하도록 하는 최적의 값 $ t_1(p) $ 과 $ t_2(p) $ 를 (1/2, 1) 내에서 결정하는 것.
• 반조화 평균의 거듭제곱을 경계 함수로 사용하여 이전의 평균 부등식 결과를 확장하는 것.
• 일반화된 평균 구조 $ Q_{t,p}(a,b) = C^p(ta+(1-t)b,tb+(1-t)a)A^{1-p}(a,b) $ 를 통해 네이만-산데르 평균에 대한 경계의 날카움을 해결하는 열린 문제를 해결하는 것.
• 네이만-산데르, 세이피어트 및 반조화 평균 간의 이전 부등식들을 매개변수화된 평균 프레임워크를 통해 통합하고 일반화하는 것.

제안 방법

• 반조화 평균과 산술 평균을 매개변수 $ p \geq \frac{1}{2} $ 와 함께 조합한 일반화된 평균 $ Q_{t,p}(a,b) = C^p(ta+(1-t)b,tb+(1-t)a)A^{1-p}(a,b) $ 를 정의하는 것.
• 불등식 분석을 단일 변수 함수로 축소하기 위해 $ x = \frac{a-b}{a+b} \in (0,1) $ 을 대입하는 것.
• 로그 비율 $ \ln\left(\frac{Q_{t,p}(a,b)}{M(a,b)}\right) $ 를 분석하고, $ u = (1-2t)^2 $ 일 때 함수 $ f_{u,p}(x) = p\ln(1+ux^2) - \ln x + \ln(\operatorname{arcsinh}x) $ 로 변환하는 것.
• L'Hôpital의 정리와 비율 단조성 보조정리(보조정리 2.1)를 사용하여 $ f_{u,p}(x) $ 의 단조성 성질을 분석하는 것.
• 함수 $ f_{u,p}(x) > 0 $ 이 되는 것은 $ 6pu \geq 1 $ 과 동치이며, $ f_{u,p}(x) < 0 $ 이 되는 것은 $ 1+u \leq (1/t^*)^{1/p} $ 과 동치임을 증명하는 것. 여기서 $ t^* = \ln(1+\sqrt{2}) $ 이다.
• 매개변수 $ p $ 에 대해 $ t $ 를 구함으로써 최적 경계를 유도하고, 임계값 $ t_1(p) $ 과 $ t_2(p) $ 를 도출하는 것.

실험 결과

연구 질문

• RQ1 p ≥ 1/2 이며 a,b > 0, a ≠ b 이면, 이중부등식 $ Q_{t_1,p}(a,b) < M(a,b) < Q_{t_2,p}(a,b) $ 가 성립하도록 하는 최적의 값 $ t_1(p) $ 과 $ t_2(p) $ 는 무엇인가요?
• RQ2 일반화된 평균 $ Q_{t,p}(a,b) $ 에서 거듭제곱 매개변수 $ p $ 가 경계의 날카움에 어떻게 영향을 미치나요?
• RQ3 네이만-산데르 평균에 대한 경계는 반조화 평균의 거듭제곱 형태로 명시적이고 최적의 매개변수를 포함하여 표현할 수 있나요?
• RQ4 최적의 $ t $-값과 평균 부등식의 맥락에서 상수 $ t^* = \ln(1+\sqrt{2}) $ 간의 관계는 무엇인가요?
• RQ5 함수 $ f_{u,p}(x) = p\ln(1+ux^2) - \ln x + \ln(\operatorname{arcsinh}x) $ 가 (0,1) 에서 양수 또는 음수일 조건은 무엇인가요?

주요 결과

• p ≥ 1/2 이며 a,b > 0, a ≠ b 이면, 이중부등식 $ Q_{t_1,p}(a,b) < M(a,b) < Q_{t_2,p}(a,b) $ 가 성립하는 것은 $ t_1 \leq \frac{1}{2}\left(1 + \sqrt{(1/t^*)^{1/p} - 1}\right) $ 이고 $ t_2 \geq \frac{1}{2}\left(1 + \frac{1}{\sqrt{6p}}\right) $ 인 것과 동치이며, 여기서 $ t^* = \ln(1+\sqrt{2}) \approx 0.8814 $ 이다.
• p = 1/2 일 때, 결과는 기존의 알려진 부등식 $ S(\alpha a + (1-\alpha)b, \alpha b + (1-\alpha)a) < M(a,b) < S(\beta a + (1-\beta)b, \beta b + (1-\beta)a) $ 로 줄어들며, 최적의 $ \alpha $ 와 $ \beta $ 는 기존의 경계와 일치한다.
• p = 1 일 때, 결과는 반조화 평균에 대한 날카운 경계를 도출한다: $ C(\lambda a + (1-\lambda)b, \lambda b + (1-\lambda)a) < M(a,b) < C(\mu a + (1-\mu)b, \mu b + (1-\mu)a) $, 여기서 $ \lambda \leq \frac{1}{2}\left(1 + \sqrt{\frac{1}{\ln(1+\sqrt{2})} - 1}\right) $ 이고 $ \mu \geq \frac{1}{2}\left(1 + \frac{\sqrt{6}}{6}\right) $ 이다.
• 함수 $ f_{u,p}(x) = p\ln(1+ux^2) - \ln x + \ln(\operatorname{arcsinh}x) $ 는 $ 6pu \geq 1 $ 이면 (0,1) 에서 양수이며, $ 1+u \leq (1/t^*)^{1/p} $ 이면 음수이다. 여기서 $ t^* = \ln(1+\sqrt{2}) $ 이다.
• 임계값 $ u_0 = (1/t^*)^{1/p} - 1 $ 은 함수 $ h_p(u) = p\ln(1+u) + \ln(t^*) $ 의 유일한 영점이며, $ f_{u,p}(x) $ 의 양수 영역과 음수 영역을 분리한다.
• 증명은 보조정리 2.1 에서 유도된 비율 $ \frac{g_1(x)}{g_2(x)} $ 의 엄격한 단조성과 보조정리 2.2 에서 증명된 $ h(x) = \frac{(1+x^2)\operatorname{arcsinh}x}{x} $ 의 볼록성과 단조성에 기반한다.