概述
将我在早稻田大学教育学部数学系的毕业研究整理为论文翻译、讲义笔记和毕业论文的数学网站。题材是非线性偏微分方程理论中的经典文献:
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 方程
研究的是同时具有非线性对流项和黏性扩散项、用于刻画流体激波的方程。
在初值于两端分别趋于不同值 的条件下,探讨解最终会稳定成什么形状。
行波解(激波层)的显式形式
考虑保持形状、以恒定速度 传播的解 ,偏微分方程便化为常微分方程,积分后可以严格写出 型的剖面。
稳定性 — 通过 Hopf–Cole 变换进行线性化
行波附近的扰动 所满足的方程是非线性的,但施加 Hopf–Cole 变换 之后,它就变成了线性热方程。一旦是线性的,就可以通过显式公式(热核)直接追踪解的长时间行为——这正是整个论证的核心。
结论 — 指数衰减估计
在扰动总质量为零()的条件下,解以指数阶收敛到行波,而且衰减率可以作为具体数值得到。
本研究的要点
先行研究 Il'in–Oleinik (1960) 利用极值原理证明了“解以指数速度收敛到行波”。但其衰减率仅停留在“存在某个正常数”这种定性的、存在性的论断上,没有给出具体数值。
与此相对,Nishihara (1985) 将研究对象限定为黏性 Burgers 方程,转而借助 Hopf–Cole 变换的显式公式,把衰减率写成了具体数值 。其意义在于,把“指数衰减”这一定性信息精确化为“以这个速度指数衰减”的定量结果。
本网站将行波显式形式 (1.8) 的推导(ODE 的积分、部分分式分解、直至 恒等式)、扰动方程的推导与 的确定、Hopf 变换的线性化,以及利用热核的渐近估计,在补全原论文省略的推导细节的同时逐步整理出来。
网站构成
- • 论文(日文翻译) — Nishihara (1985) 原论文的全译笔记(全 5 节)
- • 毕业论文 — 不省略任何推导、一直推到结论的完整版(另附 LaTeX 排版的 PDF)
- • 讲义笔记 — 按讲次讲解概要与问题设定 / 扰动方程的推导 / Hopf 变换的线性化
- • 参考文献翻译 — Hopf (1950)、Il'in–Oleinik (1960)、Gelfand (1959) 等原论文引用的经典文献的译文与原文 PDF
使用技术与实现上的巧思
- • 用 KaTeX 排版公式、用 markdown-it 撰写,论文级别的数学公式也能完整无误地显示
- • 毕业论文、讲义与补充笔记公开。翻译资料与私人笔记在构建前用 AES-GCM 加密,打开限定资料时通过 Web Crypto API 解密,保留原有密码与已保存的登录信息
- • 开发时直接读取明文 Markdown,生产构建时仅限定资料通过密文读取
关于阅览
毕业论文、讲义笔记、详细证明与可视化无需登录即可阅读。原论文翻译与私人笔记仍限定公开,可使用原有密码。
打开数学笔记