微分方程式
f'(x) + 2k^2f(x)^2 - f(x)^4 -k^4 = 0
の解が
f(x) = ±k tanh(kx)exp(-2ik^2t)
になることを示そうと思ったけど挫折した。
どなたかオナシャス