“…We are thus left with the energy contributions of the smooth pieces of the boundary layer. There we can pass to boundary coordinates and use the same trick, i.e., a suitable integration by parts, involved in the proofs of our earlier results [CR2,CR3] and inspired by other works on rotating condensates (see, e.g., [CR1,CRY,CPRY1,CPRY2,CPRY3]).…”