Global weak solutions with higher regularity to the compressible isentropic Navier-Stokes equations in the half-plane under a slip boundary condition | Synapse