三次元のナビエ-ストークス方程式に対して、任意の初期条件と適切な境界条件の下で、滑らかな解が常に存在するかどうかは確認されていますか？また、存在する場合、その解の挙動はどのように表現されますか？