1

凸関数がほとんど至るところ2回微分可能であることの証明 ④

20
0
$$$$

前回まで:
(1) 凸関数がほとんど至るところ2回微分可能であることの証明①
(2) 凸関数がほとんど至るところ2回微分可能であることの証明②
(3) 凸関数がほとんど至るところ2回微分可能であることの証明③

この記事は「$\mathbb{R}$上の凸関数はほとんど至るところ2回微分可能である」ことを示すためのものである。今回は前回の結果を用いて、1つの定理を証明する。

目次

1.準備
2.定理の証明

準備

$\mu$を1次元Lebesgue測度、$\mathscr{L}$$\mathbb{R}$のLebesgue可測な部分集合全体とする。今回は次の定理を示すことを目標とする。

$(\mathbb{R},\mathscr{L},\mu)$の局所可積分関数$f$を任意にとる。そこで
$$F(x):=\int_0^xf(y)dy(x\in\mathbb{R})$$
と定めると、
$$\lim_{h\to 0}\cfrac{F(x+h)-F(x)}{h}=f(x)$$
$\mu$-a.e.$x\in\mathbb{R}$で成り立つ。

$f$が連続であるときは、これはよく知られた定理である。証明には前回得た結果を使用する。

$(\mathbb{R},\mathscr{L},\mu)$の局所可積分関数$f$に対して、
$$\lim_{s,t\to +0}\frac{1}{s+t}\int_{x-s}^{x+t}f(y)dy=f(x)$$
$\mu$-a.e.$x\in\mathbb{R}$で成り立つ。

定理2の証明は 凸関数がほとんど至るところ2回微分可能であることの証明③ を参照。

定理の証明

定理1の証明

定理2より
$$x\in \mathbb{R}\setminus N\Longrightarrow\lim_{s,t\to +0}\frac{1}{s+t}\int_{x-s}^{x+t}(f(y)-f(x))dy=0$$
となる零集合$N$が存在する。そこで任意に$x\in\mathbb{R}\setminus N$をとる。

  • 任意の$h>0$に対して
    $$\lim_{s\to +0}\frac{1}{s+h}\int_{x-s}^{x+h}f(y)dy=\frac{1}{h}\int_x^{x+h}f(y)dy$$
    が成り立つ。実際、
    • $\displaystyle\lim_{s\to +0}\frac{1}{s+h}=\frac{1}{h},$
    • $\displaystyle\lim_{s\to+0}\left|\int_{x-s}^{x}f(y)dy\right|\leq\lim_{s\to +0}\int_{x-s}^x|f(y)|dy=0\quad(\because 単調収束定理)$

となるので、これは正しい。

  • 任意の$\varepsilon>0$に対して
    $$0< s,t<\delta\Longrightarrow \left|\frac{1}{s+t}\int_{x-s}^{x+t}(f(y)-f(x))dy\right|<\varepsilon$$
    となる$\delta>0$が存在する。このとき任意の$h\in(0,\delta)$に対して
    $$\left|\frac{F(x+h)-F(x)}{h}-f(x)\right|$$$$ =\left|\frac{1}{h}\int_x^{x+h}f(y)dy-f(x)\right|$$$$ =\left|\lim_{s\to+0}\frac{1}{s+h}\int_{x-s}^{x+h}f(y)dy-f(x)\right|$$$$ =\left|\lim_{s\to+0}\frac{1}{s+h}\int_{x-s}^{x+h}(f(y)-f(x))dy\right|$$$$\leq\varepsilon$$
    となる。よって
    $$\lim_{h\to+0}\frac{F(x+h)-F(x)}{h}=f(x)$$である。上と同様の議論によって
    $$\lim_{h\to+0}\frac{F(x)-F(x-h)}{h}=f(x)$$
    となることもわかるので、結局
    $$\lim_{h\to 0}\frac{F(x+h)-F(x)}{h}=f(x)$$
    である。

今回は終わり。
次回はLipschitz連続な関数$f$がa.e.で微分可能であることや、$$\bar{f_+'}(x)=\limsup_{h\to+0}\frac{f(x+h)-f(x)}{h}\quad(x\in\mathbb{R})$$と定めたときに
$$f(x)-f(0)=\int_{0}^x\bar{f_+'}(y)dy$$
となること等について議論する。
次回: 凸関数がほとんど至るところ2回微分可能であることの証明⑤

投稿日:202349

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

On
10
1805
指摘・コメントなどあればよろしくお願いします

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中