无界区域唯一性定理建立在势函数渐近展开式的基础上。