1 区分多項式の基本概念
1.1 定義と記法（用語H）
区分多項式（用語H）は、定義域を複数の区間に分け、その各区間上で別々の多項式によって値を与える関数の表現である。区間をまたがない範囲では多項式としてふるまうため、解析・計算の枠組みを組み立てやすい。区分の切替え点においては、値の整合性や滑らかさの性質が問題になり、ここでの条件が表現の妥当性を左右する。
区分多項式は通常、実数直線上の関数として論じられることが多いが、一般の一次元区間や有限個の離散的な切替点を持つ定義域でも同様の考え方が適用できる。表記としては、境界点の集合と、各区間に対応する多項式の組を用いて定めるのが標準的である。
1.2 定義域の区間分割
定義域の区間分割とは、切替点を列挙して定義域を有限個（または必要に応じて可算個）の区間に割り当てる操作である。典型的には、実数の区間 \([a,b]\) を境界点 \(c_1,c_2,\dots,c_{n-1}\) によって \([a,c_1],[c_1,c_2],\dots,[c_{n-1},b]\) のように分ける。
区分分けの細かさは自由度を含む。粗い分割でも表現可能な場合がある一方、連続性や微分可能性といった要件を満たすには適切な切替点の選び方が必要になる。切替点の数が増えるほど、満たし得る性質の組合せは増えるが、記述と計算は複雑になる。
1.3 区間ごとの多項式の割当て
区間ごとの多項式の割当てでは、各区間に対し一つの多項式を指定し、その区間上ではその多項式の値として関数を定義する。区間 \(I_k\) 上での多項式を \(P_k(x)\) とすると、関数 \(f(x)\) は
- \(x\in I_k\) のとき \(f(x)=P_k(x)\)
として与えられる。
この定義により、区間内部では多項式としての性質が自動的に成立する。例えば、各区間内の局所的な解析、テイラー展開、積分の実行などは通常の多項式と同様の手順で扱える。ただし、区間境界に近づく振る舞いは、隣接する多項式の係数の整合性に依存する。
1.3.1 境界点の取り扱い（閉区間・開区間）
区間の端点をどちら側の区分に含めるかは、定義が一意に定まるために重要である。閉区間として両端を含めると、境界点が複数の区分に同時に含まれる可能性が生じるため、重なりを避ける方法として開区間・半開区間の割当てが用いられる。
一般に、切替点 \(c\) を含める区分を明示することで、関数値の定義を競合なく確定できる。連続性条件を議論する場合も、まずは「境界点の値がどの多項式で与えられているか」を固定し、その上で左右極限の一致や微分の整合性を判定するのが筋道である。
1.3.2 同一区間内での係数表現
同一区間内の係数表現は、指定された多項式を係数の列として書くことに相当する。次数が異なる多項式を隣接区間で使うことも可能であり、表現上は係数の自由度が区間ごとに独立に与えられる。
実務上は、ある区間での多項式を標準形 \(P_k(x)=\sum_{j=0}^{m_k} a_{k,j}x^j\) のように係数で管理することが多い。このとき、区間境界での連続性や微分条件は、係数に対する連立方程式として現れる。したがって「同一区間では多項式の係数が固定である」という事実は、滑らかさ条件を解くための土台になる。
2 連続性・微分可能性
2.1 連続性の条件
区分多項式がある境界点 \(c\) で連続であるための条件は、境界点での左右の極限が一致し、さらに関数値がその共通値に一致することである。区間の切替によって定まる左側の多項式 \(P_{\text{left}}\) と右側の多項式 \(P_{\text{right}}\) を用いれば、通常は
- \(\lim_{x\to c^-} P_{\text{left}}(x)=\lim_{x\to c^+} P_{\text{right}}(x)\)
が必要になる。
さらに、境界点をどの区分に含めるかで関数値の出どころが変わり得るため、「その区分で定義された値」が極限と一致しているかを確認する必要がある。閉区間・開区間の指定を曖昧にすると、連続性の判定がぶれるため、定義段階で端点の帰属を明確にすることが前提になる。
2.2 微分可能性の条件
微分可能性は連続性より強い条件であり、境界点 \(c\) の両側で導関数の左右極限が一致し、なおかつ関数がその点で定義されている必要がある。区分内部では多項式なので微分可能であるが、区切り点で導関数が飛ぶと微分可能にならない。
したがって、境界点での条件は多項式の一階導関数に対する一致条件として書ける。具体的には
- \(\lim_{x\to c^-} P_{\text{left}}'(x)=\lim_{x\to c^+} P_{\text{right}}'(x)\)
に加え、連続性条件も満たしていることが求められる。多項式の微分は容易であるため、結局は係数の整合性問題に帰着する。
2.2.1 角点（導関数の不連続）の扱い
境界点において導関数が一致しない場合、その点は角点として現れる。角点では関数は連続でもよいが、傾き（一次の変化率）が左右で異なるため、曲線の見た目が「折れ」る。区分多項式はこの種の挙動を自然に表せるため、現象のモデル化に役立つことがある。
角点を許容するか否かは応用目的によって決まる。例えば、力学系の外力切替などでは折れが物理的に意味を持つ場合がある。一方、滑らかな曲線が必要な設計では角点の排除が要件になり、より強い条件（少なくとも導関数の一致）を課すことになる。
2.3 境界点での接続（スプライクとの関連）
区分多項式の境界接続は、スプラインとの関係でも重要になる。スプラインは一般に、複数区間にわたる多項式を用いる点で区分多項式と近いが、境界接続に関する滑らかさ条件を体系的に課す点で区別されることが多い。
連続性や導関数の一致条件を境界点ごとに設定することで、区間同士が不自然に断絶せず、結果としてより滑らかな曲線になる。区分多項式の表現はこの設計の出発点になり、接続条件の入れ方が「どの程度の滑らかさまでを保証するか」という性質を決める。
3 計算手順と性質
3.1 積分
区分多項式の積分は区間ごとに実行してから合算するのが基本手順である。境界点の集合は有限個であり、積分では点の値そのものが寄与しないため、通常は分割の区間内部での通常積分を扱えば十分になる。
もし定義域が \([a,b]\) で、境界点が \(c_1,\dots,c_{n-1}\) とすると、定積分は \[ \int_a^b f(x)\,dx=\sum_{k=1}^{n}\int_{c_{k-1}}^{c_k} P_k(x)\,dx \] の形に整理される。ここで区間の端点がどちらに含まれるかは、積分値に影響しない（単点の寄与がゼロ）ため、連続性評価とは別の観点で扱える。
3.1.1 区分ごとの定積分の合算
区分ごとの定積分の合算では、各区間に対応する多項式の原始関数を用い、端点の値を代入して差を取る。多項式の積分は係数計算だけで進むため、数値計算にも適している。
計算上の注意として、境界点の値を用いるときに「その点での関数値」ではなく「区間の切替によって決まる多項式」を選ぶ必要がある。合算後の全体値は区間の帰属指定に依存しないことが多いが、途中計算での取り違えは誤差の原因になり得る。
3.2 微分（区分ごとの扱い）
微分は区分内部では通常の多項式微分として行える。すなわち、各区間内で \(P_k(x)\) を微分して得られる \(P_k'(x)\) を、同じ区間割り当てでまとめれば導関数として表現できる。
ただし境界点では、導関数が一般の関数として定義できるか（またはどの値に割り当てるか）が問題になる。連続性がない場合は、導関数としては左右で異なる値が現れ、単一の実数値に落ちないことがある。実務では「どの領域でどの定義を使うか」を明確にして扱う。
3.3 代数演算（和・積・商の考え方）
区分多項式の和や積は、基本的に区分ごとの多項式演算を行い、区間分割を整合させることで定義できる。例えば、互いに異なる境界点を持つ二つの区分多項式を足すときは、双方の切替点を合わせた共通分割に直す。その上で各区間で対応する多項式同士を演算する。
積についても同様で、区間内部では多項式の積として扱える。商は特に注意が必要で、割る側の多項式がある区間でゼロになると分母が消えるため、その区間で商が定義できない。
3.3.1 ゼロ割・定義域制限の注意点
商を作る際は、分母が 0 となる点や区間を避ける必要がある。区分多項式の場合、分母多項式が区間の内部でゼロを取ると、そこで商は不定になる。よって、ゼロになる点を追加の境界点として分割に取り込む、あるいはその点を除外して定義域を制限する、といった方針が必要になる。
また、境界点での扱いも重要である。点で分母がゼロでも、その点を除外する定義を採るなら問題を回避できることがあるが、連続性や微分可能性を議論する場合には不連続の発生位置が変わる可能性がある。計算の段階と理論的性質の段階で要件を区別して扱うことが望ましい。
4 応用と関連分野
4.1 関数近似とモデル化
区分多項式は、観測データや経験則が「領域によって異なる振る舞い」を持つ場合に適している。たとえば、ある範囲では緩やかに変化し、別の範囲では急に勾配が変わるなど、全域で同じ滑らかな形を仮定しにくい状況で有効になる。
モデル化では、各区間の多項式次数や境界条件（連続性を課すか、導関数まで一致させるか）が設計パラメータとなる。過剰な自由度は過学習や不安定化を招く場合があるため、区分数や次数の選択はバランスが必要である。
4.2 数値解析での利用（分割の利点）
数値解析では、区分化によって計算の安定性や効率が高まることがある。区間内で多項式として表されれば、積分や近似誤差の見積り、微分の離散化などが扱いやすくなるためである。
また、関数が滑らかでない点（急変や不連続に近い挙動）が存在する場合、全域の一つの近似に頼るより、境界点を含むように分割して局所的な近似を行う方が誤差を抑えやすい。分割そのものが「誤差の管理単位」として機能する点が利点である。
4.3 スプライン・多項式補間との比較
区分多項式とスプライン、多項式補間はともに「多項式を使う」という共通点を持つが、性格が異なる。単一の高次多項式補間は全域で1本の曲線として表すため、データ点が増えると振る舞いが不安定になりやすいことがある。一方、区分多項式やスプラインは区間ごとの局所表現によってその問題を緩和しやすい。
スプラインは一般に、区分多項式の枠組みに滑らかさ条件を組み込み、境界接続を制御する。したがって、与えたい連続性の度合い（値のみ、一階まで、より高階まで）に応じて、区分多項式の切替条件をどこまで課すかが選択のポイントになる。