微分ガロア理論のソースを表示

{{出典の明記| date = 2023年1月}}
数学において、'''微分ガロア理論'''（びぶんガロアりろん）とは、[[微分体]]の拡大を研究する分野である。

== 動機および基本的考え方 ==
[[数学]]において、ある種の[[初等関数]]の[[不定積分]]は初等関数で表せない。
この様な関数としては、<math>e^{-x^2}</math>が良く知られており、その不定積分は、[[統計学]]で馴染みの深い[[誤差関数]] <math>\operatorname{erf}x</math> である。
他の例としては、[[sinc関数|シンク関数]] <math>\tfrac{\sin x}{x}</math> や <math>x^x</math> 等がある。

初等関数の概念は、単に慣習的なものであることに気付くべきである。
仮に、初等関数の定義に誤差関数を含めれば、その定義の下では <math>e^{-x^2}</math> の不定積分が初等関数になるのである。
しかし、いわゆる初等関数の定義にいくら沢山の関数を追加しても、その不定積分が初等関数にならない関数が存在する。

'''微分ガロア理論'''（びぶんがろありろん、英：differential Galois theory） の理論を用いれば、どの初等関数の不定積分が初等関数で表せないか、決定することができる。
微分ガロア理論は、[[ガロア理論]]のモデルを基礎にした理論である。
代数的ガロア理論が[[可換体|体]]の[[体の拡大|拡大]]を研究するのに対し、微分ガロア理論は'''[[微分体]]'''（びぶんたい、英：differential field）、つまり'''微分'''（びぶん、英：derivation）または'''微分子'''（びぶんし、differentiation） ''D'' を持つ体の拡大を研究する。
微分ガロア理論の殆どは、代数的ガロア理論と類似している。
両者の構成における大きな違いは、微分ガロア理論のガロア群は[[代数群]]であり、代数的ガロア理論では[[クルル位相]]を備えた[[副有限群]]である点である。

== 定義 ==
微分 ''D'' を有する任意の微分体 ''F'' に対し、''F'' の'''定数体'''（ていすうたい、英：constants）と呼ばれる部分体
{{Indent|Con(''F'') <nowiki>= {</nowiki>''f'' ∈ ''F'' <nowiki>|</nowiki> ''Df'' <nowiki>= 0}</nowiki>}}
が存在する。
定数体は、''F'' の素体を含む。

2 つの微分体 ''F'' と ''G'' が与えられた場合に、
''G'' が ''F'' の単純微分拡大
<ref>
''G'' が ''F'' の単純微分拡大であるとは、ある元 ''t'' に関し ''G'' = ''F''<''t''> := ''F''(''t'', ''Dt'', ''D''(''Dt''), …) となることをいう。
</ref>
であって、
{{Indent|∃''s''∈''F''; ''Dt'' <nowiki>=</nowiki> ''Ds''/''s''}}
を満たすとき、''G'' を ''F'' の'''対数拡大'''（たいすうかくだい、英：logarithmic extension）という。

これは、対数微分の形式をしている。
直感的には、''t'' をある ''F'' の要素 ''s'' の[[対数]]と考えることができ、この場合、同条件は普通の連鎖律に対応する。
しかし、''F'' には一意的に対数が定まる訳ではないことに注意が必要である。
対数的な多くの ''F'' の拡大体を考えることもできる。
同様に、'''指数拡大'''（しすうかくだい、英：exponential extension）とは、
{{Indent|∃''s''∈''F''; ''Dt'' <nowiki>=</nowiki> ''tDs''}}
を満たす単純微分拡大である。
また、'''積分拡大'''とは、
: ∃''s''∈''F''; ''Dt'' = ''s''
を満たす単純微分拡大である。積分拡大や指数拡大は、体の標数が0でかつ拡大体の定数体が一致するとき、ピカール・ベシオ拡大になる。

上記の注意書きを念頭に置き、この要素は ''F'' の要素 ''s'' の指数と考えることができる。
最後に、''F'' から ''G'' へ至る部分体の有限列があり、Con(''F'') = Con(''G'') は代数閉体であって列の各拡大が有限次代数拡大、対数拡大または指数拡大の何れかであるとき、''G'' を'''初等微分拡大'''（しょとうびぶんかくだい、英：elementary differential extension）という。

<math>a_1, \cdots , a_n \in F</math> に対し、斉次[[線型微分方程式]]
: <math>D^{n}y + a_{1}D^{n-1}y + \cdots + a_{n-1}Dy + a_{n}y = 0</math>　…　(1)
を考える。
定数体上で一次独立な (1) の解は、高々 ''n'' 個存在する。
''F'' の拡大 ''G'' が微分方程式 (1) に対する'''ピカール・ベシオ拡大'''（英：Picard-Vessiot extension）であるとは、''G'' が (1) の解全体で生成された微分体であって、かつ Con(''F'') = Con(''G'') を満たすことである。

微分体''F'' の拡大 ''G'' が'''[[ジョゼフ・リウヴィル|リウヴィル]]拡大'''（英：Liouville extension）であるとは、Con(''F'') = Con(''G'') が代数閉体であって、部分体の増大列
: ''F'' = ''F''<sub>0</sub> ⊂ ''F''<sub>1</sub> ⊂ … ⊂ ''F<sub>n</sub>'' = ''G''
が存在して、各拡大 ''F''<sub>''k''+1</sub> : ''F<sub>k</sub>'' が有限次代数拡大または積分拡大または指数拡大になっていることをいう。[[有理関数体]] '''C'''(''x'') のリウヴィル拡大は、有理関数・指数関数・代数方程式の根をとる操作およびそれらの不定積分を有限回組み合わせてできる関数の集まりになっている。明らかに対数関数や三角関数、それらの逆関数も '''C'''(''x'') 上リウヴィル的な関数であり、特に初等微分拡大はリウヴィル拡大である。

'''C'''(''x'') 上の初等拡大に含まれるがリウヴィル拡大には含まれないような関数の例としては <math>e^{-x^2}</math> の不定積分がある。

== 基本的性質 ==
微分体 ''F'' に対し、''G'' が ''F'' の分離的代数拡大のとき、''F'' の微分が ''G'' の微分に一意に拡大できる。
従って、''G'' は ''F'' の微分体の構造の一意の拡大を有する。

''F'' と ''G'' は Con(''F'') = Con(''G'') を満たす微分体であって、''G'' は ''F'' の初等微分拡大だとする。
''a'' ∈ ''F''、''y'' ∈ ''G''、''Dy'' = ''a'' （つまり、''G'' は ''a'' の不定積分を含む）だとする。
このとき、
''c''<sub>1</sub>, …, ''c''<sub>''n''</sub> ∈ Con(''F'') と ''u''<sub>1</sub>, …, ''u''<sub>''n''</sub>, ''v'' ∈ ''F'' が存在し、
{{Indent|<math>a = c_1\frac{Du_1}{u_1} + \dotsb + c_n\frac{Du_n}{u_n} + Dv</math>}}
である（リウヴィルの定理）。
言い換えると、初等的な不定積分（つまり、不定積分が最悪でも、''F'' の初等微分拡大に含まれる）関数のみが、定理に記す形式を有する。
従って、直感的には、初等的な不定積分のみが、単純な関数と単純な関数の有限個の対数の和になる。

''G''/''F'' がピカール・ベシオ拡大であるとする。このとき ''G'' が ''F'' のリウヴィル拡大であることと、微分ガロア群の単位成分<ref>
代数群の単位元を含む[[連結成分]]を、単位元の成分という。これは、正規部分群になる。
</ref>が[[可解群|可解]]であることは同値である。さらに、''G'' が ''F'' のリウヴィル拡大であることと、''G'' が ''F'' のあるリウヴィル拡大体に埋め込まれることも同値である。

== 例 ==
* 1 変数[[複素数|複素]]有理関数体 '''C'''(''x'') は、変数 ''x'' に関する普通の微分により、微分体になる。 この体の定数体は、複素数体 '''C''' である。

* 上記リウヴィルの定理により、''f''(''z'')、''g''(''z'') が ''z'' に関する有理関数で、''f''(''z'') は 0 でなく、''g''(''z'') は定数でない場合に、<math>\textstyle \int f(z)e^{g(z)} \, dz</math> が初等関数になるためには、ある有理関数 ''h''(''z'') により、<math>f(z) = h'(z) + h(z)g'(z)\,</math> と書けることが必要十分であることが示せる。 冒頭に記載した誤差関数や積分正弦（シンク関数の不定積分）が初等関数で表せないことは、この性質から直ちに導かれる。

* エアリーの微分方程式 <math>y'' - xy = 0\,</math> の微分ガロア群は、複素数体上のユニモジュラー 2 次行列の全体になる。 これは可解な単位元の成分を持たない。 従って、同方程式の解は、解析学の標準的な関数を含む簡潔な式では表せない。 この方程式の解は、[[エアリー関数]]という。

== 脚注 ==
{{脚注ヘルプ}}
<references/>

{{DEFAULTSORT:ひふんかろありろん}}
[[Category:体論]]
[[Category:ガロア理論]]
[[Category:微分方程式]]
[[Category:数学のエポニム]]
[[Category:数学に関する記事]]