The first equation determines linearly from :Substitution into the second equation gives an ordinary differential equation on the finite-dimensional space . Its right-hand side is polynomial, and therefore locally Lipschitz continuous. The Picard-Lindelof theorem supplies a unique local solution. The energy estimate in part (iii) bounds on every finite time interval, so the finite-dimensional continuation criterion rules out finite-time escape. The solution is consequently unique on every interval .
Articles by others on the same topic
There are currently no matching articles.