1 線形化の基礎
線形化は、非線形な対象を基準点の近くで直線的な形に置き換える考え方である。元の構造を完全に保存するものではないが、局所的な振る舞いを簡潔に把握しやすくするため、解析や計算の初期段階でよく用いられる。
1.1 線形化の定義
線形化とは、関数や方程式、動力学系などを、ある点の近傍で一次の項だけを残して扱う操作を指す。ここで得られる近似は、元の対象の傾向を小さな変動に対して表すものであり、厳密解そのものではない。
1.2 一次近似との関係
線形化は一次近似とほぼ同義で用いられる。高次の項を無視し、最初の変化率だけを抽出することで、複雑な関係を簡明な式へと写し取る。これにより、非線形な問題でも、局所的には線形理論の道具が使えるようになる。
1.3 接線と局所的近似
グラフ上では、線形化は接線に相当する考え方として理解できる。ある点での接線は、その近傍の曲線を最も単純な形で近似する直線であり、傾きと基準値によって局所的な変化を表す。
1.3.1 テイラー展開による導出
十分に滑らかな関数では、テイラー展開を用いて線形化を導ける。展開式の定数項と一次項を取り出し、それ以降の高次項を省けば、線形近似が得られる。これは微分係数が局所的な変化率を与えることに基づく。
1.3.2 微小変化の扱い
線形化では、入力や状態の微小な変化を独立に追跡し、差分を比例関係として表す。十分小さい範囲では、この方法により応答の方向や大きさを簡潔に見積もれる。ただし、変化量が大きくなると近似の信頼性は下がる。
1.4 線形化が成り立つ条件
線形化が有効であるためには、対象が少なくとも基準点の近傍で微分可能であることが望ましい。また、局所的に高次の曲がりが急激でないほど、近似の精度は高くなる。反対に、尖点や不連続がある場合は、線形近似が成立しにくい。
2 数学的な表現
線形化は、関数の種類や変数の数に応じて異なる形で表される。スカラー値の関数では接線の式として、ベクトル値の関数では行列や微分作用素を通じて表現される。
2.1 スカラー関数の線形化
スカラー関数の線形化は、出力が1つである場合の基本的な形である。単一変数でも多変数でも、基準点まわりの増分に対する一次の応答を記述する。
2.1.1 一変数関数の線形化
一変数関数 f(x) を点 a の近くで線形化すると、f(a) と f'(a) を用いた式になる。すなわち、x が a に少しだけ近いとき、f(x) は f(a) に傾き f'(a) を掛けた増分を足した形で近似される。
2.1.2 多変数関数の線形化
多変数関数では、各変数の微小変化が出力に与える寄与を合計して表す。基準点での偏微分を並べることで、局所的な変化の向きと強さを記述できる。これにより、複数の入力が絡む場合でも一次近似が可能になる。
2.2 ベクトル値関数の線形化
ベクトル値関数では、各成分の変化をまとめて扱う必要がある。そのため、線形化は行列による写像として表されることが多い。入力の微小変動が、出力の各成分へどのように伝わるかを整理できる。
2.2.1 ヤコビ行列
ヤコビ行列は、多変数ベクトル関数の各偏微分を並べた行列である。線形化においては、これが局所的な変換則を与える。座標の微小変化を入力すると、出力の一次的な変化が行列積として表現される。
2.2.2 フレシェ微分
フレシェ微分は、関数空間や抽象的な位相線形空間での線形化を記述する概念である。ある点での変化を、線形作用素によって近似できるとき、その作用素が微分に相当する。有限次元の偏微分を一般化した枠組みといえる。
2.3 方程式系の線形化
方程式系では、未知数や状態変数の周りで式全体を一次化する。これにより、もとの非線形な連立問題が、解きやすい線形系として近似される。
2.3.1 非線形代数方程式の近似
非線形代数方程式は、解の近くで一次の項だけを残して線形系に変換できる。反復計算では、この近似を繰り返し更新することで、解へ徐々に近づく方法が採られることが多い。
2.3.2 非線形微分方程式の近似
非線形微分方程式では、状態変数やその時間変化を基準軌道の周りで線形化する。すると、局所的な挙動を記述する線形微分方程式が得られ、解析や制御設計に利用しやすくなる。
3 応用分野
線形化は、純粋数学にとどまらず、力学、制御、計算機による解法、各種工学モデルに広く使われる。特に、複雑な非線形性をそのまま扱うのが難しい場合に、実用上の第一近似として重要である。
3.1 力学系における線形化
力学系では、線形化によって平衡点の周辺での運動を調べられる。非線形の相互作用を一次的に捉えることで、局所的な軌道の特徴や増減の傾向が明らかになる。
3.1.1 平衡点近傍の解析
平衡点付近では、微小なずれがどの方向へ進むかを線形モデルで確認できる。これにより、平衡点の近くで軌道が集まるか離れるかを見積もれるため、局所解析の基盤となる。
3.1.2 安定性の判定
線形化は安定性評価に頻繁に使われる。線形近似系の固有値や応答の性質を調べることで、元の非線形系の局所的安定性を判断する手がかりが得られる。
3.2 制御理論における線形化
制御理論では、非線形な制御対象を線形モデルへ置き換えることで、設計手法を適用しやすくする。実機の振る舞いを完全には表せなくても、運転点の近傍での設計には有効である。
3.2.1 状態方程式の線形化
状態方程式の線形化では、状態変数と入力の微小変動に対する一次応答を取り出す。これにより、状態空間表現が線形系となり、フィードバック設計や観測器の構成が容易になる。
3.2.2 制御対象の近似モデル
複雑な装置やプロセスは、線形化によって近似モデルとして表せる。これは調整や解析を行う際の標準的な出発点であり、実際には運転点ごとに異なるモデルが使われることもある。
3.3 数値解析における線形化
数値解析では、線形化は反復法や逐次近似の中核をなす。非線形問題を直接解く代わりに、毎回の更新で線形問題へ置き換えることで、計算を進めやすくする。
3.3.1 反復法での利用
ニュートン法のような反復法では、各反復で目的関数を線形化し、その解を次の近似値として採用する。こうした手順により、局所的に高い収束性が得られる場合がある。
3.3.2 非線形問題の逐次近似
非線形問題は、一度に解くよりも小さな補正を積み重ねて解く方が扱いやすいことがある。逐次近似では、各段階で線形化した問題を解き、その結果を更新して元の解へ近づく。
3.4 工学分野での利用
工学では、線形化は現象の予測と設計の双方に役立つ。機械、電気、構造など多様な対象で、非線形性を含む実際の挙動を簡潔に表すための基本手法となっている。
3.4.1 振動解析
振動解析では、平衡状態の周辺での小振幅運動を線形化して扱うことが多い。これにより、固有振動や共振の基本的性質を求めやすくなり、複雑な応答の見通しが得られる。
3.4.2 回路解析
回路解析では、素子特性が非線形な場合でも、動作点の近くで線形化して小信号モデルを作る。これによって、増幅特性や周波数応答を標準的な回路理論で調べられる。
4 代表的な手法と注意点
線形化には複数の実施方法があるが、どれも近似であるという点は共通している。適用範囲を見誤ると、数式上は整っていても実際の挙動を十分に反映しないことがある。
4.1 テイラー線形化
テイラー線形化は、テイラー展開の一次までを用いて近似する最も基本的な方法である。計算が明快で、多くの初等的な場面に適用しやすい一方、滑らかさが前提になる。
4.2 摂動法との関係
摂動法は、基準解のまわりに小さなずれを導入して問題を解く方法であり、線形化と密接に関係する。両者はしばしば併用され、微小なパラメータを軸にして近似解を組み立てる。
4.3 線形化の誤差
線形化では、高次項を切り捨てるため、必ず近似誤差が生じる。誤差の大きさは、変化量、曲率、基準点からの距離などに左右される。
4.3.1 高次項の影響
二次以上の項は、基準点から離れるにつれて無視できなくなることがある。とくに非線形性が強い場合、高次項が応答の形を大きく変えるため、一次近似だけでは不十分になりやすい。
4.3.2 近似範囲の限界
線形化が有効なのは、あくまで局所的な領域に限られる。十分に大きな変動や長時間の挙動では、近似が実際の性質から外れることがあり、別の手法との併用が必要になる。
4.4 線形化の失敗例
線形化は万能ではなく、前提条件を欠く場合には機能しない。特に微分不可能な箇所や、局所挙動と大域挙動が著しく異なる対象では、注意が必要である。
4.4.1 非微分可能な点
絶対値関数の折れ点のように、接線が一意に定まらない点では、通常の意味での線形化はできない。こうした場合には、別の近似や一般化された微分概念が用いられることがある。
4.4.2 大域的挙動とのずれ
ある点で良い近似であっても、離れた領域では全く異なる振る舞いを示すことがある。線形化は局所モデルにすぎないため、全体像を知るには、元の非線形構造を別途調べる必要がある。