Explicit and sharp two-sided estimates for the killed Langevin process

We prove explicit and sharp two-sided estimates for the transition density of the Langevin process with quadratic potential, killed outside of the position interval (0,1). The long-time asymptotics of this transition density are also obtained. In particular, this allows us to show that the killed semigroup is uniformly conditionally ergodic.