Theoretical analysis and construction of numerical method for solving the Navier-Stokes equations in rotation form with corner singularity