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