[논문 리뷰] "Non-strict" l'Hospital-Type Rules for Monotonicity: Intervals of Constancy

Iosif Pinelis|arXiv (Cornell University)|2006. 11. 21.

Mathematical Inequalities and Applications참고 문헌 30인용 수 17

한 줄 요약

이 논문은 원래 비율 $ r = f/g $가 최대 하나의 일정성 최대 간격(m.i.c.)을 가질 수 있음을 입증하며, 이러한 간격은 도함수 비율 $ \tilde{\rho} = \frac{f'}{g'} - \frac{f}{g} \cdot \frac{g'}{g} $의 수준 집합과 정확히 일치해야 한다. 이 $ \tilde{\rho} $는 $ \rho = f'/g' $의 단조성 행동에서 유도된다. 주요 기여는 $ r $가 일정한 동안의 간격을 완전히 특성화한 것으로, $ r $의 일정성 간격은 $ \tilde{\rho} $의 영점 집합에 의해 유일하게 결정되며, $ r $는 여러 개의 분리된 m.i.c.를 가질 수 없다는 것을 보여준다.

ABSTRACT

Assuming that a "derivative" ratio rho:=f'/g' of the ratio r:=f/g of differentiable functions f and g is strictly monotonic (that is, rho is increasing or decreasing), it was shown in previous papers that then r can switch at most once, from decrease to increase or vice versa. In the present paper, it is shown that, if rho is non-strictly monotonic (that is, non-increasing or non-decreasing), then r can have at most one maximal interval of constancy (m.i.c.); on the other hand, any one m.i.c. of a given derivative ratio rho is the m.i.c. of an appropriately constructed original ratio r.

연구 동기 및 목표

• 비율 $ r = f/g $의 최대 일정성 간격(m.i.c.)의 구조를 도함수 비율 $ \rho = f'/g' $의 관점에서 특성화하는 것.
• 비율 $ r $가 비퇴화된 간격에서 일정해질 수 있는 조건을 규명하고, 이러한 일정성이 $ \tilde{\rho} = \rho - r \cdot \frac{g'}{g} $의 단조성과 영점 집합과 어떻게 관련되어 있는지 밝히는 것.
• 비율 $ r $가 최대 하나의 m.i.c.만 가질 수 있음을 보이고, 이러한 간격이 $ \rho $와 $ \tilde{\rho} $의 둘 다의 m.i.c.여야 한다는 것을 보여주는 것.
• 주어진 $ \rho $의 m.i.c.에 대해, 해당 간격이 유일한 m.i.c.가 되는 $ f $를 구성하는 것.

제안 방법

• 도함수 비율의 변형된 형태인 $ \tilde{\rho} = \frac{f'}{g'} - \frac{f}{g} \cdot \frac{g'}{g} $를 정의하여, $ r $의 변화율을 캡처하는 데 사용한다.
• 구간 $ (a,b) $에서 $ gg' \neq 0 $라는 조건을 사용하여 $ g $가 엄격히 단조적이며 유계된 변동성을 가지게 하여, Riemann-Stieltjes 적분이 가능하도록 보장한다.
• 공식 $ f(x) = Kg(z) + \int_z^x \rho(u) \, dg(u) $를 통해 $ f $를 구성함으로써, $ f'/g' = \rho $ 및 $ f/g = K $가 원하는 간격에서 성립하도록 보장한다.
• $ \tilde{\rho} $의 수준 집합 $ \ell_0(\tilde{\rho}) = \{ u \in (a,b) : \tilde{\rho}(u) = 0 \} $를 분석하여, 이것이 $ r $의 m.i.c.와 일치함을 보인다.
• $ \tilde{\rho} $의 연속성과 단조성을 활용하여, 그 영점 집합이 닫힌 간격임을 증명하고, 이 간격이 $ r $의 유일한 m.i.c.가 됨을 보여준다.
• $ \rho $의 m.i.c.가 항상 어떤 $ r = f/g $의 m.i.c.로 실현될 수 있음을 보이고, $ f $의 명시적 구성 방법을 통해 이를 증명한다.

실험 결과

연구 질문

• RQ1 비율 $ r = f/g $가 비퇴화된 간격에서 일정해질 수 있는 조건은 무엇인가?
• RQ2 도함수 비율 $ \rho = f'/g' $의 구조는 $ r $의 일정성 간격에 어떤 제약을 가하는가?
• RQ3 $ r $가 하나 이상의 최대 일정성 간격을 가질 수 있는가? 만약 그렇지 않다면 그 이유는 무엇인가?
• RQ4 $ \tilde{\rho} $의 영점 집합과 $ r $의 m.i.c. 사이의 정확한 관계는 무엇인가?
• RQ5 주어진 $ \rho $의 m.i.c.에 대해 항상 $ f $를 구성하여 $ r = f/g $가 그 간격을 유일한 m.i.c.로 가지게 할 수 있는가?

주요 결과

• 원래 비율 $ r = f/g $는 최대 하나의 최대 일정성 간격(m.i.c.)만 가질 수 있다.
• 모든 $ r $의 m.i.c.는 도함수 비율 $ \rho = f'/g' $의 m.i.c.이자, 유도된 함수 $ \tilde{\rho} = \rho - r \cdot \frac{g'}{g} $의 m.i.c.여야 한다.
• 유일한 m.i.c.가 존재할 경우, 그 간격은 정확히 수준-0 집합 $ \ell_0(\tilde{\rho}) = \{ x \in (a,b) : \tilde{\rho}(x) = 0 \} $와 일치한다.
• $ \tilde{\rho} $의 모든 m.i.c. 집합은 $ \rho $의 것과 동일하며, 존재할 경우 둘 다 $ r $의 m.i.c.와 일치한다.
• 주어진 $ \rho $의 m.i.c. $ I $에 대해, $ r = f/g $가 $ I $를 유일한 m.i.c.로 가지는 함수 $ f $가 항상 존재한다.
• 이러한 $ f $의 구성은 Riemann-Stieltjes 적분을 통해 이루어지며, 공식 $ f(x) = Kg(z) + \int_z^x \rho(u) \, dg(u) $를 통해 $ f'/g' = \rho $ 및 $ f/g = K $가 $ I $ 위에서 성립하도록 보장된다.