"u" はユークリッド空間r2で連続的微分可能であるとする。