楕円型作用素の弱解の正則性の話って、関数論の人は全然知らんのか？
幾何の人の方が詳しいぞ