ナビエ-ストークス方程式の初等的弱解の存在と滑らかさと一意性および性質