炬燵と電柱の方程式
| 定理名 | 炬燵と電柱の方程式 |
|---|---|
| 分野 | 架空物理熱数学 |
| 主張 | 炬燵の熱境界と電柱の環境負荷を結ぶ双一次方程式は、ある条件下で一意に解ける |
| 証明者 | 小滝 竜介（ことき りゅうすけ） |
| 成立年 | 41年 |
における炬燵と電柱の方程式（こたつとでんちゅうのほうていしき、英: Kotatsu and Utility Pole Equation）は、のについて述べた定理である[1]。
概要[編集]
は、室内の熱がという境界条件に沿って減衰し、同時に屋外のが環境応答として線形に“引きずられる”ことを数式化する定理である。
この定理は「熱は落ちるが、落ち方には癖がある」という経験則を、架空のと呼ばれる変換の不変性に翻訳することで定式化され、日常的な比喩がそのまま幾何の主張へ接続される点で知られている。
なお、本定理は数学的には十分に厳密に書かれているとされる一方で、同時代の雑誌記事では「電柱が笑う」「こたつが泣く」といった表現で紹介され、数学界の外でも小さな流行を生んだとされる[2]。
定理の主張[編集]
では、時刻 $t$ における熱状態を$u(x)$、電柱起因の外部負荷を$p(t)$として扱い、次の関係が成り立つとされる。
具体的には、室内領域 $ 1$（炬燵が占める床面の投影）と室外領域 $ 2$（電柱の影響が届く範囲）の境界写像 $\Phi$ を用いて、境界上での熱フラックスが一つの双一次制約を満たすと定義する。
そのとき、$\Phi$ が$\kappa=0.73087$ を満たし、さらに負荷系列が $p(t)=\sum_{n=0}^{9} a_n e^{-nt/97.3}$（係数 $a_n$ は長さ方向に無次元化される）を満たすなら、境界条件付き熱場 $u(x)$ は一意に復元されると示された[3]。
ここで、復元解は“電柱が立つ方向”によって符号が入れ替わるため、解の符号パターンが観測と一致することが確認されたとされる。
証明[編集]
証明は、$\Phi$ を通した境界積分の操作により、双一次制約をへ落とし込むところから始められた。
まず、炬燵の境界 $ 1$ に対してと呼ばれる量 $\tau$ を導入し、$\tau=\int_{\partial 1} u(x)\,\mathrm{d}S$ と定義する。次に、電柱からの影響を、時定数がではなくへ“翻訳”することで線形性を担保すると仮定する。
この翻訳により、境界積分は $\tau = A\kappa + B\kappa^{-1}$ の形に還元され、係数 $A,B$ は観測データから決まるとして扱われた。
最後に、$\kappa=0.73087$ がに入ることが示され、双一次系が可解となるため、$u(x)$ が一意に復元されることが証明された[4]。
なお、証明のうち「97.3」という数値がなぜ出るのかについては、当時のノートに『電柱の影が椅子に落ちる角度が偶然揃った』とだけ書かれているとされ、後に“要出典”相当の扱いを受けたとされる[5]。
歴史的背景[編集]
の成立は、冬季の停電対策をめぐる行政と研究者の協働に遡るとされる。
38年頃、の前身組織とされるでは、家庭内の温熱効率を上げる政策が検討され、同時に電柱の近傍での温度変動が“配電のゆらぎ”に影響するという観察が共有されたとされる[6]。
その流れで、熱と幾何を結ぶ架空理論としてが育ち、そこに小滝竜介が“炬燵は境界、電柱は外部”という言い換えを与えて体系化した、と説明されることが多い。
とくに小滝は、横浜の試験住宅群（の仮設団地とされる）で、毎晩同じ時刻に炬燵の上面温度を測り、電柱の影長が変わるタイミングを記録したという逸話が残っているとされる[7]。
一般化[編集]
本定理は当初、電柱を単一支柱の線形応答として扱う設計であったが、その後へ一般化された。
一般化版では、電柱の本数を $m$ とし、負荷系列 $p(t)$ をベクトル化して $p(t)\in\mathbb{R}^m$ と定義する。すると、囲い込み指数 $\kappa$ はスカラーではなく、対角行列 $K=\mathrm{diag}(0.73087,0.71984,\dots)$ に置き換えられる。
このとき条件は「境界写像が $\max_i \kappa_i$ の逆安定性を持つ」ことで書き換えられ、双一次制約の解は $m$ 次元へ伸びても一意性が維持されると示されたとされる[8]。
ただし、一般化の際には係数の測定誤差が“連成して増幅する”ため、証明の後半でのみ確率的仮定（確率 $0.031$ 未満）を置いた版も存在するという指摘がある。
応用[編集]
の応用としては、まずが挙げられる。炬燵の温度維持を、境界条件の調整問題として扱うことで、消費電力を最小化する制御設計へつながったとされる。
また、電柱周辺の微小温度変動を“外部負荷”として扱う発想から、のモデル化が進み、架空の計算機設備では、翌日昼までの予測が可能になったと報告された[9]。
さらに、教育面では「宿題が熱くなる」という教材が作られ、境界積分と双一次系の理解を、身近な風景に重ね合わせる講義が行われたとされる。
一方で、応用が広がるにつれ、電柱を“比喩”として扱いすぎる研究者と、厳密に線形応答へ固定し続ける研究者の間で議論が起き、後述の論争へ至ったとされる。
脚注[編集]
関連項目[編集]
脚注
- ^ 小滝竜介『炬燵と電柱の方程式：境界応答の双一次理論』配熱出版, 【昭和】41年。
- ^ 武田紗也『冬季家庭熱制御における境界積分の応用』『日本熱数学論文集』第12巻第4号, pp.13-29, 1968。
- ^ E. B. Hargrove, "Enclosure Indices in Steady-Decaying Fields", Journal of Fictional Differential Physics, Vol.3 No.1, pp.44-62, 1971.
- ^ 佐伯昌明『配電ゆらぎ補正の幾何学モデル』雷素通信社, 【昭和】45年。
- ^ 渡辺精一郎『支柱応答の線形化と安定域』『確率場の周辺論』第7巻第2号, pp.201-219, 1973。
- ^ M. A. Thornton, "Pole Shadows and Dual Quadratic Constraints", Proceedings of the Imaginary Society for Applied Topology, Vol.9, pp.90-105, 1975.
- ^ 配熱解析機研究会『MEL-17による熱境界復元手順書（改訂第3版）』配熱計算協会, 1976。
- ^ J. K. van Riem, "On the 97.3 Second Translation in Boundary Integrals", Bulletin of Temperate Theorems, Vol.1 No.7, pp.1-9, 1980。
- ^ （書名微妙）『電柱が笑う：数学の比喩と実測の軌跡』東京電燈電力局出版局, 1969.
外部リンク
- 架空数学アーカイブ（Kotatsu-Poles）
- 配熱解析機MEL-17資料室
- 境界双一次学チュートリアル
- 冬季温熱教育サイト（Yukimi Lab）