合成関数の極限に関する一考察

初めに

一変数実微分積分学の初歩程度の知識を仮定しています。

主張

$a>a^{\prime }$を実数とする。関数$f(x)$は$[a^{\prime },a]$で定義されており、関数$f(x)$は以下5つの性質をもつものとする。

1. ある$b\in (a^{\prime },a)$が存在して、$f(b)=b$

2. $b\in (a^{\prime },a)$上$f$は二回微分可能である。

3. $f^{\prime }(b)=1$

4. $f^{\prime \prime }(b)<0$

5. $f^{\prime \prime }$は$x=b$で右連続である。

このとき、テイラーの定理より、任意の$x\in (b,a)$に対し、ある$c_x\in (b,x)$が存在して、$$f(x)=f(b)+f^{\prime }(b)(x-b)+\frac{f^{\prime \prime }(c_x)}{2}(x-b{)}^2$$よって、仮定(2)から連続性よりある実数$d\in (b,a)$が存在して、$x\in (b,d)\Rightarrow f^{\prime }(x)>0\wedge f^{\prime \prime }(x)<0$であり、仮定(1)と合わせて$x\in (b,d)$に対し
$$f(x)-b=x-b+\frac{f^{\prime \prime }(c_x)}{2}(x-b{)}^2\cdots (p)$$を得る。これより仮定(4)から
$$(x-b)-(f(x)-b)=-\frac{f^{\prime \prime }(c_x)}{2}(x-b{)}^2>0$$ である。

次に、$n$を任意の自然数として、$x\in (b,d)$に対し、　$$f^{\circ 1}(x)=f(x),f^{\circ (n+1)}(x)=f\circ f^{\circ n}(x)$$により再帰的に$f^{\circ n}$を定める。(2)および(p)で得られた結論より、$x\in (b,d)$に対し
$$f(b)-b<f(x)-b<x-b\therefore b<f(x)<x\cdots (q)$$が得られ、この定義はwell-definedである。 このもとで、$x\in (b,d)$を任意に一つ固定して、極限
$$\underset{n\to \mathrm{\infty }}{lim}n\cdot (f^{\circ n}(x)-b)$$ を考えると、これは
$$-\frac{2}{f^{\prime \prime }(b)}$$に収束する。この命題を以下の手順で証明する。

以降指定がなければ$x\in (b,d)$とし、$c_x$はテイラーの定理により存在が保証されているので各$x$に対し適当に一つを選び関数$c(x)$で表記する。具体的には、各$x\in (b,d)$に対し集合
$$C(x)=\{c|f(x)=f(b)+f^{\prime }(b)(x-b)+\frac{f^{\prime \prime }(c)}{2}(x-b{)}^2\wedge c\in (b,x)\}$$を考え、その直積 $$\prod _{x\in (b,d)}C(x)$$を考えると、各$C(x)$は先述の議論により空ではないので、選択公理より
$$\prod _{x\in (b,d)}C(x)$$は空ではない。この元を一つ（どれでもよい）とり、それを$c(x)$とする。

証明

補足

「連続性よりある実数$d\in (b,a)$が存在して、$x\in (b,d)\Rightarrow f^{\prime }(x)>0\wedge f^{\prime \prime }(x)<0$」

の部分について補足します。

(2)の仮定より$f^{\prime }(x),f^{\prime \prime }(x)$は$x=b$で右連続です。　したがって、
$\mathrm{\forall }{\epsilon }_1>0,\mathrm{\exists }{\delta }_1>0,\mathrm{\forall }x\in (a^{\prime },a),0<x-b<{\delta }_1\Rightarrow |f^{\prime }(x)-f^{\prime }(b)|<{\epsilon }_1$
$\mathrm{\forall }{\epsilon }_2>0,\mathrm{\exists }{\delta }_2>0,\mathrm{\forall }x\in (a^{\prime },a),0<x-b<{\delta }_2\Rightarrow |f^{\prime \prime }(x)-f^{\prime \prime }(b)|<{\epsilon }_2$
(3),(4)より
${\epsilon }_1\le 1,{\epsilon }_2\le -f^{\prime \prime }(b)$に対し、対応する${\delta }_1,{\delta }_2$をとり、$\delta =min({\delta }_1,{\delta }_2)$と置くと、任意の$x\in (b,b+\delta )$に対し、$$f^{\prime }(x)>f^{\prime }(b)-{\epsilon }_1\ge 0$$$$f^{\prime \prime }(x)<f^{\prime \prime }(b)+{\epsilon }_2\le 0$$となる。$d=b+\delta$ととることで求める$d$が得られます。鉤括弧内の記述はこの一連の操作を指します。

最後に

無駄な計算が非常に多いことがわかったので大幅に書き直しました。
(4)と$(5)$の仮定は「$f^{\prime \prime }(x)$は$x=b$における右極限が存在して、その値は負である。」に変えても問題ないです。この場合$f^{\prime \prime }(b)$をその右極限に置き変えてください。
ちなみに(4)の符号を変えても同じような議論が可能です。