Moreover, for the analytic solutions, one can prove an energy estimate on an analyticity region that shrinks when time increases. That energy estimate implies uniqueness in the class of analytic solutions. [1]}. Therefore, the investigation towards analyticity can serve as a first step to deal with the uniqueness.
