一维波动方程具有后效现象证明