The initial condition v 0 ( x ) is assumed to be a smooth and divergence-free function (see smooth function) such that, for every multi-index α α (see multi-index notation) and any K > 0 , there exists a constant C = C ( α α , K ) > 0 such that