概要前回に続き、単項式や一次関数といった簡単な代数関数の反復合成写像についての記事です。
前回:n回合成関数の基本的な定理や式【反復合成写像#1】
単項式◆式1
のとき、任意のについて、
とくに、
- のとき、
のとき、明らかに成り立つ。
のとき、が成り立つと仮定すると、
のとき、
よって成り立つ。 - のとき、
のとき、明らかに成り立つ。
のとき、が成り立つと仮定すると、
のとき、
よって成り立つ。 - のとき、は明らかに成り立つ。
- かつの逆関数が存在するとき、
のとき、より、成り立つ。
のとき、が成り立つと仮定すると、
のとき、
よって、成り立つ。 - かつの逆関数が存在するとき、
のとき、より、成り立つ。
のとき、が成り立つと仮定すると、
のとき、
よって、成り立つ。
ここからは、について成り立つものとして、これを用います。
- のとき、とすると、
より、
よって、
また、
したがって、についても成り立つ。 - のとき、とすると、
より、
よって、
また、
したがって、についても成り立つ。
同様の係数と指数を比較する方法での証明がcbrtxさんの記事合成関数の逆操作についてにも載っているので、ぜひご覧ください。
一次関数◆式2
のとき、任意のについて、
同様に数学的帰納法を用いてもいいですが、代わり映えがしないので高校数学の二項間漸化式を用いてみようと思います。
- のとき、
は、初項、漸化式を満たす。
したがって、とすれば、
は、初項
公比の等比数列となる。
よって、
が示された。 - のとき、
は、初項、漸化式を満たす。
したがって、
が示された。 - のとき、は明らかに成り立つ。
- のとき、
は、初項、漸化式を満たす。
したがって、とすれば、
は、初項
公比の等比数列となる。
よって、
より、についても成り立つ。 - のとき、
は、初項、漸化式を満たす。
したがって、
より、についても成り立つ。 - のとき、とすると、
より、
よって、
また、
したがって、についても成り立つ。 - のとき、とすると、
より、
よって、
また、
したがって、についても成り立つ。
◆式3
のとき、任意のについて、
乗根が乗されるので、一次関数の反復合成と同様の仕組み(というかのとき一次関数に一致するので一般化)であることがわかります。証明は数学的帰納法を用いれば一次関数の場合と同様にできると思います。
高次関数次は二次関数について考えていきたいところですが、回合成関数はからは計算したくないほど項が多くなり、関数的平方根はの形が出てきてしまい、どちらも一次関数のときと同様の方法では求めるのが至難の業です。
ちなみに、一次関数では漸化式を用いた方法を紹介しましたが、二次関数の回合成関数を求めることは漸化式の一般項を求めることに等しいため、その難しさがわかります。前に興味があって調べたんですが、三角関数の倍角が使える形など特殊な形でない限り、二次の漸化式を解くことはできないと考えられていて、漸化式の可解性についてのガロア理論のようなものの研究が進められているようです。
関数的平方根は、四次や九次など、次数が平方数の関数なら求められそうな気もしますが、単項式や一次関数の場合に有効な「考えうる関数的平方根の形をおいて、それを2回合成して係数や指数を比較する」という方法を用いても係数が足りず、もとの関数のいくつかの係数が他の係数に依存してしまいます。別の方法を考え中です。
◆例
のとき、
のとき、
(前回の続き)一般合成不動点定理◆定理 一般合成不動点定理
が唯一の解を持つならば、
◆予想 第二一般合成不動点定理
が個の解を持つならば、
前回は上の方を証明し、下の方はの場合のみ同様の方法で証明できそうなことがわかりました。今回は数学的帰納法を用いて、の場合のみを証明できればについて成り立つといえることを証明します。
のとき、について、
のとき、が成り立つと仮定すると、
のとき、のときに限り、
関数的指数法則より、はの回合成を回繰り返すことに等しく、はの回合成を回繰り返し-1回合成を1回繰り返す(逆関数をとる)ことに等しい。
の回合成は仮定よりに等しい。
の-1回合成は、の逆関数が存在するとき、とすると、逆関数の定義より、なので、前提よりに等しい。
よって、これらの合成を無限回繰り返しても常にとなる。
したがって、のとき成り立つと仮定すれば、のときも成り立つ。
()のときが証明できれば、数学的帰納法よりが証明でき、それの回合成は一般合成不動点定理よりやはりに一致するので、が唯一の解であることを使わずにについても証明できたことになります。したがって、の解が複数個に増えても、全く同様に証明できるはずです。(恐らく、自信がない)
後書き次回:もう少々お待ち下さい