同样把中间抬高、两端压低的一条曲线交给你,它可能是一根杆的温度,也可能是一根弦的位移。过一会儿,前者会逐渐变平,后者却可能翻到平衡位置的另一侧。图形一样,为什么变化完全不同?答案藏在方程的时间项里,也藏在端点怎样被固定、开始时是否还给了速度这些条件里。
这门课会和你把这些差别算清楚。我们研究传输、扩散、波动和平衡问题,从具体模型走到特征线、分离变量、Fourier 展开,再用能量和数值误差检查结果。我希望你学到的,不只是认出某个公式,而是拿到一个新的边界条件时,知道哪些步骤还能沿用,哪些必须重来。
偏导数、链式法则、分部积分和二重积分会经常用到。常微分方程里的一阶线性方程、二阶常系数方程,也需要能独立求解;线性代数则主要用到内积、正交、特征值和线性方程组。读到通量与能量时,还会用到外法向、散度定理和 Green 公式,相关章节会说明它们怎样进入计算。
Fourier 级数不必已经很熟。第 4 章会从正弦模态和系数积分做起,第 7 章再把正交投影、收敛与模态展开连起来。不过这些地方得动笔:只有看懂最后的级数,不足以在换了初温之后自己求出系数。
开头会练习读方程:未知量依赖什么变量,信息沿哪条特征线到达一个点,哪些数据足以确定解。你会看到,特征线也可能会合;公式算到那里,不能假装光滑解还能照常延续。
热方程这一段从微元的热量收支开始。两端恒温、两端绝热、与环境换热,写出来的边界条件不同,最后允许的空间模态也不同。第 4 章会完整算过正弦展开、非零端点的处理和长时间衰减。换到弦振动时,我们保留已经熟悉的空间模态,重新求时间因子,并追踪初速度和端点反射带来的变化。
稳态问题不再问“后来怎样”,而是问给定边界能支持什么内部场。平均值性质、最大值原理和 Neumann 兼容条件,会帮助你在求解之前发现不可能成立的数据。后面再处理源项、时变边界和全空间热核,把前面看似整齐的模型向实际计算推进一些。
第 9 章会用能量估计讨论唯一性和扰动。第 10 章把方程放到网格上:显式法为什么会失稳,隐式法为什么仍有误差,网格加密究竟该比较哪个时刻。末章把这些工具放回建模情境,练习换热边界、内部热源、材料系数变化,以及一个候选解到底有没有满足题目的全部条件。
例如,把热方程实验的空间步长减半,却保持时间步不变,你觉得结果会更细致,还是可能突然失稳?把绝热端误写成零温端,长期温度又会怎样变化?这些都可以在实验里观察,也可以从正文的公式解释。我建议你写下一句预测,实际改动参数,再回头找造成差异的那一项。
有些推导值得分开读。第一次跟着守恒关系和边界走,确认符号从哪里来;另找一段时间,遮住解答把 Fourier 系数、能量分部积分或差分误差重新算出来。卡住时,具体找出自己漏了什么:是初速度,还是外法向的符号,或者把旧时间层和新时间层混用了。比起把整章从头扫一遍,这样回看通常更有针对性。
图片和交互能帮助你发现现象,但判断条件是否成立仍要靠计算。一条曲线没有爆炸,不代表它足够准确;一个点的方程残差为零,也不代表候选函数在整个区域都是解。每章的练习和展开解答会让你继续做这一步核对。
这里主要处理线性模型,并用一阶非线性例子说明特征方法何时失效。你会构造具体解、复现关键估计,并完成一维有限差分计算;一般弱解理论、复杂区域有限元和系统的非线性 PDE 理论,需要后续课程继续展开。
学完以后,再遇到一个温度场、振动或稳态问题,你应该能把模型和数据写完整,选择有依据的方法,并解释结果为什么值得相信。这是我们整门课一直要练的事。