KdV方程式
Substituting this into the Korteweg–de Vries equation and integrating gives the equation