Recursive sequence and limiting value
Recursively defined sequences appear throughout the HSC Sequences and Series topic, and proving their convergence requires more than just finding a limit numerically. In this problem we use a fixed-point equation to identify a candidate limit, then build a contraction inequality to give a rigorous, epsilon-free proof that the sequence indeed converges. You’ll walk away with a powerful two‑step method – solve the steady-state equation, then bound the error – that works for many rational recursions, including those linked to continued fractions.
Problem Statement
Let be defined by
- Find exact values of .
- Assuming , show that .
- Prove that
and deduce that for ,
- Hence show .
Solutions
(i)
We start by computing the next few terms directly from the recurrence.
For , we have because each term is with positive second part.
(ii)
If the sequence converges to a limit , then as , both and approach , so the recurrence becomes the fixed‑point equation for .
Taking limits in the recurrence gives
So . Since terms are positive and from , we take
(iii)
To obtain a contraction inequality, we subtract the fixed‑point equation from the recurrence:
thus
Now and for , so . Hence
(iv)
The contraction factor guarantees that the error shrinks by at least a factor of each step from onward. Repeatedly applying the inequality gives geometric decay of the error:
Therefore .
Takeaways
- For recursive limits, first solve the fixed-point equation.
- A contraction inequality gives a rigorous convergence proof.
- The same method works for many rational recursions.
- The sequence is related to the continued fraction of . It can be expressed as
Further Readings
HSC Functions, HSC Induction, HSC Complex Numbers, HSC Last Resorts