Initial-boundary value problem of the Navier-Stokes system in the half space - Tongkeun Chang; Bum Ja Jin (2014)