Nepedia
Back to Discover
Advanced Reader
🔢

Recurrence relation

math Maturity 11-13 Next article →

A recurrence relation is a mathematical equation used to define a sequence of numbers. In such a sequence, each term is calculated using a combination of the terms that came before it. This process relies on a starting point known as an initial value. Without these starting values, the rule has no foundation to build upon. The rule acts as a bridge from known values to unknown future values. This concept is vital for understanding how discrete systems evolve over time.

The complexity of a recurrence relation is often described by its order. The order refers to how many previous terms are required to calculate the next one. A first-order relation only requires the single immediately preceding element. If a rule requires the two previous terms, it is a second-order relation. The mathematical form of these relations can vary significantly. In a linear recurrence, the next term is equated to a linear function of the previous terms. Some relations use constant coefficients, which are numbers that do not change. Others use polynomial coefficients, meaning the coefficients depend on the position in the sequence.

One of the most famous examples is the Fibonacci sequence. This is a homogeneous linear recurrence relation with constant coefficients and an order of two. The rule is simple: each term is the sum of the two preceding terms. Using the initial conditions of 0 and 1, the sequence progresses: 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, and so on. Mathematicians have found ways to solve this recurrence to find a closed-form expression. This is a non-recursive function that allows you to calculate any term directly. One such solution is Binet's formula, which utilizes the roots of a characteristic polynomial.

Recurrence relations can also extend into multiple dimensions. While a one-dimensional relation defines a simple sequence, multidimensional relations define indexed families or grids. A notable example is found in binomial coefficients, which count ways to select elements from a set. These coefficients can be arranged into an infinite array known as Pascal's triangle. In this triangle, each number is generated by a two-dimensional recurrence relation involving the values above it. However, computers often use a one-dimensional recurrence to calculate these same values. This method is more efficient because it avoids building a large table and uses smaller integers.

Another important example is the factorial, which is defined by a first-order linear recurrence with polynomial coefficients. The factorial uses the relation n! = n * (n-1)! with an initial condition of 0! = 1. Beyond simple arithmetic, these relations appear in complex mathematical functions. Many elementary and special functions have Taylor series where the coefficients satisfy a recurrence relation. These are known as holonomic functions. This connection shows how discrete steps can describe continuous mathematical ideas.

Researchers also study the stability of these sequences to see how they behave long-term. A linear recurrence is considered stable if its iterates converge toward a fixed value. This stability depends on the eigenvalues, or the roots of the characteristic equation. If the absolute value of these eigenvalues is less than one, the sequence is stable. In contrast, nonlinear recurrences can exhibit much more complex behavior. The logistic map is a famous example of a nonlinear first-order recurrence. Depending on a specific constant, the sequence can be stable or it can become chaotic. In a chaotic system, the values stay within a bounded region but never settle into a fixed point or a repeating cycle.

Finally, recurrence relations are deeply connected to the field of calculus. They are closely related to difference equations, which use a difference operator to map sequences to other sequences. While recurrence relations are often viewed through the lens of discrete mathematics, difference equations are sometimes seen as approximations of differential equations. In fact, solving an ordinary differential equation numerically often requires the use of a recurrence relation. For example, Euler's method uses a recurrence relation to solve initial value problems. This link allows mathematicians to move between the study of discrete steps and continuous change.

684 words

Where will your curiosity go next?

Keep exploring at your chosen reading level.

More to explore

What is Nepedia?

A free, ad-free encyclopedia for children. Every article is written at five reading levels, so the same page works for a five-year-old and a fifteen-year-old — use the level switcher above to see this one change. No account needed to read.