ナビエ−ストークス方程式の解の存在と滑らかさはどうやったら解決できますか?