隐式时间离散

• $\theta$-scheme
  • implicit Euler scheme
  • Crank-Nicolson method
  • fractional-step $\theta$-scheme
• BDF2 scheme

对方程进行时间离散需要考虑数值格式的相容性、稳定性、光滑性、耗散性。

存在唯一性