Coating flow theory by finite element and asymptotic analysis of the navier-stokes system