偏微分方程式も解の存在の問題は解決しているのですか?