M. Nakai and L. Sario, “Existence of bounded Dirichlet finite biharmonic functions”, Ann. Fenn. Math., no. 505, Jan. 1972.