Title: Guaranteed estimation of Hadamard shape derivative for clustered eigenvalues

Abstract: This paper proposes a guaranteed computation method to evaluate the Hadamard shape derivative for repeated eigenvalues. The proposed method enables the investigation of the behavior of eigenvalue variations around repeated eigenvalues, and provides rigorous estimation for the range of the Hadamard shape derivative in the case of clustered eigenvalues.