证明了由于１９６８年提出的修正的Ｎａｖｉｅｒ─Ｓｔｏｋｅｓ方程可产生一个作用于一可分的Ｈｉｌｂｅｒｔ空间Ｈ上的单参数半群｛Ｖ＿ｔ｝，算子Ｖ＿ｔ于ｔ＞０连续，于ｔ＞０紧。给出了｛Ｖ＿ｔ｝成为连续半群的充分条件。证......