A Weak Solvability of the Navier-Stokes Equation with Navier’s Boundary Condition Around a Ball Striking theWall