Xs7 - Second order homogeneous recurrences

Xs7 - Second order homogeneous recurrences

Solve second order homogeneous recurrences using an auxiliary equation. Handle distinct, repeated and complex roots, and use two sequence values to determine the constants.

Two roots, two geometric sequences

The sequence begins 3,0,−6,−18,…3,0,-6,-18,\ldots, with each term equal to three times the previous term minus twice the term before it. Can two geometric sequences be hiding inside that list?

They can. A second order linear recurrence can combine two geometric patterns even when the combined sequence has no fixed ratio.

You already know

First order homogeneous recurrences have solutions CrnCr^n. In Core Pure, auxiliary equations identified the solution families of second order differential equations. Here the variable is an integer index and the basic solution is rnr^n, rather than erxe^{rx}.

Work with the recurrence as given. For Aun+2+Bun+1+Cun=0Au_{n+2}+Bu_{n+1}+Cu_n=0, substitute un=rnu_n=r^n to obtain

rn(Ar2+Br+C)=0.r^n(Ar^2+Br+C)=0.

The quadratic factor is the auxiliary equation. This also explains why the coefficients stay in their original order.

Distinct real roots

For a genuine second order recurrence with constant coefficients, if its auxiliary equation has distinct non-zero real roots r1,r2r_1,r_2, the general solution is

un=Ar1n+Br2n.u_n=Ar_1^n+Br_2^n.

The letters A,BA,B here are arbitrary constants. Use two independent sequence conditions to select a particular solution.

Not in the formula booklet: learn it.

A zero auxiliary root needs care at the starting index: the 0n0^n component represents an independently chosen initial term followed by zeros. It is safer to obtain that starting term directly than to write an undefined 000^0. The examples below have non-zero roots.

Worked example 1: uncovering two powers

Question. Solve un+2−3un+1+2un=0u_{n+2}-3u_{n+1}+2u_n=0, for n≥0n\ge0, with u0=3u_0=3, u1=0u_1=0.

Plan. Find the two auxiliary roots and apply both conditions to their sum.

r2−3r+2=(r−1)(r−2)=0auxiliary equationun=A+B2ngeneral familyA+B=3,A+2B=0conditions at 0,1B=−3,A=6subtract and solve\begin{aligned} r^2-3r+2&=(r-1)(r-2)=0 && \text{auxiliary equation}\\ u_n&=A+B2^n && \text{general family}\\ A+B&=3,\quad A+2B=0 && \text{conditions at }0,1\\ B&=-3,\quad A=6 && \text{subtract and solve} \end{aligned}

Why this step? Each starting value constrains the complete sum; neither constant is determined by a condition in isolation.

Answer. un=6−3 2nu_n=6-3\,2^n.

Check. It gives u0=3u_0=3, u1=0u_1=0, u2=−6u_2=-6. The two roots make the recurrence residual zero separately, so their sum does too.

Change only the middle coefficient from −3-3 to −1-1 and the final coefficient from 22 to −2-2, so the positive root 11 is replaced by the negative root −1-1. Keep the same initial values.

Worked example 2: one root is negative

Question. Solve vn+2−vn+1−2vn=0v_{n+2}-v_{n+1}-2v_n=0, v0=3v_0=3, v1=0v_1=0.

Plan. Preserve the negative root inside the powered base.

r2−r−2=(r−2)(r+1)=0new auxiliary equationvn=A2n+B(−1)ngeneral familyA+B=3,2A−B=0same initial values3A=3  ⟹  A=1,B=2add equations\begin{aligned} r^2-r-2&=(r-2)(r+1)=0 && \text{new auxiliary equation}\\ v_n&=A2^n+B(-1)^n && \text{general family}\\ A+B&=3,\quad2A-B=0 && \text{same initial values}\\ 3A&=3\implies A=1,\quad B=2 && \text{add equations} \end{aligned}

Why this step? The term B(−1)nB(-1)^n alternates. Writing −B-B would remove that root's behaviour.

Answer. vn=2n+2(−1)nv_n=2^n+2(-1)^n.

Check. v2=6v_2=6, agreeing with v2=v1+2v0=6v_2=v_1+2v_0=6. Also v1=2−2=0v_1=2-2=0.

The deliberate change is the sign of one root. It changes the oscillating component while retaining the geometric component 2n2^n.

Watch out

Wrong for root −1-1: use a constant term −B-B. Right: use B(−1)nB(-1)^n. The sign changes with the index.

Retain the negative powered base in this new pair of roots.

A repeated root needs a new factor

Writing Arn+BrnAr^n+Br^n gives only one effective constant. A repeated root needs a second independent shape, nrnnr^n.

Repeated non-zero root

If the auxiliary equation has a repeated non-zero root rr, then

un=(A+Bn)rn.u_n=(A+Bn)r^n.

Both rnr^n and nrnnr^n satisfy the recurrence. Two conditions determine AA and BB.

Not in the formula booklet: learn it.

For example, substitution into un+2−2run+1+r2unu_{n+2}-2ru_{n+1}+r^2u_n gives the factor

(n+2)−2(n+1)+n=0(n+2)-2(n+1)+n=0

for the nrnnr^n component. The second solution is therefore a consequence of the recurrence, not a guess based only on resemblance to differential equations.

Worked example 3: a repeated positive root

Question. Solve un+2−4un+1+4un=0u_{n+2}-4u_{n+1}+4u_n=0, u0=1u_0=1, u1=6u_1=6.

Plan. Identify the squared factor and use the repeated-root family.

r2−4r+4=(r−2)2=0repeated rootun=(A+Bn)2ngeneral solutionA=1,2(A+B)=6initial conditionsB=2solve\begin{aligned} r^2-4r+4&=(r-2)^2=0 && \text{repeated root}\\ u_n&=(A+Bn)2^n && \text{general solution}\\ A&=1,\quad2(A+B)=6 && \text{initial conditions}\\ B&=2 && \text{solve} \end{aligned}

Why this step? The coefficient at n=1n=1 is A+BA+B, but the whole expression is also multiplied by 22.

Answer. un=(1+2n)2nu_n=(1+2n)2^n.

Check. u2=5(4)=20u_2=5(4)=20, while the recurrence gives 4(6)−4(1)=204(6)-4(1)=20.

Change only the root's sign, from 22 to −2-2, by changing the middle coefficient. Keep both starting values.

Worked example 4: a repeated negative root

Question. Solve vn+2+4vn+1+4vn=0v_{n+2}+4v_{n+1}+4v_n=0, v0=1v_0=1, v1=6v_1=6.

Plan. Use (A+Bn)(−2)n(A+Bn)(-2)^n, including its sign when n=1n=1.

r2+4r+4=(r+2)2=0repeated root −2vn=(A+Bn)(−2)ngeneral solutionA=1,−2(A+B)=6initial conditionsA+B=−3  ⟹  B=−4solve\begin{aligned} r^2+4r+4&=(r+2)^2=0 && \text{repeated root }-2\\ v_n&=(A+Bn)(-2)^n && \text{general solution}\\ A&=1,\quad-2(A+B)=6 && \text{initial conditions}\\ A+B&=-3\implies B=-4 && \text{solve} \end{aligned}

Why this step? The same positive value v1=6v_1=6 now requires a negative linear factor at n=1n=1, because the powered base contributes −2-2.

Answer. vn=(1−4n)(−2)nv_n=(1-4n)(-2)^n.

Check. v2=−7(4)=−28v_2=-7(4)=-28, agreeing with v2=−4(6)−4(1)v_2=-4(6)-4(1).

Continue this lesson.

You’re previewing NovaLearn without an account. Create a free account to read the rest.

Create free account