We prove, under some geometrical condition on geodesic flow, exponential
stabilization of wave equation with Zaremba boundary condition. We prove an
estimate on the resolvent of semigroup associated with wave equation on the
imaginary axis and we deduce the stabilization result. To prove this estimate we
apply semiclassical measure techniques. The main difficulties are proving that
support of measure is in characteristic set in a neighborhood of the jump in the
boundary condition and proving results of propagation in a neighborhood of a
boundary point where Neumann boundary condition is imposed. In fact a lot of
results applied here are proved in previous articles; these two points are new.
