関数解析的な偏微分方程式ってどう??
ソボレフ空間で考えたりとか