ピュリュシ級数を利用したウィークィケシュハルツ問題の証明
| name | ピュリュシ級数を利用したウィークィケシュハルツ定理 |
|---|---|
| field | 架空解析学（級数制御理論） |
| statement | 適切な近似条件の下で、ピュリュシ級数が生成する補正項は収束し、その極限がウィークィケシュハルツ問題の解の一意性を保証する |
| proved_by | ヴェルナー・クレムリッヒ（Werner Kremlitsch）と研究班 |
| year | 1967年 |
におけるピュリュシ級数を利用したウィークィケシュハルツ問題の証明（よみ、英: Proof of the Weeky-Keshhalts Problem Using the Purlyushi Series）は、のについて述べた定理である[1]。本定理は、による“遅い揺れ”の制御が、の解を一つに定めることを示すとされる[2]。
概要[編集]
本記事では、に属するとされる定理を扱う。
この定理は一見、級数の収束判定に過ぎないが、実際にはが抱えていた“解の分岐”を、の構造で封じる点に特徴があるとされる。とくに、収束速度を“微分不能な揺らぎ”で記述し、極限が一意に選ばれるよう設計されるのが核心である。
当初、解法はの小規模な研究会で試行され、そこで用いられた“遅い揺れのゲート”が、後に体系化されることになったと語られている。なお、この物語は学会誌の回顧記事により広まったが、証拠は部分的にしか残っていないとされる[3]。
定理の主張[編集]
P(x)を、実数xに対する“補正付き級数”として構成し、そこから得られる関数列{f_n}がある種の漸近条件を満たすと仮定すると、は一意な解をもつとされる。
より具体的には、次を満たすとする：任意の整数n≥0に対し、f_n(x)がTの像に属し、誤差項E_n(x)が|E_n(x)|≤C·(1/n)^{3/2}·exp(-n/41)を満たすとする。ただしCはxに依存しない正定数である。
さらに、で規定される境界条件が「揺らぎ付き境界」と呼ばれる形式、すなわち、境界での値とその“疑似導関数”が同時に拘束される形で与えられるとき、P(x)が生成する極限関数f(x)が問題の解として一意に定まると示された。なお、境界条件の係数は歴史的には「ゼロでも一でもない第3の重み」と呼ばれ、値は(0.333…と断言されると嫌われるため)便宜上0.37164として記録されたという[4]。
証明[編集]
証明は、P(x)を“分解→ゲート→再結合”の三段階で扱う流儀で進められる。
第一段階では、P(x)=A(x)+B(x)と分解し、A(x)を通常の収束部分、B(x)を“遅い揺れ成分”として隔離する。ここでB(x)の係数は、次数が増えるほど符号が不規則に変わるように設計され、同時に「二重の緩和」を満たすとされる。
第二段階、ゲート処理では、|x|≤1/7の領域に限定して評価し、B(x)が(1/n)^{3/2}·exp(-n/41)よりも厳しく支配されることを示す。研究班は、計算誤差を恐れ、机上のノートに『n=128までの打ち切り誤差を許す』と書き残したとされるが、なぜ128なのかは“ベルリンの路面電車が二分おきに鳴るから”という噂が残っている[5]。
第三段階で再結合を行い、極限関数f(x)がの境界条件を満たすこと、さらに同境界条件を満たす別解g(x)を仮定した場合に、f-gが零であることを示して一意性を得る。ここで、零であることはTの可逆性と、P(x)由来の誤差支配から導かれる。
なお、証明の中には「理屈としては正しいが出典が薄い」箇所があり、特定の補題が“サンクトペテルブルク大学の未公開ノートに掲載されていた”という形で参照されたとされる。ただし、そのノートの所在は議論の的になったとされる[6]。
歴史的背景[編集]
は、初期には“解の分岐が多すぎる病”として知られていた。ベルリンの（当時は略称“IMI”と呼ばれた）では、同じ境界条件を与えても、級数展開の仕方によって極限が変わることが報告され、現場の研究者が頭を抱えたという。
その打開策として登場したのが、である。由来は、ある若手研究員が、分岐の原因を“揺れの位相”と見なしていたことにあるとされる。彼は位相を測るため、級数の係数に「周期41の減衰」を埋め込むことを提案し、結果としてexp(-n/41)の形が現れたのだと説明された。
しかし、この周期41には、研究者の遊興的な背景が混じっている。彼の父が旧市街の時計台で、夜ごとに鳴る鐘が41回数えられると主張していたためである、という逸話が回顧録に残っている[7]。
のちにらは、IMIと提携し、だけでなくの計算室とも協働した。そこでは計算機の故障が多く、手計算の“妥協ライン”としてn=128が採用され、証明の中でもその痕跡が“気まぐれに”残ったと指摘されている。
一般化[編集]
定理の一般化では、境界条件の“揺らぎ付き”構造を拡張し、重みを0.37164の代わりに、より広いパラメータ族へ置き換える試みがなされた。
特にTの代わりに、あるクラスの非可逆作用素Sを許す場合にも、P(x)の分解構造が保持されるなら一意性は成立するとされた。ただしこの場合、誤差項E_n(x)の上界はexp(-n/41)からexp(-n/37)へ緩むことが報告され、研究者たちは「代償として減衰が短くなる」と表現したという[8]。
また、領域制限|x|≤1/7も不要だとする説がある。具体的には、級数分解を多段化し、xの大きさに応じてゲート回数を増やす方法が提案され、ゲートは最大で9回まで必要になったと、どこかの修論で断定された。しかし当該修論は閲覧制限がかかっており、後続の追試では“6回で足りた”とする証言が見られる[9]。
応用[編集]
本定理の応用先は、まずではなくに最初に流れたとされる。理由は、解の一意性が“意思決定の分岐”を抑える比喩として受け入れられたためである。
が持つ境界条件の形式は、行政用語では“住民要望の同時拘束”に相当すると翻訳され、の内部講習で引用されたという。講習資料の脚注には、exp(-n/41)が「時間の忘却率を表す」と書かれていたが、数理的妥当性は誰も検証しないまま通ったとされる[10]。
一方、純粋数学側では、級数制御手法としてが他の問題群にも転用された。とくに、位相が絡む発散列を“位相ゲート”で整流する考え方は、後にという名で派生し、学会の講演枠を急速に拡大したと記録されている。
ただし社会的には、定理名があまりに長く、予算申請書の欄に収まらず、略称を巡って部署間で争いが起きたという。IMIは「PK-U」という略称を推し、計画庁は「W問題」のみを使うべきだと主張した。結果として、両者が妥協できず、講習は“念のため”二種類のスライドで実施されたとされる[11]。
脚注[編集]
関連項目[編集]
脚注
- ^ ヴェルナー・クレムリッヒ『ピュリュシ級数と境界の一意性』帝国数理研究所出版局, 1967年.
- ^ マルグリート・A・ソーントン『The Purlyushi Series and Slow Oscillation Gates』Journal of Fictional Analysis, Vol. 12, No. 3, pp. 201-248, 1968.
- ^ 渡辺精一郎『ウィークィケシュハルツ問題の分岐抑制法』第◯巻第◯号, pp. 33-71, 1970.
- ^ Katarzyna Nowak『Uniqueness under Phase-Weighted Boundary Constraints』Proceedings of the Imaginary Mathematical Society, Vol. 4, No. 1, pp. 1-16, 1972.
- ^ ジャン=クロード・ルメール『A Note on the Gate Count: Why 128?』Bulletin of the Counterfactual Continuity Institute, 第2巻第5号, pp. 90-94, 1975.
- ^ エルンスト・ハルツマン『揺らぎ付き境界の再解釈と誤差支配』解析学叢書, pp. 77-119, 1979.
- ^ A. M. Petrov『Unpublished Notes from Saint Petersburg University and Their Alleged Proofs』International Review of Make-Believe Mathematics, Vol. 9, No. 2, pp. 250-260, 1981.
- ^ 佐藤ユキ『exp(-n/37)への緩和則とその社会的受容』日本応用架空学会誌, 第15巻第1号, pp. 10-28, 1984.
- ^ M. Ricci『On the Number of Gates Needed for |x|≤1/7 Removal』Studies in Counterfactual Convergence, Vol. 21, No. 4, pp. 401-430, 1991.
- ^ Linde H. Braun『Planning-Office Interpretations of Series Uniqueness』Journal of Administrative Mathematics, Vol. 3, No. 2, pp. 55-83, 1999.
- ^ 『IMI講習資料：PK-UとW問題の併用戦略』都市計画庁編集, 2003年.
- ^ 笹川一馬『定理名の長さと予算欄：数学の事務的副作用』第◯巻第◯号, pp. 1-9, 2008.
外部リンク
- Purlyushi Series Archive
- Weeky-Keshhalts Problem Gallery
- IMI Lecture Notes Index
- Fictional Convergence Repository
- Phase-Gate Discussion Forum