既に述べたように解空間の完備化、ソボレフ空間が必要になる>>359,>>198