単調性を用いた評価

1 単調性を用いた評価の基礎

1.1 単調性の定義と種類

1.1.1 増加・減少の定義

実数値関数 \(f\)（あるいは順序集合上の写像）について、入力が大きくなる方向に出力が増え続ける性質、または逆向きに減り続ける性質を単調性という。連続・微分の有無に依存せず、順序関係だけで記述できるのが特徴である。

増加（非減少）とは、定義域の任意の \(x\le y\) に対して \(f(x)\le f(y)\) が成り立つことを指す。減少（非増加）は逆に、同様の条件で \(f(x)\ge f(y)\) が成り立つ場合である。区間や格子など、定義域の取り方によって判定対象が変わる点も重要である。

1.1.2 厳密単調性と非厳密単調性

単調性には「厳密」か「非厳密」かの区別がある。非厳密単調性では等号が許され、増加なら \(x<y\) であっても \(f(x)=f(y)\) が起こり得る。厳密単調性では、増加（あるいは減少）の方向に進むたびに出力も必ず変化することを要求し、増加なら \(x<y\Rightarrow f(x)<f(y)\)、減少なら \(x<y\Rightarrow f(x)>f(y)\) とする。

この差は評価の精度や情報量に影響する。厳密単調性があると、極値や解の位置が一意的に絞られることが多い。非厳密の場合は区間状に同値が並ぶ可能性があり、探索・誤差見積りでは追加条件が必要になる場合がある。

1.2 単調性の評価に使う道具

1.2.1 順序による比較（大小関係の維持）

単調性の確認では、まず対象の順序が自然に定義されているかを確認する。例えば実数上の関数なら通常の大小関係が用いられるが、確率では確率変数の大小ではなく分布関数の順序や集合包含による順序を用いることがある。順序集合に対して、写像が順序を保つ（ある \(x\le y\) に対して \(f(x)\le f(y)\) を保証する）なら単調性が得られる。

この道具の強みは、微分や連続性を仮定せずに済む場合があること、また不等式を直接構成しやすい点にある。反面、順序の選び方を誤ると結論が無意味になり得るため、対象の「比較可能性」を慎重に定める必要がある。

1.2.2 差分による確認（離散系）

定義域が整数や格子のように離散である場合、導関数の代わりに差分を用いて単調性を判定する。一次差分 \(\Delta f(n)=f(n+1)-f(n)\) の符号が一定なら、非減少（\(\Delta f(n)\ge 0\)）や非増加（\(\Delta f(n)\le 0\)）が成立する。

差分の符号は、漸化式や再帰的定義と相性が良い。特に反復的に値を更新する数理モデルや動的計画法の解析では、更新規則の差分を追跡することで増減の方向が保証されることがある。厳密単調性を欲する場合は、差分が常に正（負）であることまで確認する。

1.2.3 導関数による確認（連続系）

連続な実数関数に対して、導関数の符号から単調性が得られる。通常の定理として、導関数が非負なら関数は非減少、導関数が非正なら非増加となる（必要な条件は関数の微分可能性や区間の構造に依存する）。導関数が正である区間では厳密な増加が成立し、負の区間では厳密な減少が得られる。

ただし、導関数が存在しない点や、符号が変わる点があると単純な評価が崩れる。そこで単調性評価では、導関数の符号分布（どこで正、どこで負、どこで零が持続するか）を丁寧に調べ、必要なら区間分割して判定する手順が一般的である。

1.3 評価の基本パターン

1.3.1 上界評価への変換

単調性から上界を作る典型手順として、「増加関数であるなら大きい入力で最大になり、値の上限が端点で与えられる」という発想を用いる。例えば非減少な \(f\) に対して区間 \([a,b]\) を考えると、任意の \(x\in[a,b]\) で \(f(x)\le f(b)\) が成り立つため、\(f(b)\) が上界になる。

逆に、対象が非増加なら左端の値が上界となる。より精密には、解が単調領域の内部に一意に存在するなどの情報を組み合わせることで、単純な端点評価よりも鋭い見積りが可能になる。

1.3.2 下界評価への変換

下界も同様の論理で与えられる。非減少なら \(f(x)\ge f(a)\)、非増加なら \(f(x)\ge f(b)\) が成り立ち、区間端点の値が下限候補として働く。

下界評価は誤差評価の「片側」成分として利用されることが多い。上界と下界を別々に構成することで、全体誤差の幅（サンドイッチ幅）を作ることができるためである。

1.3.3 挟み込み（サンドイッチ）による絞り込み

上界と下界を同時に得られると、対象の値はある狭い範囲に閉じ込められる。単調性はこの構成に適しており、例えば増加関数に対しては「より大きい入力の値」が上界になり、「より小さい入力の値」が下界になるという対応関係が自然に作れる。

その結果として、極値や解の位置に対する区間推定、あるいは近似計算における誤差包絡が得られる。サンドイッチによる絞り込みは、反復法で特に有効で、次章以降の探索域の縮小や収束方向の判定へとつながる。

2 数学的評価への展開

2.1 比較原理・包含関係

2.1.1 写像の単調性

写像が単調であるという主張は、複数の対象を同時に比較可能にする枠組みを与える。例えば集合全体の間には包含関係が定義でき、写像 \(T\) が \(A\subseteq B\Rightarrow T(A)\subseteq T(B)\) を満たすなら \(T\) は順序保存的（単調）である。同様に、部分順序集合上の関数に対して \(x\preceq y\Rightarrow f(x)\preceq f(y)\) が成り立つとき、比較に基づく結論を引き出せる。

この発想は、複雑な対象を直接扱う代わりに、順序関係を通じて包含・不等式を伝播させる点で評価に直結する。特に反復写像や補助関数を導入する場面で有効である。

1.2.1 順序保存性と不等式の伝播

単調写像を介すると、不等式が体系的に伝播する。具体的には、ある \(x\le y\) が既知なら単調性により \(f(x)\le f(y)\) が自動的に得られる。評価ではこの性質を繰り返し適用し、複数の段階を経た不等式チェーンを組み立てる。

さらに、積分や期待値のような演算が「順序を保つ」形で絡むと、より広い設定で比較ができる。これにより、直接計算が難しい量に対しても、上限・下限の関係だけで結論を確保する道が開かれる。

2.2 極値探索と探索域の制限

2.2.1 単調領域における最適値の位置

極値探索の核心は、「最適化対象がどこで増減するか」を知ることにある。関数がある区間で単調であるなら、その区間内の極値は端点に現れる。したがって、単調領域を特定できれば探索は不要な部分を除去できる。

例えば一次元の最小化で、導関数がある点で符号反転し、それ以外では一定の符号を持つなら、極小は符号反転点付近に限定できる。単調性は「極値は存在するか」だけでなく「どこにあるか」にも踏み込む情報である。

2.2.2 二分探索・区間縮小の根拠

二分探索は、単調性と連続性（または適切な中間値の性質）を組み合わせて、解が存在する区間を半分ずつ絞る手法である。典型的には、方程式 \(g(x)=0\) を考え、\(g\) が単調で符号が異なる端点を見つけると、解はその区間内に一意に存在しやすい。

区間縮小が正当化される理由は、単調性が「符号の変化の順序」を保証し、次の区間が解を必ず含むことを不等式で示せるからである。これにより探索の効率が保証され、誤差の上界（区間幅から導く）も同時に管理できる。

2.3 導関数・勾配情報との接続

2.3.1 ヤコビアンや勾配による単調性判定

多変数では、単純な導関数の符号一発では判定できないことが多いが、勾配やヤコビアンは単調変化の方向を示す手がかりになる。例えば目的関数 \(f\) で \(\nabla f(x)\) が特定の方向成分で常に非負（あるいは非正）である場合、成分ごとの増減傾向が示唆される。

評価としては、単調性を「関数値の比較」へ落とし込むために、経路に沿った増分を積分表示で扱ったり、偏微分の符号から制約付きの単調性を作ったりする。ヤコビアンが符号パターンを持つ系では、写像の単調性（順序保存性）を導くこともある。

2.3.2 多変数における偏単調性

多変数関数で「ある変数を固定したときに残りに対して単調」といった性質を偏単調性という。例えば \(f(x,y)\) について、\(x\) を固定して \(y\) に関して非減少なら、\(y\) の増加が関数値の上昇を招くという評価が可能になる。

偏単調性は制約付き最適化や不確実性評価と相性がよい。変数間の相互作用が複雑でも、部分的には順序関係を利用できるため、探索域の削減や安全側の見積り（過小・過大の回避）に役立つ。最終的な結論は、どの変数に関して単調かを明確に定めた上で統合する必要がある。

3 応用分野別の利用

3.1 数値解析における評価

3.1.1 誤差上界の導出（単調収束）

反復法で近似値が単調に上から（あるいは下から）真値へ近づくとき、誤差上界は単調性と端点関係から組み立てられる。たとえば近似系列 \(x_k\) が非減少で、真値 \(x^\*\) が上方に位置するなら、誤差 \(	x^\*-x_k	\) は \(x^\*-x_k\) の片側評価から上界化できる。

単調収束の利点は、計算結果の「信頼できる方向」を保証できる点である。単調性がない場合、たとえ誤差が小さく見えても振動による偶然の一致の可能性が残るため、停止条件や信頼判定に差が生じる。

3.1.2 反復法の停止条件への反映

単調性を利用すると、反復の停止条件を安全に設定できる。代表的には、上界系列と下界系列をそれぞれ計算し、両者の差が十分小さくなった時点で終了する方法がある。差が誤差包絡に直接対応するため、評価の論理が明確になる。

さらに、単調性が示す増減方向を使って、残差の符号や更新幅の方向性をチェックし、無駄な反復を抑える設計も可能になる。停止条件は計算コストと精度要求のバランスを取るため、単調性がどこまで成り立つかを事前に把握することが重要である。

3.2 最適化での評価

3.2.1 目的関数の単調変化による探索改善

最適化では、探索点を更新するたびに目的関数の値が改善する（あるいは悪化しない）ように設計することが多い。目的関数が特定の更新ルールに対して単調に減少（最大化なら増加）するなら、探索の安定性や改善保証が得られる。

また、探索方向の選定にも単調性が効く。線探索では、方向に沿った1変数関数が単調性あるいは少なくとも準単調性を持つと、許容区間や候補点を絞り込んで探索を加速できる。単調性は局所的な改善だけでなく、段階ごとの評価点選びの根拠にもなる。

3.2.2 制約付き問題での有効範囲の特定

制約条件によって変数が取り得る領域は制限されるが、その領域上で目的関数の単調性が成立するなら、有効な探索領域はさらに絞れる。例えば制約によって変数の上下が決まり、その範囲内で単調に増減するなら、最適値は境界上または特定の面近傍に現れることがある。

これにより、制約緩和やスクリーニング（候補棄却）を理論的に支えられる。重要なのは「どの制約の下で」「どの領域に対して」単調性が保たれるかであり、判定範囲の取り違えは誤った最適化方向につながる。

3.3 確率・統計の文脈

3.3.1 分布関数・信頼区間の単調性

累積分布関数（分布関数）は確率の順序を反映して、一般に \(x\) の増加に対して非減少になる。これを利用すると、分位点計算や分布に基づく検定手順で、対象となる関数の単調性が自動的に保証される場合がある。

信頼区間でも、区間の端点を定義する方程式が単調性を持つと、数値的な分位点探索が安定する。例えば「ある水準での受入れ確率が閾値を上回る最小値」を求める場合、単調性により二分探索が適用でき、誤差管理が容易になる。

3.3.2 期待値やパーセント点の比較評価

確率変数どうしの比較では、単調性が「順序の保存」として現れる。たとえば結合された条件の下である関数 \(h\) が増加関数なら、確率変数の順序に応じて期待値の大小関係が導けることがある（前提として適切な整合性条件が必要になる）。

また、パーセント点（分位数）を比較する際にも、分布関数が単調なので、同じ確率水準に対応する点の比較が可能になる。これらは母集団パラメータの順位づけや、推定結果の比較における評価基盤となる。

3.4 関数方程式・解析の文脈

3.4.1 不動点の存在と単調反復

関数方程式 \(x=T(x)\) の不動点は、反復 \(x_{k+1}=T(x_k)\) によって近似できることがある。ここで単調反復が意味を持つのは、\(T\) が適切な順序で単調であり、初期値が不動点の上下に位置するように選べるときである。

単調性により、系列が上から下へあるいは下から上へと包絡を作りながら収束する状況が成立しやすい。結果として、不動点の存在だけでなく、真値の位置を挟み込む誤差評価も可能になる。

3.4.2 近似解の境界評価

近似解が得られた後の評価では、「どれだけずれているか」を境界から見積もる必要がある。単調性があると、残差から直接誤差へ飛躍しにくい場合でも、不等式を用いて許容範囲を伝播できる。

具体的には、方程式を満たす量に関して単調な補助関数を定義し、その符号や値が閾値を跨ぐ位置を区間探索で特定する。こうして得られる区間が、近似解の境界評価として機能する。

4 具体例・計算例の構成

4.1 単調性から得られる不等式の組み立て

4.1.1 基本例：一次不等式への落とし込み

単調性を評価に用いる際、目的は最終的に扱いやすい不等式へ変換することである。例えば \(f(x)\) が区間で非減少であれば、任意の \(x\) に対して \(f(x)\le f(b)\) のような端点不等式が得られる。そこからさらに、\(f(x)\) が一次式や既知の比較可能な量と結びつくなら、一次不等式として整理できる。

この落とし込みの利点は計算の見通しが良いことに加え、符号条件を追跡しやすく、誤差の方向（過大・過小）まで反映できる点にある。

4.1.2 曲線の上下評価（グラフ解析）

グラフ上での単調性は、上下包絡の構成と結びつく。関数がある区間で増加なら、グラフは左から右へ持ち上がるため、特定の点での値が区間内の全体を支配する形になりやすい。さらに、比較用の補助関数（単純な多項式や直線など）を用意し、差が単調になることを示せば、曲線の上下評価が得られる。

この手法は解析的な証明と数値的な計算の中間に位置し、図示や定性的理解を補助にしつつ、厳密な不等式へ落とし込む構成を作れる。

4.2 反復アルゴリズムの評価

4.2.1 単調性を満たす初期条件の選択

反復法で単調性を活かすには、初期点（あるいは下界・上界）を適切に選ぶ必要がある。典型的には、反復写像 \(T\) が単調で、初期値が不動点の片側にあると、系列がその側から単調に近づく。したがって、まず不動点の位置に関する粗い情報を用いて、初期点を上側・下側のいずれに置くかを決める。

初期条件の選択は実装上も重要で、間違った側から始めると系列が発散したり振動したりする可能性がある。評価フェーズとして、単調性が維持される領域まで含めて初期値を確定させるのが実務的である。

4.2.2 上下の近似系列による収束判定

上下系列（下界系列と上界系列）を同時に生成し、両者の差が許容精度以下になったら終了する方法は、単調性に最も自然に基づく。各ステップで上界は下がり続け、下界は上がり続けるという振る舞いを保証できるなら、誤差が指数的でなくても包絡幅が縮小していくため、停止判断が堅牢になる。

収束判定は単なる経験則ではなく、包絡の更新に使われる単調性の性質が保証として働く。これにより、数値結果の信頼性を「証明可能な範囲」で提示できる。

4.3 よくある落とし穴と対策

4.3.1 単調性を誤って仮定するケース

単調性の誤仮定は、評価の致命的な崩れにつながる。例えば導関数がある点で零になるだけで単調性が保たれるとは限らず、符号が変わる可能性、あるいは零が区間として続く可能性を見落とすと結論が誤る。離散系では差分が局所的に正に見えても、定義域全体で符号が一定である保証は別問題である。

対策として、単調性を主張したい領域を明確化し、必要なら区間分割して各部分で判定する。さらに、境界点での振る舞い（端点の扱い）も含めて条件を確認する。

4.3.2 範囲依存（どの区間で単調か）の注意点

単調性はしばしば「どの範囲で成立するか」に依存する。関数が全体で単調であるとは限らず、ある区間では増加、別の区間では減少という形が普通に起こる。評価や探索に使う場合、単調領域外で端点推定や二分探索を適用してしまうと、包絡の正当性が失われる。

したがって実務では、対象の定義域を分割して単調区間を特定し、評価・探索はその区間に限定する。探索アルゴリズムにおいても、更新点が単調領域から外れないことを確認する設計が望ましい。

4.3.3 連続性・微分可能性の必要条件の確認

連続性や微分可能性は、導関数による単調性判定や二分探索の理論的根拠に影響する。例えば導関数の符号から単調性を導く主張には、区間での微分可能性や、関数の挙動が一定の正則性を満たすことが関わる。また、方程式の解を挟み込む中間値的議論では、連続性が不可欠になる場合がある。

対策は二段階である。第一に、利用している定理が要求する仮定（連続性、微分可能性、順序構造など）を明示し、対象がそれを満たすかを確認する。第二に、満たさない場合は差分判定や、別の比較原理へ置き換えることで評価の正当性を保持する。