  We show explicit forms for extremals of some fourth-order sharp trace
inequalities on the unit balls recently proved by Ache-Chang. We also give a
classification result of the bi-harmonic equation on $\mathbb{R}^4_+$ with some
conformally covariant boundary conditions.
