[논문 리뷰] A new way to prove L'Hospital Monotone Rules with applications

Zhen-Hang Yang|arXiv (Cornell University)|2014. 09. 23.

Mathematical Inequalities and Applications참고 문헌 34인용 수 25

한 줄 요약

이 논문은 L'Hospital의 단조성 규칙의 증명을 단순화하기 위해 새로운 보조 함수 $ H_{f,g} = (f'/g')g - f $ 를 도입한다. 이 방법은 더 직관적이고 간결한 접근을 제공하며, 삼각함수와 쌍곡함수에 대한 날카운 불등식을 유도할 수 있다. 특히, $ \theta_0(p_0)(\cos x)^{p_0} + 1 - \theta_0(p_0) < \left(\frac{\sin x}{x}\right)^{p_0} \leq \frac{1}{3}(\cos x)^{p_0} + \frac{2}{3} $ 형태의 불등식에서 최적의 상수를 제공한다. 여기서 $ \theta_0(p_0) \approx 0.33334 $ 이고 $ p_0 \approx 0.89788 $ 이다.

ABSTRACT

Let $-\infty \leq a<b></b>

연구 동기 및 목표

• 직접 도함수 계산의 복잡성으로 인해 기존에 복잡한 편이었던 L'Hospital의 단조성 규칙을 더 단순하고 직관적인 증명 기법으로 개발하는 것.
• 특히 도함수의 몫이 복잡해질 때 몫의 단조성을 확립하는 데 어려움이 있는 상황을 다루는 것.
• 유한한 끝점 외에도 무한 구간으로의 단조성 규칙의 적용을 확장하여, 함수가 무한대에서 0이 되는 경우도 포함하는 것.
• 새로운 증명 기법을 활용해 쌍곡함수와 삼각함수에 대한 날카운 불등식을 도출하는 것, 특히 $ \left(\frac{\sin x}{x}\right)^p $ 와 $ \cos^p x $ 를 포함한 경우.
• 이러한 불등식에서 최적의 상수를 결정하여 기존 문헌의 결과를 향상시키는 것.

제안 방법

• 함수 $ f/g $ 의 단조성을 분석하기 위해 보조 함수 $ H_{f,g} = \left(f' / g'\right)g - f $ 를 도입하여 도함수 분석을 단순화한다.
• $ H_{f,g} $ 를 사용해 $ f/g $ 의 단조성과 $ f'/g' $ 의 행동, 특히 $ f'/g' $ 가 증가하거나 감소할 때의 관계를 설정한다.
• 보조 함수에서 유도된 조각별 단조성 규칙인 정리 9(LPMR)을 적용하여 $ f/g $ 가 증가하거나 감소하는 구간을 결정한다.
• $ (f'/g')' $ 의 부호와 $ H_{f,g} $ 의 행동을 분석함으로써 $ f/g $ 가 $ (0, x_0) $ 에서 증가하고 $ (x_0, \pi/2) $ 에서 감소함을 입증한다.
• $ \lim_{x \to 0^+} f(x)/g(x) = 1/3 $ 과 $ \lim_{x \to \pi/2^-} f(x)/g(x) = 1 - (2/\pi)^p $ 를 이용해 $ f/g $ 를 유계화함으로써 날카운 불등식을 도출한다.
• 비판적 방정식 $ (3.18) $ 을 수치적으로 해결하여 $ f/g $ 가 최댓값을 갖는 유일한 점인 $ x_0 $ 를 특정함으로써 최적의 상수 추정을 가능하게 한다.

실험 결과

연구 질문

• RQ1 직접 도함수 계산의 복잡성을 피하면서도, L'Hospital의 단조성 규칙을 더 단순하고 직관적인 방법으로 증명할 수 있는가?
• RQ2 만약 $ f'/g' $ 가 전체 구간에서 단조적이지 않지만 조각별로 단조적일 경우, $ f/g $ 의 단조성을 어떻게 결정할 수 있는가?
• RQ3 다음 불등식을 만족하는 최적의 상수 $ \theta_0(p) $ 와 $ \theta_1(p) $ 는 무엇인가? $ \theta_1(p) \leq \frac{(\sin x / x)^p - 1}{(\cos x)^p - 1} \leq \theta_0(p) $, $ x \in (0, \pi/2) $.
• RQ4 어느 $ p $ 값에서 하한 $ \theta_1(p) $ 가 $ 1/3 $ 이 되며, 이에 대응하는 최적 상수 $ \theta_0(p_0) $ 는 무엇인가?
• RQ5 보조 함수 $ H_{f,g} $ 는 어떻게 사용되어 $ f/g $ 가 $ (0, \pi/2) $ 에서 유일한 최댓값을 갖는다는 것을 증명할 수 있으며, 이를 통해 날카운 전역적 경계를 확보할 수 있는가?

주요 결과

• 보조 함수 $ H_{f,g} = (f'/g')g - f $ 는 L'Hospital의 단조성 규칙을 증명하는 데 자연스럽고 간결한 방법을 제공하며, 기존 표준 방법을 단순화한다.
• $ f/g = \left(\frac{\sin x}{x}\right)^p - 1 \big/ \left(\cos x\right)^p - 1 $ 는 $ (0, x_0) $ 에서 증가하고 $ (x_0, \pi/2) $ 에서 감소하며, 여기서 $ x_0 \approx 3.658 \times 10^{-7} $ 이다. 이는 유일한 최댓값이 있음을 나타낸다.
• 불등식 $ \frac{\left(\frac{\sin x}{x}\right)^p - 1}{\left(\cos x\right)^p - 1} \leq \theta_0(p) $ 에서 최적의 상수 $ \theta_0(p) $ 는 $ x_0 $ 에서 도달하며, $ p_0 \approx 0.89788 $ 일 때 $ \theta_0(p_0) \approx 0.33334 $ 이다.
• 만약 $ p = p_0 = \frac{\ln 3 - \ln 2}{\ln \pi - \ln 2} \approx 0.89788 $ 이면 하한 $ \theta_1(p) $ 는 $ 1/3 $ 이 되며, 이에 따라 날카운 불등식 $ \theta_0(p_0)(\cos x)^{p_0} + 1 - \theta_0(p_0) < \left(\frac{\sin x}{x}\right)^{p_0} \leq \frac{1}{3}(\cos x)^{p_0} + \frac{2}{3} $ 이 성립한다.
• 증명은 $ H_{f,g}(0^+) = 0 $ 과 $ H_{f,g}(\pi/2^-) = 1 - (2/\pi)^p > 0 $ 를 확인함으로써, $ f/g $ 가 최댓값을 갖는 유일한 점 $ x_0 $ 가 존재함을 지지하며, 이는 경계의 타당성을 검증한다.