[논문 리뷰] Sharp power means bounds for Neuman-Sándor mean

Zhen-Hang Yang|arXiv (Cornell University)|2012. 08. 04.

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

한 줄 요약

이 논문은 거칠기보다는 보다 날카로운 상한을 네이만-산더 평균에 대해 파워 평균으로 설정하며, $ N(a,b) $ 가 $ p_1 $-번째 및 $ 4/3 $-번째 파워 평균 사이에 엄격히 놓여져 있음을 증명한다. 여기서 $ p_1 = \frac{\ln 2}{\ln \ln (3 + 2\sqrt{2})} \approx 1.2228 $ 이고 $ 4/3 $ 는 최적의 상수이다. 이 상한은 동차 이변량 평균에 적용된 로그 함수와 쌍곡선 함수의 점근적 분석 및 단조성 성질을 통해 유도된다.

ABSTRACT

For a,b>0 with a ot=b, let N(a,b) denote the Neuman-Sándor mean defined by N(a,b)=((a-b)/(2arcsinh((a-b)/(a+b)))) and A_{r}(a,b) denote the r-order power mean. We present the sharp power means bounds for the Neuman-Sándor mean: A_{p_1}(a,b)

연구 동기 및 목표

• 네이먼-산더 평균 $ N(a,b) $ 가 파워 평균 $ A_p(a,b) $ 로 둘러싸일 수 있도록 하는 최적의 상수 $ p_1 $ 과 $ p_2 $ 를 결정하는 것.
• 파워 평균에 대한 네이먼-산더 평균의 엄밀한 상한을 포함하여 기존의 이변량 평균 간 부등식 체계를 보완하는 것.
• 형태 $ \alpha A_p < N < \beta A_p $ 의 날카로운 곱셈 상한을 설정하고, 최적의 상수 $ \alpha $ 와 $ \beta $ 를 특정하는 것.

제안 방법

• 구간 $ x \in (0,1) $ 에서 함수 $ F_p(x) = \ln \frac{N(1,x)}{A_p(1,x)} $ 를 정의함으로써, 부등식 비교 문제를 $ F_p(x) $ 의 부호와 단조성 분석으로 환원한다.
• $ x \to 1^- $ 과 $ x \to 0^+ $ 에서의 점근 전개를 사용하여 $ N(a,b) < A_p(a,b) $ 또는 $ N(a,b) > A_p(a,b) $ 를 만족시키기 위한 $ p $ 의 필요 조건을 도출한다.
• 레마 2 를 적용하여, $ F_p(x) < 0 $ 가 모든 $ x \in (0,1) $ 에 대해 성립함과 동시에 $ p \geq 4/3 $ 이어야 함을 보여, 상한을 증명한다.
• 레마 4 를 사용하여 $ p = p_1 $ 일 때 $ F_p(x) $ 가 최대값을 갖는 임계점 $ \tilde{x}_0 $ 를 분석함으로써 하한을 증명한다.
• 방정식 $ f_p(x) = 0 $ 의 수치적 해를 구하여 하한 부등식에 대한 최적의 상한 상수 $ \beta_2 \approx 1.0138 $ 를 추정한다.
• 반복적으로 $ r \mapsto A_r(a,b) $ 의 단조성과 $ p \mapsto F_p(x) $ 의 감소성에 기반하여 상한의 날카로움을 확립한다.

실험 결과

연구 질문

• RQ1 파워 평균 $ A_p(a,b) $ 로 표현할 때 네이먼-산더 평균 $ N(a,b) $ 의 최적의 하한은 무엇인가?
• RQ2 파워 평균 $ A_p(a,b) $ 로 표현할 때 네이먼-산더 평균 $ N(a,b) $ 의 최적의 상한은 무엇인가?
• RQ3 이중 부등식 $ A_{p_1}(a,b) < N(a,b) \leq A_{4/3}(a,b) $ 에서의 최적 상수들이 점근적 분석 및 단조성 분석을 통해 엄밀하게 증명될 수 있는가?
• RQ4 극한 $ p $ 에 대해 $ \alpha A_p < N < \beta A_p $ 가 성립하는 최적의 곱셈 상수 $ \alpha $ 와 $ \beta $ 는 무엇인가?

주요 결과

• 네이먼-산더 평균의 날카로운 하한은 $ A_{p_1}(a,b) $ 이며, 여기서 $ p_1 = \frac{\ln 2}{\ln \ln (3 + 2\sqrt{2})} \approx 1.2228 $ 이고, 이 상수는 최적이다.
• 날카로운 상한은 $ A_{4/3}(a,b) $ 이며, 모든 $ a,b > 0 $, $ a \neq b $ 에 대해 $ N(a,b) < A_{4/3}(a,b) $ 가 성립하며, 등호는 극한에서만 성립한다.
• 상한에 대한 최적의 곱셈 상수는 $ \alpha_1 = \frac{1}{\sqrt[4]{2} \ln(\sqrt{2} + 1)} \approx 0.95407 $ 이다. 따라서 $ \alpha_1 A_{4/3} < N < A_{4/3} $ 가 성립한다.
• 하한에 대해 최적의 곱셈 상수는 $ \beta_2 \approx 1.0138 $ 이며, $ A_{p_1} < N < \beta_2 A_{p_1} $ 가 성립하며, $ \beta_2 $ 는 최적이다.
• 이변량 평균 간의 부등식 체계는 $ A_{p_1} < N < A_{4/3} $ 로 개선되었으며, 여기서 $ p_1 \approx 1.2228 $ 이므로 네이먼-산더 평균이 두 파워 평균 사이에 정확히 놓여 있음을 보여준다.
• 팬-키 형식의 부등식이 설정되었다: $ p \geq 4/3 $ 일 때 $ \frac{N(a_1,b_1)}{N(a_2,b_2)} < \frac{A_p(a_1,b_1)}{A_p(a_2,b_2)} $ 가 성립하며, $ p \leq 1 $ 일 때는 이 부등식이 반전된다.