抄録
A linear stability analysis of interfacial instability induced by turbulent flow on the ice surface is performed by the use of the Reynolds-averaged Navier-Stokes equations incorporated with the mixing length turbulent model, the heat transfer equations in ice and flow,and the Stefan condition to describe the time evolution of the ice surface.It is found from the analysis that, if the outside air temperature is higher than the melting point and the ice bottom temperature is lower than the melting point, antidune-like boundary waves are formed on the ice surface while, if the outside air temperature is lower than the melting point,dune-like boundary waves are formed on theice surface.
