>>750
>>746見た？

あと、この手の問題だと
「まず」広い空間で解の存在を保証したあとに、その後で滑らかさを示すってのが一般的な手法だよ

通常の意味で微分出来るかどうかはまた別の次の段階の問題になる