mollifierでモリモリ(3 性質2)
こんにちは. 今回も引き続きmollifierの性質を書いていきますよ~性質についてはこの記事で最後になります!
Theorem2
をmollifierとし, とする. このとき,
\begin{eqnarray}
||\rho_\varepsilon \ast f - f||_{L^p(\mathbb{R}^N)} \to 0\ \ (\text{as}\ \varepsilon \downarrow 0).
\end{eqnarray}
Proof.
mollifierの定義より , であったから,
\begin{eqnarray}
|(\rho_\varepsilon \ast f)(x) - f(x)| &=& \left| \int_{\mathbb{R}^N} \rho_\varepsilon(y) \{f(x+y) - f(y) \}\ dy \right| \\
&=& \left|\int_{B(0,\varepsilon)} \rho_\varepsilon(y) \{f(x+y) - f(y) \}\ dy \right| \\
&\le& \left(\int_{B(0, \varepsilon)}\rho_\varepsilon(y)\ dy \right)^\frac{1}{q} \left( \int_{B(0,\varepsilon)} \rho_\varepsilon(y)|f(x+y) - f(y)|^p\ dy \right)^\frac{1}{p} \\
&=& \left(\int_{B(0, \varepsilon)} \rho_\varepsilon(y)|f(x+y) - f(y)|^p\ dy \right)^\frac{1}{p}.
\end{eqnarray}
これより,
\begin{eqnarray}
||\rho_\varepsilon\ast f - f||_p &\le& \int_{\mathbb{R}^N}\ \left( \int_{B(0, \varepsilon)} \rho_\varepsilon(y)|f(x+y) - f(x)|^p\ dy \right)\ dx \\
&=& \int_{B(0,\varepsilon)} \left( \int_{\mathbb{R}^N} \rho_\varepsilon(y) |f(x+y) - f(x)|^p\ dx \right)\ dy \\
&=& \int_{B(0,\varepsilon)} \rho_\varepsilon(y) ||T_yf - f||_p^p\ dy \\
&\le& \text{sup} \{||T_y f - f||_p^p\ ;\ |y| \lt \varepsilon \}.
\end{eqnarray}
のとき, 右辺は に近づく.□
今日はもうひとつ性質を取り上げます.
Proposition1
{\mathbb{R}^N} 上の可測関数 が任意の有界閉集合上で可積分であり, ある可測集合 の外ではa.e.に0であるとする. このとき, をmollifierとすると, 各 に対して, をみたす任意の について となる.
Proof.
が をみたすとする. このとき について, ならば である. また, であったから,
\begin{eqnarray}
(\rho_\varepsilon \ast f)(x) &=& \int_{\mathbb{R}^N} \rho_\varepsilon(x-y)f(y)\ dy \\
&=& \int_{\{|x-y| \lt \varepsilon \}} \rho_\varepsilon(x-y) f(y)\ dy \\
&=& 0.
\end{eqnarray}
よって示された.□
今回からHölderの不等式だとかFubiniの定理だとかはいちいちい言及していません. まあでもきっとこの記事を読んでる人なら十分に行間を埋められるスペックはお持ちだと思うのでぜひよろしくお願いします...
さてこれでようやく準備が整いました. 次回の記事では本題であった変分法の基本原理の証明を与えていきます. 今までよりもほんの少し煩雑な議論が出てきてしまいますがまあなんとかなるでしょう.
あと, ブログのリニューアルの目的が数学の記事をメインに据えたかったっていうのが一番だったんですけど, せっかくなんでほんの少しでもなにかくだらないことを描くかもしれません. Twitterに書くには長すぎるけど興味がある人には読んでもらって共感をもらいたい内容とか. もしそんな記事が出てきたら(興味のある方は)ぜひ読んでいただけたらと思います.
mollifierでモリモリ(2 性質その1)
前回の記事に引き続きmollifierについて扱っていきます. 今回は重要な性質をまとめます.
まずは性質のうち, 微分可能性について挙げます.
Theorem1
をmollifierとし, とする. このとき, 各 を固定したとき, と の畳み込み
\begin{eqnarray}
( \rho_\varepsilon \ast f)(x) := \int_{\mathbb{R}^N} \rho_\varepsilon(x-y)f(y)\ dy
\end{eqnarray}は 上の 級関数で, に対して となる.
mollifierは日本語ではしばしば軟化子とか呼ばれたりしますが名前の通りの良い性質ですね. 畳み込みが滑らかな近似になってくれるんですねえ.
一応証明を載せておきます.
Proof.
なる を取る. このときHölderの不等式から
\begin{eqnarray}
|(\rho_\varepsilon \ast f)(x)| &\le& \int_{\mathbb{R}^N} |\rho_\varepsilon(x-y)||f(y)|\ dy \\
&\le& ||f||_p\left( \int_{\mathbb{R}^N}|\rho_\varepsilon(x-y)|^q dy \right)^\frac{1}{q} .
\end{eqnarray}
右辺の積分は各 に対して有限の値を取ることから は有限の値を取る.
連続性については, , として
\begin{eqnarray}
\left|(\rho_\varepsilon \ast f)(x) - (\rho_\varepsilon \ast f)(x') \right| &=& \left| \int_{\mathbb{R}^N} \rho_\varepsilon(y)\{\check{f}(y-x) - \check{f}(y-x') \} \ dy\ \right| \\
&\le& ||\rho_\varepsilon||_q || T_x\check{f} - T_{x'}\check{f}||_p
\end{eqnarray}
となるから, Lebesgue積分の不変性を用いることでわかる.
次に の微分可能性を見る. 各 に対して を第 成分方向単位ベクトルとし, とする. このとき,
\begin{eqnarray}
\frac{1}{t} \{ (\rho_\varepsilon \ast f)(x + te_i) - (\rho_\varepsilon \ast f)(x) \} = \int_{\mathbb{R}^N} \frac{\rho_\varepsilon(x+te_i-y) - \rho_\varepsilon(x-y)}{t}f(y)\ dy .\tag{#}
\end{eqnarray}
ここで, 各, について, の範囲ではmollifierの定義から なる任意の に対して である. これより (#) の右辺の積分範囲は としてよい.
また, 平均値の定理から
\begin{eqnarray}
\left| \frac{\rho_\varepsilon(x+te_i -y) - \rho_\varepsilon(x-y)}{t} \right| \le \max \left\{ \left| \frac{\partial\rho_\varepsilon}{\partial x_i}(z) \right| ; |z-x| \le 1+\varepsilon \right\}.
\end{eqnarray}
であるから, 導関数の定義とLebesgueの優収束定理を用いれば,
\begin{eqnarray}
\lim_{t \to 0}\frac{1}{t}\{(\rho_\varepsilon \ast f)(x +te_i)- (\rho_\varepsilon \ast f)(x) \} &=& \int_{\mathbb{R}^N} \frac{\partial \rho_\varepsilon}{\partial x_i}(x-y)f(y)\ dy \\
&=& ((\partial_i \rho_\varepsilon) \ast f)(x).
\end{eqnarray}
ここで, もまた 級であり, であるから, 上の議論を繰り返すことができて, それより は 級であり, がわかる. □
不変性など, Lebesgue積分特有の性質を使って証明してるのは味わい深いです. 微分可能性については積分論の本などで積分記号下での微分について読んだことがある方ならもう少し簡略化できるかと思います. あとは畳み込みについても詳細な説明は省いていますが, ここではきちんと有限の値として存在していることを冒頭で示しているので許してください.
少しずつだけどはてなブログで数式を書くのにも慣れてきました. 次回はmollifierとの畳み込みが の関数を近似する性質について書きます. あと, 間違ってたらこっそり教えてください
mollifierでモリモリ(1 定義)
以前のブログがごちゃごちゃしていたけど新しい内容が書きたくなったのでこの度ブログをリニューアルしました. その記念じゃないけどはてなブログで数式を書く練習がてらにかねてからまとめたかったFriedrichsのmollifierについて書いておきます.
早速なんですけど定義をしておきましょう.
Def.(Firedrichsのmollifier)
上の無限回微分可能な非負関数 で, をみたすものを取る. この に対して, 連続なパラメータ を持つ
という関数の族 を(Friedrichsの)mollifierという.
さて定義したのはいいんですけど, そもそもこのような関数 が存在するか問題がありますね. まあ数強の方ならパパっとわかると思うのですが, ここでは例として次のようなものを上げておきます;
ただし, とします.
が有限の値を取ることや が 級であることは微分積分の内容なのでここでは割愛します. 松本先生の多様体の基礎なんかにも載ってます.
定義しかしてないというドチャクソうっすい内容ですが, 想像以上にはてなブログの編集に不慣れだったので今日はこのへんにしておきます...次回はmollifierの性質について書きます. 最終的にはこれらを使って解析学のとても重要な定理である変分法の基本補題を示します. すぐ書くかは定かではないので気になった方は是非ご自分で勉強してみてください.