[논문 리뷰] New sharp Jordan type inequalities and their applications

Zhen-Hang Yang|arXiv (Cornell University)|2012. 06. 24.

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

한 줄 요약

이 논문은 $ (0, \pi/2) $에서 $ \frac{\sin x}{x} $의 비율에 대해 새로운 날카로운 조르당 유형 부등식을 수립하며, 최적의 상수 $ p_0 \approx 0.3473 $을 사용해 $ \left(\cos p_0 x\right)^{1/p_0} < \frac{\sin x}{x} < \left(\cos \frac{x}{3}\right)^3 $를 증명한다. 또한 로그 도함수와 멱급수 분석을 통해 $ \left(\cos px\right)^{1/p} $를 포함하는 최적의 이중 부등식을 유도하며, 단조성과 날카로운 경계를 결정한다.

ABSTRACT

In this paper, we prove that for x\in(0,π/2) (cos p_0x)^{1/p_0}

연구 동기 및 목표

• 모든 $ x \in (0, \pi/2) $에 대해 $ \left(\cos p_0 x\right)^{1/p_0} < \frac{\sin x}{x} < \left(\cos \frac{x}{3}\right)^3 $이 성립하도록 하는 최적의 상수 $ p_0 $와 $ 1/3 $을 결정하는 것.
• $ p \in (0, 1/3] $에 대해 $ \beta_p \left(\cos px\right)^{1/p} < \frac{\sin x}{x} < \left(\cos px\right)^{1/p} $ 형태의 날카로운 이중 부등식을 수립하고, $ \beta_p = \frac{2}{\pi} \left(\cos \frac{p\pi}{2}\right)^{-1/p} $로 정의된 상수의 최적성을 증명하는 것.
• $ p \in [1/2, 1] $에 대해 이들 경계를 반대 방향 부등식으로 확장하고, 카탈란 상수 및 슈바브-보르하르트 평균과 같은 알려진 상수에의 응용을 도출하는 것.
• $ f_p(x) = \ln \frac{\sin x}{x} - \frac{1}{p} \ln \cos px $의 단조성 분석을 통해, $ p \in (0, 1/3] $에서는 감소하고 $ p \in [1/2, 1] $에서는 증가함을 증명하는 것.

제안 방법

• 논문은 $ \frac{\sin x}{x} $와 $ \cos px $의 로그 도함수를 사용하며, 단조성을 결정하기 위해 $ \cot x $와 $ \tan x $의 멱급수 전개를 분석하는 비율 $ \frac{f'(x)}{g'(x)} = \frac{p(\frac{1}{x} - \cot x)}{\tan px} $를 분석한다.
• 계수의 비율 $ \frac{a_n}{b_n} $가 엄격히 증가하거나 감소함을 보여주는 레마 2를 적용하여, $ f'/g' $의 단조성을 증명하고, 이로 인해 $ F_p(x) = \frac{\ln(\sin x / x)}{\ln \cos px} $의 단조성도 확보한다.
• 경계의 날카로움은 $ x \to 0^+ $ 및 $ x \to \pi/2^- $에서의 극한을 평가하고, 점근적 분석을 통해 상수 $ \beta_p $와 $ 1 $이 최적임을 보여줌으로써 증명된다.
• 논문은 $ \frac{\sin x}{x} $와 $ \frac{x}{\sin x} $의 적분 표현을 사용하며, 유도된 부등식과 결합하여 카탈란 상수 $ K $와 관련된 적분을 추정한다.
• 로그 평균에 대한 린의 부등식과 삼각함수 항등식을 적용하여, 슈바브-보르하르트 평균과 세이퍼트 평균에 대한 경계를 도출한다.
• $ F_p(x) $의 단조성 증명은 차이 $ \frac{b_{n+1}}{a_{n+1}} - \frac{b_n}{a_n} $의 부호를 분석함으로써 이루어지며, 이는 $ p $의 함수로 간소화되며, 양수 또는 음수일 경우를 결정한다.

실험 결과

연구 질문

• RQ1 $ x \in (0, \pi/2) $에 대해 모든 $ x $에 대해 $ \left(\cos p_0 x\right)^{1/p_0} < \frac{\sin x}{x} $를 만족하는 최적의 상수 $ p_0 \in (0,1] $는 무엇인가요?
• RQ2 $ p \in (0,1] $에서 $ \beta_p \left(\cos px\right)^{1/p} < \frac{\sin x}{x} < \left(\cos px\right)^{1/p} $가 최적의 상수로 성립하는 값은 무엇인가요?
• RQ3 $ f_p(x) = \ln \frac{\sin x}{x} - \frac{1}{p} \ln \cos px $의 단조성은 $ p $에 따라 어떻게 달라지며, 이는 $ \frac{\sin x}{x} $의 경계에 어떤 영향을 미치나요?
• RQ4 유도된 부등식을 사용하여 카탈란 상수 $ K $와 같은 알려진 수학 상수를 향상된 경계로 추정할 수 있나요?
• RQ5 이러한 부등식은 슈바브-보르하르트 평균 및 세이퍼트 평균과 같은 고전적 평균에 대해 어떤 함의를 갖나요?

주요 결과

• 모든 $ x \in (0, \pi/2) $에 대해 $ \left(\cos p_0 x\right)^{1/p_0} < \frac{\sin x}{x} < \left(\cos \frac{x}{3}\right)^3 $를 만족하는 최적의 상수 $ p_0 \approx 0.347307245464 $가 도출되었으며, 등호는 $ x \to 0^+ $의 극한에서만 성립한다.
• $ p \in (0, 1/3] $에 대해 $ \beta_p \left(\cos px\right)^{1/p} < \frac{\sin x}{x} < \left(\cos px\right)^{1/p} $가 성립하며, $ \beta_p = \frac{2}{\pi} \left( \cos \frac{p\pi}{2} \right)^{-1/p} $로 정의되며, 두 상수 모두 최적임이 입증된다.
• $ f_p(x) = \ln \frac{\sin x}{x} - \frac{1}{p} \ln \cos px $는 $ p \in (0, 1/3] $에 대해 $ (0, \pi/2) $에서 엄격히 감소하고, $ p \in [1/2, 1] $에 대해 엄격히 증가하므로, 이는 경계의 날카로움을 확인한다.
• 논문은 카탈란 상수 $ K $에 대한 두 가지 새로운 경계를 도출한다: $ \frac{1}{8}(4 + 3\ln 3) < K < \frac{3\sqrt{3}\pi}{128}(4 + 3\ln 3) $이며, 더 날카로운 경계는 로그 및 삼각함수 적분을 포함한다.
• $ t > 0 $에 대해 $ (4t^2 - 1) SB(t,1) \leq 3t^3 $이 성립함을 증명하였으며, 여기서 $ SB $는 슈바브-보르하르트 평균을 나타낸다. 이는 주요 결과를 특수 평균에까지 확장한다.
• 모든 $ a,b > 0 $, $ a \neq b $에 대해 세이퍼트 평균 $ P(a,b) $는 $ P < \frac{3}{4} \frac{(A+G)^2}{2G + A} $를 만족하며, 여기서 $ A $와 $ G $는 각각 산술 평균과 기하 평균이다.