常微分方程(ODE) 的时候我们更多是关于时间的导数。偏微分方程(partial differential equation) 则不仅仅是与时间相关,加上了与空间位置相关的一些信息。
解
当 ODE 满足 利普希茨连续(Lipschitz continuity),我们就可以有唯一解。但是 PDE 我们可能并没有这样好的性质,我们不知道它是否应该有解,很多时候也许我们就是用有限元方法(finite element method)来模拟,如果看到的结果还不错的话,我们就当这个就是它的解,o(╯□╰)o
运算符
首先需要搞清楚: 梯度、散度、旋度、拉普拉斯 运算符:
关于 梯度、散度、旋度 以及 拉普拉斯可以理很久,如果需要复习,可以参见之前我写过的两篇:
- 梯度旋度散度
- 梯度、散度、旋度
在 物理 有关的偏微分方程中,如果函数是 f(t; x, y, z), 当我们写到 nabla 运算符是
,是与 t 无关的。
纳维-斯托克斯方程 Navier-Stokes equations
Navier-Stokes equations 是大概做流体模拟的一个基础方程,是一个典型的 PDE 方程:
或者我们用 wikipedia 中的写法:
光看这个形式就很复杂了,是否可解这里光看式子就会想打上很多问号???所以克雷数学研究所的千禧年七大问题之一就是有关于 Navier-Stokes equations,
Prove or give a counter-example of the following statement:
In three space dimensions and time, given an initial velocity field, there exists a vector velocity and a scalar pressure field, which are both smooth and globally defined, that solve the Navier–Stokes equations.
价值 $1,000,000
其它的百万问题还包括:
- P vs NP