Projects

Burgers 方程式の進行波解の安定性

卒業研究ノート公開

2026年5月〜現在（個人開発・卒業研究）

数学ノートを開く

概要

早稲田大学 教育学部 数学科での卒業研究を、論文翻訳・講義ノート・卒業論文として一つにまとめた数式サイト。題材は非線形偏微分方程式論の古典である

K. Nishihara, A Note on the Stability of Travelling Wave Solutions of Burgers' Equation, Japan J. Appl. Math. 2 (1985), 27–35.

で、粘性 Burgers 方程式の進行波解（衝撃波層）が時間とともに安定であることを、 その減衰の速さまで含めて精密に示すのが主題。原論文の全訳に加え、行間を省かず結論まで導く卒業論文と、Hopf (1950)・Il'in–Oleinik (1960)・Gelfand (1959) など関連する古典論文の翻訳までを横断的に読めるよう構成した。

扱っている数学

対象 — 粘性 Burgers 方程式

流体の衝撃波をモデル化する、非線形移流項と粘性拡散項をあわせ持つ方程式を扱う。

vt+(v22)x=ε vxx(ε>0)v_t + \left(\tfrac{v^2}{2}\right)_x = \varepsilon\, v_{xx} \qquad (\varepsilon > 0)

両端で異なる値 v−>v+v_- > v_+ に漸近する初期データのもとで、解がやがてどんな形に落ち着くかを問う。

進行波解（衝撃波層）の明示形

形を保ったまま一定速度 ss で進む解 V(x−st)V(x - st) を考えると、偏微分方程式は常微分方程式に落ち、積分して tanh⁡\tanh 型のプロファイルが厳密に書き下せる。

s=v++v−2s = \frac{v_+ + v_-}{2}
V(ξ)=v++v−2−v−−v+2 tanh⁡ ⁣(v−−v+4ε (ξ−x0))V(\xi) = \frac{v_+ + v_-}{2} - \frac{v_- - v_+}{2}\,\tanh\!\left(\frac{v_- - v_+}{4\varepsilon}\,(\xi - x_0)\right)

安定性 — Hopf–Cole 変換による線形化

進行波まわりの擾乱 u=v−Vu = v - V が満たす方程式は非線形だが、 Hopf–Cole 変換 u=−2 (log⁡φ)ξu = -2\,(\log\varphi)_\xi を施すと線形の熱方程式に化ける。線形なら明示公式（熱核）で解の長時間挙動を直接追える、というのが議論の核心。

結論 — 指数減衰の評価

擾乱の総質量がゼロ（∫u0 dξ=0\int u_0\, d\xi = 0）という条件のもとで、解が進行波へ指数オーダーで収束すること、しかもその減衰率が具体値として得られる。

v(x,t)−V(x−st)=O ⁣(exp⁡ ⁣(−(v−−v+)216ε t))(t→∞)v(x,t) - V(x - st) = O\!\left(\exp\!\left(-\frac{(v_- - v_+)^2}{16\varepsilon}\,t\right)\right) \qquad (t \to \infty)

この研究のポイント

先行研究の Il'in–Oleinik (1960) は、最大値原理を用いて「進行波へ指数的に収束する」ことを示した。ただし減衰率は「ある正の定数が存在する」という定性的・存在型の主張にとどまり、具体的な値は与えられない。

これに対し Nishihara (1985) は、対象を粘性 Burgers 方程式に絞る代わりに Hopf–Cole 変換の明示公式を経由し、減衰率を (v−−v+)216ε\dfrac{(v_- - v_+)^2}{16\varepsilon} という具体値として書き下した。「指数減衰する」という定性的な情報を「この速さで指数減衰する」という定量的な結果へと精密化した点に意義がある。

本サイトでは、進行波の明示形 (1.8) の導出（ODE の積分・部分分数分解・tanh⁡\tanh 恒等式まで）、摂動方程式の導出と x0x_0 の決定、Hopf 変換による線形化、熱核を用いた漸近評価までを、原論文が省略した行間を補いながら段階的に追えるようにまとめている。

サイトの構成

  • • 論文（日本語訳） — Nishihara (1985) 原論文の全訳ノート（全5節）
  • • 卒業論文 — 結論まで省略なく導出した完全版（LaTeX で組んだ PDF も併設）
  • • 講義ノート — 概要と問題設定 / 摂動方程式の導出 / Hopf 変換による線形化 を回ごとに解説
  • • 参考文献の翻訳 — Hopf (1950)・Il'in–Oleinik (1960)・Gelfand (1959) ほか、原論文が引く古典の訳と原文 PDF

使用技術と実装上の工夫

TypeScriptViteKaTeXmarkdown-itWeb Crypto API (AES-GCM)
  • • KaTeX による数式組版と markdown-it での執筆で、論文レベルの数式を破綻なく表示
  • • 卒業論文・講義・補足ノートは公開し、翻訳資料と私用の裏ノートは AES-GCM でビルド前に暗号化。限定資料を開くときだけ Web Crypto API で復号し、既存のパスワード・保存済みログインを維持
  • • 開発時は平文 Markdown を直接読み込み、本番ビルドでは限定資料だけ暗号文を読み込む編集フローを構築

閲覧について

卒業論文・講義ノート・補足証明・可視化は、ログインなしで閲覧できます。原論文の翻訳と私用の裏ノートは限定公開で、これまでと同じパスワードを使用できます。

数学ノートを開く