kdv方程解的性质