Nekrasov方程式の正値解の一意性に対する数値的検証法

抄録

水面波の運動を記述したNekrasov方程式の正値解については、局所的な一意性は知られているものの、大域的に一意であるかは長い間未解決問題であった。
我々は数値的検証法を用いることによって、この方程式の正値解の大域的な一意性を証明する事ができた。