自励系

微分方程式論または力学系理論において自励系（じれいけい、）とは、独立変数を陽に含まない常微分方程式である。自律系（じりつけい）とも呼ぶ。逆に独立変数を陽に含む常微分方程式は、非自励系または非自律系と呼ばれる。独立変数を とし、従属変数を とすれば、自励系は
で表され、非自励系は
で表される。
自励系は、その解の引数（独立変数）を一定値平行移動させたものもまた解になるという一般的性質を持つのに対し、非自励系ではこの性質は一般に成り立たない。自励系の相空間上の軌道は、他の軌道や自身と交わることはない。
定義.
独立変数を とし、 個の従属変数 に関する一般な1階連立常微分方程式を、正規形で
と表す。これをベクトル記号でひとまとめに表すと、次のようになる。
ここで、
であり、右肩の &top; は転置行列を意味する。力学系分野では、独立変数 を時間とみなす。
このような微分方程式系において右辺の函数 が引数として を含まないとき、すなわち、ある微分方程式系が
で与えられるとき、この微分方程式系を自励系または自律系と呼ぶ。あるいは、このような系を自励的であるという。例えば、ローレンツ方程式
は 次元の自励系の例である。
逆に、微分方程式系において右辺の函数 が引数として を含むとき、すなわち、ある微分方程式系が
で与えられるとき、この微分方程式系を非自励系または非自律系と呼ぶ。あるいは、このような系を非自励的であるという。例えば、ダフィング方程式
は 次元の非自励系の例である。
 階連立微分方程式に限らずに、 階の微分方程式
においても、方程式に独立変数 が陽に含まれないものを自励系、 が陽に含まれるものを非自励系と呼ぶ。任意の 変数の 階微分方程式は、 変数の 階連立微分方程式に一般的に変換できる。
自励系という言葉は、振動学の自励振動に由来するが、自励系は自励振動を起こす系をとくに意味するわけではない。振動学における自励振動は時間（独立変数） を含む強制項が存在しない方程式で記述されるため、それに関連して上記の種類の微分方程式が自励系と呼ばれるようになった。 
性質.
自励系で成立する基本的定理が、独立変数 を一定値ずらした解もまた解となる点である。解 を の函数として と表す。自励系の微分方程式系
は、任意の定数 を に加えた解 についても、
が満たされる。この性質は非自励系では成り立たず、 がある非自励系の解であったとしても、 は一般に解にならない。この性質が、自励系と非自励系の本質的な違いといえる。
従属変数 の組でつくられる空間を、力学系分野では相空間という。相空間上に描くことができる、解を表す曲線を軌道という。自励系の軌道の接ベクトルは、与えられた微分方程式（系）のベクトル と等しい。
 に対して も解になるという性質から、自励系の軌道は相空間上で交わらないという性質が導かれる。別の言い方をすると、自励系の2つの軌道がある点 を共に通るならば、それら2つの軌道は同一の軌道である。 を通る軌道の形は、 を通る時刻 の値に無関係に決まる。また、自励系の軌道が、自身と交わることもない。非自励系にこのような一般的性質はなく、相空間上で2つの軌道が交わったり、ある軌道が異なる時刻で自身と交わることがありえる。また、非自励系の軌道の形は、初期値 だけでなく、初期時刻 の値にも依存して決まる。
もし自励系がハミルトン系であれば、各軌道に沿ってハミルトニアンは一定となる。すなわち、 個の従属変数
に対して実数値関数 を定義し、これらが正準方程式
を構成するとき、ハミルトニアン の値は任意の解（軌道）に沿って一定である。
自励系への変換.
任意の 次元の非自励系は、 番目の従属変数として を導入することで、 次元の自励系に機械的に変換できる。すなわち、非自励系
において、 と置くことで、
という自励系を得ることができる。独立変数としての の方を と書き換えて、
のように表すこともある。
 の相空間に対して、 （あるいは ）で張られる 次元高い空間を特に拡大相空間と呼ぶ。非自励系をこのように自励系に変換した方が、軌道の時間依存性が無くなり、解の一意性についても見通しが良い。
非自励系は上記のように常に自励系の形に書き換え可能なため、自励系の形の方が一般性が高いといえる。しかし、非自励系には
の存在によって
を満たす平衡点が存在しない。非自励系の軌道は、拡大相空間上で 軸方向へ常に流れ続ける。このため、自励系と非自励系では解析のアプローチを変える必要がある。