ピカールの中定理
| name | ピカールの中定理 |
|---|---|
| field | 複素力学系解析 |
| statement | 有界な解析半群が中間軌道領域で一様収縮を満たすとき、半群の生成子は一意に復元される |
| proved_by | エティエンヌ・ピカール（架空の研究組織「中軌道計測局」報告） |
| year | 1927年 |
におけるピカールの中定理（よみ、英: Picard’s Mid-Theorem）は、のについて述べた定理である[1]。
概要[編集]
ピカールの中定理は、が示す“真ん中の振る舞い”から全体の構造を復元することを主張する定理である。
本定理は、複素平面上の軌道を「入口」「中間」「出口」に分け、中間だけを観測しても生成子が一意に決まる状況を定式化したとされる。
なお、定理名は“ピカール（Picard）”に由来するとされるが、実際の言い伝えでは、命名の中心になったのはピカール本人よりも研究チームの広報担当であったとも指摘されている。
定理の主張[編集]
複素平面上の有界領域D上で、{T_t}_{t≥0}が一様に有界であり、各tに対してT_tがDから自己作用すると仮定する。
さらに、ある「中間軌道領域」（M⊂D）が存在し、任意のz∈Mと任意のt∈[t_-,t_+]について、次の性質が成り立つとする：
・差分作用素（T_{t+Δ}-T_t）により、距離が“中間係数”κ=0.0379…倍へ圧縮される。
このとき、半群のGは、与えられた中間軌道情報から一意に復元されると述べるのがピカールの中定理である。
この復元は、形式的には“出口条件”を用いずに行われ、検証には計測窓幅がちょうどとして現れる。
証明[編集]
証明は、からを導くことで構成されると説明される。
まず、半群の有界性より、任意のn∈ℕに対しT_{t_0}^{n}が“安定化列”を作ることが示される。そして、観測領域M上では収縮率κ=0.0379…により、各段階の誤差が幾何級数で減衰するとされる。
次に、誤差評価の係数として小数“κの平方”が採用され、κ^2≈0.001437…が上界に現れると計算される。ここで重要なのは、証明の中核である写像連鎖の結合において、tの刻みΔが相当として扱われる点である。
最後に、生成子Gの2つの候補G_1,G_2が同一の中間軌道を与えると仮定すると、収縮率の積により差G_1-G_2がM上で消失し、によりD全体で消滅することが示される。なお、この最終段の“唯一性”は、当時の講義ノートでは要出典のまま残されているとされる[2]。
歴史的背景[編集]
ピカールの中定理の成立は、1920年代にヨーロッパで流行した“中間観測主義”と結び付けて語られることが多い。
当時、研究者たちはとの測定が困難な系に対して、測定可能な“真ん中”だけから全体を再構成する理論を求めていた。そこで、ベルギーの架空機関は、パリ近郊のに機器を持ち込み、測定窓を中間域Mへ固定する実験計画を打ち出したとされる。
この計画の中心人物として、複素力学系解析の若手であるが挙げられるが、実務上は、同研究所の工学主任が“κ=0.0379…”という収縮係数の採用を強く推したとも伝えられている。
さらに、定理の“中”という語が広報上の造語として先に印刷され、学術文書側の正式な用語が後から合わせ込まれたため、後世の解説では「最初から定理があったのではなく、名前が先に売れた」との皮肉が残る。
一般化[編集]
一般化として、生成子Gが属する空間をと呼ばれる演算子集合へ拡張した議論がある。
この枠組みでは、収縮率κが定数ではなく、tに依存するκ(t)として与えられる。ただし一意性が成立するには、κ(t)の上界がどのt∈[t_-,t_+]でもことが必要であるとされる。
また、半群が“解析”ではなく“準解析”として定式化される場合には、証明の幾何級数評価が一段多くなり、誤差がのオーダーへ落ちることが示された、と講義記録に記されている[3]。
一方で、この一般化は当初、計測局の装置誤差が原因で混乱を招き、κ(t)の推定において丸め誤差がする現象が報告されたとも伝えられている。
応用[編集]
応用として最も有名なのは、による生成子推定である。
たとえばの委託研究では、加速度制御系が複素平面上で記述されるモデルが採用され、入口条件と出口条件が計測不能でも、中間領域Mを通過する軌道の“圧縮率”を測定することで生成子Gを復元したとされる。
この結果、制御器の設計において“出口側の安全余裕”を、従来の半分以下（具体的には）へ削減できたと報告され、経済性の面でも採用が進んだ。
もっとも、後年には、復元されたGが実機の物理制約と一致しない場合があり、特に予測誤差が急増する事例が指摘された。とはいえ、その誤差増加の原因を巡って、測定工学側と解析側で責任の押し付け合いが起きたという逸話が残る。
脚注[編集]
脚注
- ^ É. Picard『中間軌道に基づく解析半群の復元理論』中軌道計測局出版局, 1927年.
- ^ Claude Martin『収縮係数κの実験的較正手順（未公表付録）』RMSMI, 1926年.
- ^ A. Watanabe『Complex Dynamical Semigroups and Their Generators』Journal of Hypothetical Analysis, Vol. 14, No. 3, pp. 201-229, 1931年.
- ^ M. Lefèvre『On the Uniqueness Mechanism in Middle-Region Observations』Proceedings of the Royal Semi-Group Society, Vol. 7, No. 1, pp. 33-61, 1933年.
- ^ S. Kuroda『モノイド写像の逆算可能性と誤差幾何級数』解析学通信, 第5巻第2号, pp. 77-98, 1938年.
- ^ D. Nakamura『中間微分環における準解析半群の挙動』日本複素力学研究紀要, 第12巻第4号, pp. 401-420, 1942年.
- ^ R. Stein『κ(t)依存型中間収縮の実用的条件』European Journal of Approximate Complex Systems, Vol. 19, No. 9, pp. 905-930, 1950年.
- ^ L. Picard『The Marketing Origin of the “Mid-Theorem” Name』Annals of Mathematical Publicity, Vol. 2, No. 1, pp. 1-12, 1961年.
- ^ 特集編集委員会『証明を含む記事の書き方：要出典の扱い』中軌道論文編集協会, 1978年.
外部リンク
- 中軌道計測局アーカイブ
- 解析半群講義ノート集
- RMSMI（研究報告の倉庫）
- 中間収縮シミュレータ
- 数学のエポニム年表