Lineare Rekursion mit konstanten Koeffizienten

Lineare Rekursion mit konstanten Koeffizienten

Studium
an=p an−1+q an−2  ⇒  an=c1λ1n+c2λ2na_n = p\,a_{n-1} + q\,a_{n-2} \;\Rightarrow\; a_n = c_1 \lambda_1^{n} + c_2 \lambda_2^{n}

Voraussetzung: p,q∈R,p, q \in \mathbb{R}, q≠0,q \neq 0, λ1≠λ2\lambda_1 \neq \lambda_2 Lösungen von λ2=pλ+q,\lambda^2 = p\lambda + q, n≥2n \geq 2 in der Rekursion

ana_n
n-tes Folgenglied
p,qp, q
konstante Koeffizienten der Rekursion
λ1,λ2\lambda_1, \lambda_2
verschiedene Lösungen der charakteristischen Gleichung λ² = pλ + q, eventuell komplex
c1,c2c_1, c_2
Konstanten, die aus den Startwerten a₀ und a₁ bestimmt werden

Eine lineare Rekursion zweiter Ordnung löst man über die Nullstellen der charakteristischen Gleichung λ² = pλ + q.

Erklärung

Eine lineare Rekursion zweiter Ordnung mit konstanten Koeffizienten hat die Form an=p an−1+q an−2a_n = p\,a_{n-1} + q\,a_{n-2}. Mit zwei Startwerten a0a_0, a1a_1 ist die Folge eindeutig festgelegt. Gesucht ist eine explizite Formel für ana_n.

Lösungsweg:

  1. Ansatz an=λna_n = \lambda^n einsetzen und durch λn−2\lambda^{n-2} teilen. Es entsteht die charakteristische Gleichung λ2=pλ+q\lambda^2 = p\lambda + q, also λ2−pλ−q=0\lambda^2 - p\lambda - q = 0.
  2. Die Nullstellen λ1,λ2\lambda_1, \lambda_2 bestimmen, z.B. mit der pq-Formel.
  3. Verschiedene Nullstellen: an=c1λ1n+c2λ2na_n = c_1 \lambda_1^n + c_2 \lambda_2^n. Doppelte Nullstelle λ\lambda: an=(c1+c2n) λna_n = (c_1 + c_2 n)\,\lambda^n.
  4. c1c_1 und c2c_2 aus den Startwerten a0a_0 und a1a_1 bestimmen (lineares Gleichungssystem).

Warum das funktioniert: Mit zwei Lösungen ist auch jede Linearkombination eine Lösung (Linearität), und zwei Konstanten reichen, um beliebige Startwerte zu treffen. Bei komplexen Nullstellen λ1,2=r e±iθ\lambda_{1,2} = r\,e^{\pm i\theta} kann man reell als an=rn(c1cos⁡(nθ)+c2sin⁡(nθ))a_n = r^n \left(c_1 \cos(n\theta) + c_2 \sin(n\theta)\right) schreiben.

Das Verfahren überträgt sich auf Ordnung kk: Die charakteristische Gleichung hat dann Grad kk, und eine mm-fache Nullstelle liefert die Terme λn,nλn,…,nm−1λn\lambda^n, n\lambda^n, \ldots, n^{m-1}\lambda^n.

Beispiele

Verschiedene Nullstellen: an=5an−1−6an−2a_n = 5a_{n-1} - 6a_{n-2} mit a0=1a_0 = 1, a1=4a_1 = 4.

Charakteristische Gleichung: λ2−5λ+6=0\lambda^2 - 5\lambda + 6 = 0, also λ1=2\lambda_1 = 2, λ2=3\lambda_2 = 3. Aus c1+c2=1c_1 + c_2 = 1 und 2c1+3c2=42c_1 + 3c_2 = 4 folgt c1=−1c_1 = -1, c2=2c_2 = 2:

an=2⋅3n−2na_n = 2 \cdot 3^n - 2^n

Probe: Rekursiv ist a2=5⋅4−6⋅1=14a_2 = 5 \cdot 4 - 6 \cdot 1 = 14 und a3=5⋅14−6⋅4=46a_3 = 5 \cdot 14 - 6 \cdot 4 = 46. Die Formel liefert 2⋅9−4=142 \cdot 9 - 4 = 14 und 2⋅27−8=462 \cdot 27 - 8 = 46.

Doppelte Nullstelle: an=4an−1−4an−2a_n = 4a_{n-1} - 4a_{n-2} mit a0=1a_0 = 1, a1=4a_1 = 4. Aus λ2−4λ+4=(λ−2)2\lambda^2 - 4\lambda + 4 = (\lambda - 2)^2 folgt an=(c1+c2n) 2na_n = (c_1 + c_2 n)\,2^n. Startwerte: c1=1c_1 = 1 und (1+c2)⋅2=4(1 + c_2) \cdot 2 = 4, also c2=1c_2 = 1:

an=(1+n) 2na_n = (1 + n)\,2^n

Probe: a2=4⋅4−4⋅1=12=3⋅4a_2 = 4 \cdot 4 - 4 \cdot 1 = 12 = 3 \cdot 4.

Typische Fehler

  • Vorzeichen in der charakteristischen Gleichung. Aus an=5an−1−6an−2a_n = 5a_{n-1} - 6a_{n-2} wird λ2−5λ+6=0\lambda^2 - 5\lambda + 6 = 0, nicht λ2+5λ−6=0\lambda^2 + 5\lambda - 6 = 0.
  • Bei doppelter Nullstelle nur c λnc\,\lambda^n ansetzen. Dann reicht eine Konstante nicht für zwei Startwerte. Der Faktor nn beim zweiten Term ist nötig.
  • Konstanten mit a1,a2a_1, a_2 statt a0,a1a_0, a_1 bestimmen, aber nn ab 00 zählen. Die Gleichungen für c1,c2c_1, c_2 müssen zu den Indizes der gegebenen Startwerte passen.

Verwandte Formeln