Korteweg-de Vries方程式を調べます。これは、非線形微分方程式ですが、可積分であることが知られています。 1ソリトンの厳密解として、以下が知られています。確認してみましょう。 /* 6.2.3m */ u : -2*sech(x - 4*t)^2$ trigsimp(diff(u, t) - 6*u*diff(u…