「微分ガロア理論」とは何か,入門用にわかりやすく解説。「微分方程式が解ける条件」を群論で表現する

数学の解説コラムの目次へ


微分方程式に対するガロア理論,すなわち

「微分ガロア理論」について知るためのわかりやすい解説。


歴史的な背景や,数学的なツール,応用例など。

微分ガロア理論の入門書のうち,わりと読みやすいもの。

代数的ガロア理論と,微分ガロア理論の違い

「微分ガロア理論」とは,微分方程式に対するガロア理論のこと。

  • 代数方程式に対するガロア理論は,「どのような代数方程式は解けるのか」を明らかにする。
  • 微分ガロア理論の研究を進めると,「どのような微分方程式は解けるか」がわかる。

代数方程式の代わりに,微分方程式を考察したものが微分ガロア理論,というわけだ。


代数的ガロア理論では「体の拡大」がテーマだった。

いっぽう微分ガロア理論では「微分体の拡大」を研究する。

(微分体とは,通常の加減乗除に加えて微分操作を持つ体。)


両者は非常に似通っている。


代数的ガロア理論は,「ある対象が解けるとはどういうことか?」をうまく定義している。

この理論をひな形・テンプレートにして,

ほかの色んな対象に考察を広げることができる。

現代数学における,ガロア理論の重要性がよくわかるだろう。


ふつうのガロア理論を,微分方程式に応用したもの:

線形微分方程式のガロア理論なるものがある | サラリーマンのすらすらIT日記
http://sookibizviz.blog81.fc2.com/blog-entry-1280.html

  • 線形微分方程式のガロア理論なるものがある
    • 普通のガロア理論を, 線形微分方程式の可解性に応用できるようです。これは面白い。

群を使って,微分方程式の解きやすさを測ることができる。(微分ガロア群)

微分ガロア理論を数学的にもう少し詳しく述べると,

「微分方程式の解の超越性を, 微分ガロア群の大きさで測る理論」

と言える。


ある微分方程式が解きやすいかどうか,それは,

「その微分方程式が持つ群(=対称性)」しだいで測られる,というわけ。


ただし,この群を具体的に求めて計算するのはとても難しい。

理論の面では非常に美しいのだが,

実用的な計算の面では,まだまだブラッシュアップが期待される・・・

といったところ。


微分方程式を調べるために,「群と対称性」が役立つ:

0999-12.pdf
http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/0999-12.pdf

  • 19 世紀初頭、 E.Galois は方程式の根がベキ根によって構成される仕組を,根のあいだのある置換群 ( すなわち Galois 群 ) の構造によって分析する一般的な原理を確立しました . ( 数学辞典「ガロア理論」 よ り .)
  • 同様に、 なんらかの群を用いて微分方程式の解の性質を調べようという試みがいくつかあります .


思想としてのガロア理論 - hiroyukikojimaの日記
http://d.hatena.ne.jp/hiroyukikojima/20110404/1301921889

  • 竹縄知之さんの「リー群と可積分性」。
    • これは、「微分方程式のガロア理論」と呼ばれる理論の歴史を総覧してくれる記事だ。
  • ガロアが解いたのは「n次方程式が、四則とべき乗根で解ける条件」だった
    • これを「微分方程式が、ふつうの積分とか、指数関数とかで解ける条件」に応用したものが、「微分方程式のガロア理論」なのである。
    • 竹縄さんは、これについてリッカチ方程式とかパンルヴェ方程式とかを主役に据えて解説している。
    • 微分方程式が解けることにも、「対称性とそれを表現する群」が本質的に関わっている、ということが理解できた。
  • いったん忘れさられそうになったこの分野の研究が、物理におけるソリトンとかイジング模型とかの研究で再び脚光を浴びる
    • 最後には、梅村浩やマルグランジュによって確立された最新の理論「微分ガロア理論」のおおまかな説明がついている。


微分ガロア群について:

原岡 喜重。微分ガロア理論
http://www.sci.kumamoto-u.ac.jp/~haraoka/index-j.html

  • ガロア理論とは
    • n次方程式の解がどれくらい複雑な数かを,解の間に成り立つ関係式を不変にする置換からなる群(ガロア群という)の大きさで測るという理論がガロア理論です.
    • ガロア理論は現代数学の一つの指導原理となり,多くの理論の雛形となりました.
  • ガロア理論への直接の類似として,微分方程式についても同様の理論が考えられます.
    • 線形常微分方程式に対するガロア理論は,ピカール・ヴェッシオ理論と呼ばれる。
    • 微分方程式の解の超越性を, 微分ガロア群の大きさで測る理論となっています.
  • しかし実際に微分ガロア群を求めるのは, 非常に難しい問題です.
    • 微分ガロア群を求める方法として,モノドロミー行列やストークス行列たちの閉包を取るやり方があります。
    • また,微分方程式を素数で法を取って有限体の上で考えるやり方が考えられています.
  • 微分ガロア理論には,「代数多様体の周期を与える微分方程式の,素数pによるp-曲率を用いた特徴付け」など,興味深い未解決問題があります.


ガロアの理論 - Commutative Weblog 3
http://commutative.world.coocan.jp/blog3/2011/10/post-279.html

  • 代数方程式のガロア理論を、線形常微分方程式に適用した理論がピカールなどによって構築された。
  • 線形常微分方程式のガロア理論では、微分作用素から微分環、微分体などが定義され、そこに微分ガロア群というものを考えることができる。


「微分体」および微分環について:

微分体の理論 / 岡本 和夫 桂 利行 楠岡 成雄 坪井 俊 編集委員 西岡 久美子 著 | 共立出版
http://www.kyoritsu-pub.co.jp/bookdetail/9784320016996

  • 代数的微分方程式の解を研究するために, 加減乗除の他に微分演算をもつ微分体を用いる。
  • 本書では,数学科3年までに学ぶ標準的な群,環,体,ガロワ理論の知識を前提として,微分体の理論を基礎から厳密に解説する。これは他書にはみられないものである。
    • 前半は, 微分体の万有拡大の存在証明が大きな目標であり,またPicard-Vessiot拡大や強正規拡大のガロワ理論を解説する。
    • 後半では, 微分方程式の解が初等的な演算で得られるかという問題,エアリー関数やベッセル関数の代数的独立性,パンルヴェ方程式の既約性などを論じる。


微分環 - Wikipedia
https://ja.wikipedia.org/wiki/%E5%BE%AE%E5%88%86%E7%92%B0#.E5.BE.AE.E5.88.86.E4.BD.93

  • 微分体とは、微分を有する体 K である。
  • 微分体の理論 DF は、通常の体の公理に、微分に関する 2 つの公理を追加したものである。

理論の創設者は,リー群で有名なLieさん

微分ガロア理論を作りだしたのは,リー群で有名なLieである。


Lieは,もともと「微分方程式の可解性」を調べたかった。

解ける微分方程式と,解けない微分方程式をうまく分類できれば,

微分方程式論は飛躍的に進歩するだろう・・・。


代数方程式の場合は,解けないサインは

「次数が5以上」というシンプルな条件だった。

微分方程式の場合も,解ける条件・解けない条件を

シンプルに,対称性を使って表現できるのではないか?


彼はそのために,様々な代数的なアイデアを作りだした。


Lieのアイデアをもとに,Lie群論の発展を手掛けたのが,

カルタンやキリングといった数学者たちだ。

おかげでLie群,Lie環といったツールが整った。

線形の場合は,ピカール・ベッシオ理論が確立している

Lieがもともとやりたかった事を引き継いだ人がいる。

微分方程式はどんな場合に解けるのか?を

Lieの後で研究した後継者だ。


「線形の常微分方程式」に限られるものの,

ピカールやベッシオといった数学者が,

Lieの志を継いで,微分ガロア理論を進歩させた。

これを「Picard-Vessiot 理論」という。

19世紀末~20世紀初頭にかけて研究された。


のちに,コルチンという人が

「微分体」という概念を使ってこの理論を整理し,

微分ガロア理論はめでたく「微分体の理論」として定式化された。

ここまでの成果を「有限次元の微分ガロア理論」という。


リー,ピカール・ベッシオ,コルチンという流れについて:

edu-proj-001.dvi - edu-proj-001.pdf
https://www.math.nagoya-u.ac.jp/ja/education/project/download/edu-proj-001.pdf

  • 19世紀にS.Lieは,GaloisとAbelの理論を微分方程式に打ち立てられたら。。。と考えた.
    • つまり,微分方程式のGalois理論の夢を抱いた.
    • この理論は本質的に無限次元である.彼はLie群論,Lie環論を有限次元の場合から創り始めなければならなかった.
  • 次のように考えれば,微分方程式のGalois理論の重要性は容易に推察できるであろう.
    • Galois理論を学ぶときに知るように,代数方程式のGalois理論は一般の5次方程式を加減乗除と根号で解くのが不可能であることを証明し,歴史的な問題に終止符をうった.
  • しかし,Galois理論がその力を発揮したのは,その後の整数論においてである.
    • 微分方程式のGalois理論も,微分方程式論においてこのような働きをするものと期待される.
  • 有限次元の場合は, 微分Galois理論が,Picard,Vessiot,Kolchinによって創られた.


fuji200505.pdf
http://amano-katsutoshi.com/dvi-pdf/fuji200505.pdf

  • 線形微分方程式に関する代数的理論に, Picard-Vessiot 理論というものがあります .
    • これは代数方程式の Galois 理論の, 線形常微分方程式における類似である
    • 19 世紀 末から 20 世紀初頭にかけて Picard とその弟子 Vessiot によって研究された。
    • その後, Kolchin により, 微分体の概念や線形代数群の理論を発展させつつ整理・拡張されて 現在の形に至っている .


初等超越関数について - 0302-0000-0537.pdf
http://mcarchive.sfc.keio.ac.jp/ekamo/tmpDocRoot/books/sfcac/0302-0000-0537/0302-0000-0537.pdf?20110413164044

  • 線形微分方程式の解法は比較的初期からよく考察されていた。
    • これに関しては、 Liouville の楕円積分に関する研究があり、 Riemann による群論的アプローチがある。
  • Abel を信奉する Lie は,群論を微分方程式の解法に役立てようと努力した。
    • ひとつの成果は Picard- Vessiot 理論であるが、この理論は Ritt の弟子である E.R. Kolchin によって代数化された
    • 線形常微分方程式に関しては,群論 (Kolchin 流とは限らないが)で研究するのが本流となった。
    • この観点から、古典的な Liouville の理論が見直され、再考察された。すなわち、 Abel や Liouville の群論的考察への回帰である

非線形の場合は難しく,発展途上にある

ところが,線形の場合は,まあ何とか考察できたものの,

非線形の場合は難しかった。


ドラッホとかベッシオが頑張った割には,

「非線形な微分方程式に対する微分ガロア理論」は

労多くしてなかなか進歩せず,困難が見られたのだった。


偏微分方程式ともなると,まだ全然理論が整備されていない。

微分ガロア理論にはいまだに,興味深い未解決問題がたくさんある。


非線形の難しさ:

梅村浩氏(名大)集中講義 - 微分ガロア理論とは
http://www.math.sci.osaka-u.ac.jp/~ohyama/frame/umemura/

    • 代数方程式のガロア理論にあたる変換理論を、微分方程式に対しても構成しようという試みは Lie に始まる
    • Lie の理論は, Killing や E. Cartan らによってLie 群や Lie 環という形で大きな実を結んだ。
  • Lie の本来の目標であった「微分ガロア理論」は...
    • Picard や Vessiot によって線型常微分方程式に対しては形になった
    • が、非線型方程式に対しては、Drach の理解不可能な大論文のあと、Vessiot の努力にもかかわらず忘れ去られた形となった。

物理学へのおもしろい応用:三体問題が解けない理由

微分ガロア理論の活用例として,

物理への興味深い応用がある。


運動方程式が解けない場合」を判定できるのだ。

なぜなら,運動方程式とは微分方程式だから。


この点で,もっとも有名なのは3体問題だ。

運動方程式は立てられるのに,それを解くことができない。

いったいどうしてなのか・・・という疑問に,

微分ガロア理論は答えを出している。


ある運動方程式が解けるかどうか,

解析的に軌道が求められるかどうか

というのは,結局は「微分方程式が解けるか?」ということだ。


ということはつまり,その運動方程式から微分ガロア群を作って,

この群の大きさを調べれば,解けるかどうか判定できる。


これを,ハミルトン系の可解性の判別問題という。

物理学のジャンルでいうと,「可積分系」だ。

求積法で積分して解が求められるような系を対象とした数理物理だ。

  • 「5次方程式の解の公式が,いくら頑張っても見つけられないのはどうしてなのか?」

という疑問と同じように,

  • 「3体問題の解が,解析的に求められないのはどうしてなのか?」

という長年の悩みにも,ガロア理論が回答しているのである。


解いたらいくつになるのか,という疑問ではない。

  • 絶対に解けない,と断言できるのか?
  • 解けない理由は何か?
  • 解けるタイプの判定法は何か?

という疑問だ。


この手の質問は,ガロア理論の最も得意とするところだ。

ガロア恐るべし。



運動方程式が解けるかどうか,微分ガロア理論で解明できる:

セミナー | 九州大学 マス・フォア・インダストリ研究所
http://www.imi.kyushu-u.ac.jp/seminars/view/625

  • 微分ガロア理論は,代数方程式に対するガロア理論の,微分方程式版とも言うもの
    • 19 世紀終わり頃のピカールやベシオによる線形微分方程式に対する仕事に始まり,微分方程式が求積法で解ける(可積分) かどうかということが論じられる.
  • MoralesとRamisは微分ガロア理論を用いて,一般的なハミルトン系に対して, 複素解析的な意味で可積分であるための必要条件,すなわち非可積分性の十分条件を求めている.


saito.pdf
http://www.commalg.jp/wakate2010/proceedings/saito.pdf

  • Theorem 3 (Morales-Ruiz, Ramis)
    • 複素 2 n 次元 Symplectic 多様体 V 上の Hamilton 系に対し, 近傍で独立で, 互いに可換な n 個の有理型の第 1 積分を持つと仮定する .
    • このとき ( 直交 ) 変分方程式のガロア群はモノドロミー群の Zariski 閉包であり , 特にその単位成分は可換である .
  • Theorem3 によりガロア群を用いて Hamilton 系の可積分性を判定することができる .

数学の基本的な問題に対する応用:積分が計算できない理由

微分ガロア理論には,もっと根本的な応用もある。

それは,「積分を計算できない理由」がわかる,というもの。


積分を実行できないケースをご存じだろう。

楕円積分とか,対数積分とか,計算不能な積分はいっぱいある。


これらの積分計算が,

結局は「微分方程式の可解性」に帰着されることにお気づきだろうか?


つまり,積分したいけどできない関数 f(x) があって,

これを積分せよという問題は

  • y' = f(x) なる微分方程式を解け

という問題に等しい。

解こうとすると,右辺を積分することになるからだ。


だから,積分できるかどうか?という観点は

微分方程式が解けるかどうか,

つまり「微分ガロア群が可解かどうか」という群の問題になるのだ。


そして,その群が可解でなければ,微分方程式は解けない。

積分の計算も実行できない…という話になる。


微分の計算は必ずできるのに,

積分の計算は難しい。

高校,大学と,むずかしい積分の計算に悩まされて

解析学の単位を取った記憶を持つ方は多いだろう。


その原因が,こんな高度な理論によって説明されるとは

なかなかの驚きではなかろうか。


いくら頭をひねったところで,楕円積分や対数積分は計算できない。

それは,何百年か先に,もっと数学が進歩したら解決できる…

というものではない。


計算できないことが証明されているのである。


積分という操作が,いかに奥の深いものかがわかって

とても面白い。

これも,微分ガロア理論がもたらす数々の益の一つだ。


楕円積分を例として,「積分できない」とはどういうことか:

微分ガロア理論 - Wikipedia
https://ja.wikipedia.org/wiki/%E5%BE%AE%E5%88%86%E3%82%AC%E3%83%AD%E3%82%A2%E7%90%86%E8%AB%96

  • 「積分できない」ケースを明確化する。
    • いわゆる初等関数の定義にいくら沢山の関数を追加しても、その不定積分が初等関数にならない関数が存在する。
    • 微分ガロア理論(びぶんがろありろん、英:differential Galois theory) の理論を用いれば、どの初等関数の不定積分が初等関数で表せないか、決定することができる
  • 微分ガロア理論は、ガロア理論のモデルを基礎にした理論である。
    • 代数的ガロア理論が体の拡大を研究するのに対し、微分ガロア理論は微分体(びぶんたい、英:differential field)、つまり微分または微分子 D を持つ体の拡大を研究する。
  • 微分ガロア理論の殆どは、代数的ガロア理論と類似している。
    • 両者の構成における大きな違いは、微分ガロア理論のガロア群は代数群であり、代数的ガロア理論ではクルル位相を備えた副有限群である点である。


微分体入門 : 付値理論による線形常微分方程式の研究 (可積分系数理の多様性) - 1765-05.pdf
http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/1765-05.pdf

  • Liouville は有理関数から出発して、不定積分、指数積分をとる操作と代数的操作を有限回ほどこすことによって得られる関数を,初等関数論の類似として議論した。
    • 楕円積分がそのパラメータに関してこの意味の関数ではないことを Liouville は証明した。

参考資料

微分ガロア理論の入門書は,いくつか出版されている。


代数的ガロア理論に比べると,まだ数が少ない。

代数的ガロア理論をもとにして作られた応用的な理論だし,

現在進行中で研究が進められているからだろう。


「リッカチのひみつ」という良書:

学校では教えてくれない数学:微分方程式のガロア理論
http://blog.livedoor.jp/calc/archives/51520921.html

  • リッカチ型微分方程式と対称性というキーワードを中心に、幾何学的観点を主なアプローチとして、微分方程式のガロア理論に迫っていく本
    • 数学セミナーの連載記事を読んでいたので、割とすんなり読めました。
    • 読んで改めて思ったのは、偏微分方程式のガロア理論って, まだまだ具体例を含め理論的整備が出来ていないのだなーということ


リッカチのひ・み・つ 解ける微分方程式の理由を探る | 井ノ口 順一 | 本 | Amazon.co.jp
http://www.amazon.co.jp/%E3%83%AA%E3%83%83%E3%82%AB%E3%83%81%E3%81%AE%E3%81%B2%E3%83%BB%E3%81%BF%E3%83%BB%E3%81%A4-%E8%A7%A3%E3%81%91%E3%82%8B%E5%BE%AE%E5%88%86%E6%96%B9%E7%A8%8B%E5%BC%8F%E3%81%AE%E7%90%86%E7%94%B1%E3%82%92%E6%8E%A2%E3%82%8B-%E4%BA%95%E3%83%8E%E5%8F%A3-%E9%A0%86%E4%B8%80/dp/4535786313

  • あとがきから引用:
    • 上野氏との勉強を通じて、リーが作りたかった「リー理論」は「微分方程式に対するガロア理論」なのだと知りました。



Web上で入手可能な資料を探すと,

下記のスライドは,雰囲気をつかむのにはいいかもしれない。

最終講義 - umemura_lect.pdf
http://ocw.nagoya-u.jp/files/100/umemura_lect.pdf

  • 微分 Galois 理論は人間の 情熱 を駆り立てる

数学の解説コラムの目次へ