19.2.3. Finding a Particular Solution

So, let us first discuss the general form of any linear non-homogeneous recurrence equation of degree k with constant coefficients. So the general form will be this, the nth term will depend on previous terms plus some function of n, F(n). So, here your coefficients c to c are real numbers 1 k they could be 0 as well but the only restriction is that c is not allowed to be 0 that means the nth term definitely depends upon the (n – k)th term. And that is why the degree of this equation is k. And F(n) will be a function of n that is why it is called non-homogeneous recurrence equation.

The general form of a linear non-homogeneous recurrence equation is defined by its dependence on the previous k terms plus an additional function F(n). Here, the terms depend linearly on their previous terms (for example, term n depends on terms n-1, n-2, ..., n-k) plus F(n), which is a function of n that differentiates it from a homogeneous equation. The coefficients c that connect these terms are real numbers, and particularly, c_k cannot be zero; if it were, the recurrence would not truly be of degree k.

Think of the recurrence equation as a recipe where you have a series of steps (previous terms) plus a unique ingredient (F(n)) that changes every time you cook. Just like you can't cook without ingredients, you can't define the nth step if you don't know F(n).

So, the first thing that we do, while solving the linear non-homogeneous recurrence equation is the following. We form what we call as the associated recurrence relation, associated homogeneous recurrence relation to be more specific and this is obtained by chopping off this F(n) function. So, if I chop off this F(n) function then whatever recurrence relation I am left over with that is called as the associated homogeneous recurrence relation.

To tackle a linear non-homogeneous recurrence equation, you first identify the associated homogeneous equation by removing the non-homogeneous part, F(n). This simplification allows you to focus on solving a familiar type of equation where the solutions are easier to find. The associated homogeneous relation maintains the same degree k, showing that the values are still dependent on the same previous terms.

Imagine you are solving a puzzle where one piece (F(n)) is confusing the picture. By setting it aside (chopping off F(n)), you can see the rest of the picture more clearly (the associated homogeneous relation) and focus on fitting the remaining pieces together.

We claim that any sequence satisfying the entire recurrence equation; its nth term will be the summation of the nth term of the sequence satisfying the associated homogeneous equation and the nth term of the particular solution; that is the statement.

The method suggests that once you've determined a particular solution (a sequence satisfying the entire non-homogeneous equation), any solution to the recurrence can be expressed as the sum of this particular solution and the solution to the associated homogeneous equation. This means that solutions are built together from known pieces: one from the structure defined without the function F(n) and another that explicitly incorporates F(n).

Think of building a structure with bricks. The bricks that represent the particular solution form the unique shape you want, while the foundational layer (the homogeneous solution) provides the essential support. Together, they create a stable and complete building (the overall solution to the recurrence).

So, let us prove this theorem, we want to prove that any solution satisfying the entire recurrence equation is of this form. Namely its nth term is the summation of the nth term of the sequence satisfying the associated homogeneous recurrence relation plus the nth term of the particular solution that is what we want to prove.

In proving this theorem, we take two sequences - one that corresponds to the whole equation (the entire recurrence) and another that aligns with the associated homogeneous relation. By manipulating both sequences according to the properties of the equations and demonstrating that their difference satisfies the homogeneous relation, we can conclude that the solutions correlate in the manner stated, affirming that the relationship holds through direct evidence.

Imagine you are conducting an experiment to verify a formula. You have two different methods: one to measure the effect of a specific treatment (the homogeneous part) and another to account for all possible factors, both methods should yield a combined result that aligns perfectly, confirming your original equation.

--