ロジスティック写像と漸化式

更新 2024/10/05

一般項を求めるのが難しそうな漸化式を，三角関数を用いて求めることができる例を2つ紹介します。

ロジスティック写像

関数
f(x)=Ax(1−x)f(x)=Ax(1-x)f(x)=Ax(1−x)
 をロジスティック写像といいます。
ロジスティック写像は人口の推移を表す単純なモデルです。その場合，AAA
は繁殖率を表します。
ロジスティック写像は簡単な関数でありながら「カオス」という複雑な挙動を示す興味深い関数です。カオス現象の知識を入試で問われることはありませんが，応用上重要な関数なので工学系の先生方が入試のテーマにしたくなるのではないかと思います。
今回は漸化式がテーマなので，ロジスティック写像に対応する漸化式：
an+1=Aan(1−an)a_{n+1}=Aa_n(1-a_n)an+1​=Aan​(1−an​)
を考えます。一般にこの漸化式は解けませんが，A=4A=4A=4
 で初項
a1a_1a1​
 が
0≤a1≤10\leq a_1\leq 10≤a1​≤1
 を満たす場合には一般項を簡単な式で表すことができます。頭の体操になるので答えを見る前に考えてみてください！

A=4の場合の漸化式の一般項

方針

漸化式 $a_{n+1} = 4 a_n (1-a_n)$ は， $a_1=\sin^2\theta$ と置くと倍角公式が出現してうまくいきます。知らないと厳しい問題です。

解法

$0\leq a_1\leq 1$ のとき，

$a_1=\sin^2\theta$ とおけて，

$\begin{aligned} a_2&=4\sin^2\theta(1-\sin^2\theta)\\ &=(2\sin\theta\cos\theta)^2\\ &=\sin^2(2\theta) \end{aligned}$

以下同様にして $a_n=\sin^2(2^{n-1}\theta)$ が示せる（厳密には数学的帰納法で証明できる）。

※倍角の公式を使うためには $A=4$ であることと初項が $0$ 以上 $1$ 以下であることが必要です。

次に，似たような漸化式をもう1つ紹介します。

三角関数を用いた漸化式の解法

問題

$a_n=\sqrt{\dfrac{1+a_{n-1}}{2}}$ ， $-1\leq a_1\leq 1$ のとき数列の一般項 $a_n$ を簡単な式で表わせ。

方針

漸化式の形を見て $\cos$ の半角の公式を思いつきたいです。

解答

$a_1=\cos\theta\:(0\leq \theta\leq \pi)$ とおくと，

$\begin{aligned} a_2&=\sqrt{\dfrac{1+\cos\theta}{2}}\\ &=\cos\dfrac{\theta}{2} \end{aligned}$

ただし， $\cos\dfrac{\theta}{2}\geq 0$ であることを用いた。

以下同様にして $a_n=\cos\dfrac{\theta}{2^{n-1}}$ が示せる（厳密には帰納法）。

追記：北大の入試問題

2010年北大理系で上記の問題と本質的に同じ問題が出題されていました。（教えてくださった読者の方ありがとうございました！）
問題
正の実数
rrr
 と
−π2<θ<π2-\dfrac{\pi}{2}<\theta <\dfrac{\pi}{2}−2π​<θ<2π​
 の範囲の実数
θ\thetaθ
 に対して
a0=rcos⁡θ,b0=ra_0=r\cos\theta,b_0=ra0​=rcosθ,b0​=r
 とおく。
an,bna_n,b_nan​,bn​
 を漸化式
an=an−1+bn−12a_n=\dfrac{a_{n-1}+b_{n-1}}{2}an​=2an−1​+bn−1​​，bn=anbn−1b_n=\sqrt{a_nb_{n-1}}bn​=an​bn−1​​
 により定める
（1）a1b1,a2b2\dfrac{a_1}{b_1},\dfrac{a_2}{b_2}b1​a1​​,b2​a2​​
 を
θ\thetaθ
 で表わせ。
（2）anbn\dfrac{a_n}{b_n}bn​an​​
 を
nnn
 と
θ\thetaθ
 で表わせ。
（3）θ≠0\theta\neq 0θ=0
 のとき
lim⁡n→∞an=lim⁡n→∞bn=rsin⁡θθ\displaystyle\lim_{n\to\infty}a_n=\lim_{n\to\infty}b_n=\dfrac{r\sin\theta}{\theta}n→∞lim​an​=n→∞lim​bn​=θrsinθ​
 を示せ。
数列 {anbn}\left\{ \dfrac{a_n}{b_n} \right\}{bn​an​​} が満たす漸化式を計算してみましょう。
anbn=an−1+bn−12×1an−1+bn−12bn−1=an−1+bn−12×1bn−1=an−1bn−1+12\begin{aligned}
\dfrac{a_n}{b_n} &= \dfrac{a_{n-1}+b_{n-1}}{2} \times  \dfrac{1}{\sqrt{\dfrac{a_{n-1}+b_{n-1}}{2} b_{n-1}}}\\
&= \sqrt{\dfrac{a_{n-1}+b_{n-1}}{2} \times \dfrac{1}{b_{n-1}}}\\
&= \sqrt{\dfrac{\dfrac{a_{n-1}}{b_{n-1}}+1}{2}}
\end{aligned}bn​an​​​=2an−1​+bn−1​​×2an−1​+bn−1​​bn−1​​1​=2an−1​+bn−1​​×bn−1​1​​=2bn−1​an−1​​+1​​​
（1）の計算結果と前節の例を元にすると，anbn=cos⁡θ2n\dfrac{a_n}{b_n}=\cos\dfrac{\theta}{2^n}bn​an​​=cos2nθ​
 が分かります。
※実は，anbn=cn\dfrac{a_n}{b_n}=c_nbn​an​​=cn​
 とおいて与えられた漸化式から
cnc_ncn​
 の漸化式を求めると
cn=1+cn−12c_n=\sqrt{\dfrac{1+c_{n-1}}{2}}cn​=21+cn−1​​​
 となるので本質的にはさきほどと同じ問題です。
（3）わりと難しい問題です。
bnb_nbn​
 の一般項を求めてからサインの倍角公式を繰り返し用いると証明できます。
bn=rcos⁡θ2cos⁡θ22⋯cos⁡θ2n=rsin⁡θθ
b_n=r\cos\dfrac{\theta}{2}\cos\dfrac{\theta}{2^2}\cdots\cos\dfrac{\theta}{2^n}=\dfrac{r\sin\theta}{\theta}
bn​=rcos2θ​cos22θ​⋯cos2nθ​=θrsinθ​
ana_nan​
 も同様。
※これはヴィエトの無限積の公式で紹介したオイラーの公式を知っていれば一発です！
北大の入試問題だけでなく，2006年の九州大学，2008年の東京医科歯科大学，2009年の新潟大学でも同様な問題が出題されていました。頻出のテーマのようです。
Tag:漸化式の解き方11パターンと応用例まとめ

この記事の監修者

マスオ

高校数学の美しい物語の管理人。「わかりやすいこと」と「ごまかさないこと」の両立を意識している。著書に『高校数学の美しい物語』『超ディープな算数の教科書』。記事の誤植やわかりにくい等のご指摘はお気軽にメールください！