このサイトは学部では早稲田で物理を, 修士では東大で数学を専攻し, 今も非アカデミックの立場で数学や物理と向き合っている一市民の奮闘の記録です. 運営者情報および運営理念についてはこちらをご覧ください.

理系のための総合語学・リベラルアーツの視点から数学・物理・プログラミング・語学 (特に英語) の情報を発信しています. コンテンツアーカイブに見やすくまとめているのでぜひご覧ください.

今ちょっと微分方程式をもう少しきっちりやってみよう月間で
Evans の Partial Differential Equations を読んでいる.

流し読みして様子を見ているのだが,
P.280 からの Sobolev 空間の元の可微分性の特徴づけのところで
メモしておきたいことがあったのでブログにもメモをしておく.

それは P.280 Theorem 5 と P.281 Theorem 6 (Rademacher) だ.
次元 \(n\) が十分大きいとき (Sobolev 不等式で決まる定数だったはず),
\(u \in W^{1,p}_{\mathrm{loc}} (U)\) はほとんどいたるところ微分可能であること,
特に Lipschitz 連続な関数はほとんどいたるところ微分可能であることだ.

いったんメモとして証明は書かずにおくが,
そのうち動画にして証明もまとめたい.