[論文レビュー] "Non-strict" l'Hospital-Type Rules for Monotonicity: Intervals of Constancy

Iosif Pinelis|arXiv (Cornell University)|Nov 21, 2006

Mathematical Inequalities and Applications参考文献 30被引用数 17

ひとこと要約

本稿は、元の比 $ r = f/g $ が最大定数区間（m.i.c.）を高々一つしか持たないことを確立している。このような区間は、$ \rho = f'/g' $ の単調性行動から導かれる導関数比 $ \tilde{\rho} = \frac{f'}{g'} - \frac{f}{g} \cdot \frac{g'}{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. に対して、$ r = f/g $ がその区間を唯一の m.i.c. として持つような関数 $ f $ を構成すること。

提案手法

• $ \tilde{\rho} = \frac{f'}{g'} - \frac{f}{g} \cdot \frac{g'}{g} $ を定義し、$ r $ の変化率を捉える変換された導関数比とする。
• 区間 $ (a,b) $ で $ gg' \neq 0 $ である条件を用いて、$ g $ が厳密に単調かつ有界 Variation を持つことを保証し、リーマン＝スティルチェス積分を可能にする。
• 公式 $ f(x) = Kg(z) + \int_z^x \rho(u) \, dg(u) $ を用いて $ f $ を構成し、目的の区間で $ f'/g' = \rho $ かつ $ f/g = K $ となるように保証する。
• $ \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. が、$ f $ の明示的構成により、ある $ r = f/g $ の m.i.c. として実現可能であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 比 $ r = f/g $ が非退化区間で定数となる条件は何か？
• RQ2 導関数比 $ \rho = f'/g' $ の構造は、$ r $ の定数区間の可能性にどのように制限を加えるか？
• RQ3 $ r $ が複数の最大定数区間を持つことは可能か？もし不可能なら、その理由は何か？
• RQ4 $ \tilde{\rho} $ のゼロ集合と $ r $ の m.i.c. の正確な関係は何か？
• RQ5 任意の $ \rho $ の m.i.c. が与えられたとき、$ r = f/g $ がその区間を唯一の m.i.c. として持つような $ f $ を常に構成可能か？

主な発見

• 元の比 $ 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. でもある。
• 存在する限り、$ r $ の唯一の 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. を持つ場合、それらはすべて $ r $ の m.i.c. に一致する。
• 任意の与えられた $ \rho $ の m.i.c. $ I $ に対して、$ r = f/g $ が $ I $ を唯一の m.i.c. として持つような関数 $ f $ が存在する。
• このような $ f $ の構成はリーマン＝スティルチェス積分により行われる：$ f(x) = Kg(z) + \int_z^x \rho(u) \, dg(u) $ であり、これにより $ f'/g' = \rho $ かつ $ I $ 上で $ f/g = K $ が保証される。