# Simplifying an Infinite Composite Recursion in a System of Equations

• Dec 19th 2013, 10:31 PM
Spacemoss
Simplifying an Infinite Composite Recursion in a System of Equations
Hello, I'm working with a system of equations that has an infinite recursion function, and am wondering if its possible to simplify or remove the recursion in terms of the other functions in the system. Any insight into the framework or family of this system is appreciated.

Given two functions P(x) and C(x), define a 3rd function A(x), such that:

A(x) = 2x - P(x) - C(x)

Then define an infinitely recursive composite 4th function Q(x), such that:

Q(x) = ...A(x) +C(A(x)+C(A(x)+C(A(x))))

Can Q(x) be simplified/solved to remove the recursion and/or shown in terms of a non recursive function of P(x) and C(x)?

I did notice that it's almost stating that Q(x) = A(x) +C(Q(x)), and was going to try and approach it that way, but that's not quite right, seeing as the recursion is on the front end and not terminating on the inside. Or does that represent it correctly? In which case how do I get the Q(x) out from the input of C(x)? Is it solely dependent on the form of C(x) itself, or removable by some other method?

Also, I was able to think of Q(x) as a series of equations, Qn(x), such that:

Q1(x) = C(A(x))
Q2(x) = C(A(x)+Q1(x))
Q3(x) = C(A(x)+Q2(x)) ... or in general,
Qn(x) = C(A(x)+Qn-1(x))

in which case, the infinite recursion is represented as Q(x), but I didn't really know where to go from here.

Anyways, thanks for any insight into this system.
• Dec 20th 2013, 02:01 AM
SlipEternal
Re: Simplifying an Infinite Composite Recursion in a System of Equations
I think what you meant was $Q(x) = C(A(x) + Q(x))$. Is $C(x)$ invertible? If it is, then $A(x) = C^{-1}(Q(x))-Q(x)$. Plugging in for the LHS, you get $2x-P(x)-C(x) = C^{-1}(Q(x))-Q(x)$

Then $x = \dfrac{1}{2}\left(P(x)+C(x)+C^{-1}(Q(x))-Q(x)\right)$

Does that help at all?
• Dec 20th 2013, 03:02 PM
Spacemoss
Re: Simplifying an Infinite Composite Recursion in a System of Equations
Thanks for your help. Reading what you asked, and thinking about what I was trying to describe, I think I can make it clearer, and see where I may have miss stated Q(x) from the original iterations. The original and correct recursive function I am working with is:

Iteration 1: 2x - P(x) - C(x)
Iteration 2: 2x - P(x) - C(x) + C(2x - P(x) - C(x))
Iteration 3: 2x - P(x) - C(x) + C(2x - P(x) - C(x)) + C(2x - P(x) - C(x) + C(2x - P(x) - C(x)))
Iteration 4: 2x - P(x) - C(x) + C(2x - P(x) - C(x)) + C(2x - P(x) - C(x) + C(2x - P(x) - C(x))) + C(2x - P(x) - C(x) + C(2x - P(x) - C(x)) + C(2x - P(x) - C(x) + C(2x - P(x) - C(x))))
... and so on

This is the same as:

Iteration 1, Iteration 1 + C(Iteration 1), Iteration 2 + C(Iteration 2), Iteration 3 +C(Iteration3),....

I then defined Iteration 1 as A(x). What I'm trying to find, loosely speaking, is a closed form or limit, explicit or implicit, for the full infinite Iteration.

Lastly, it's funny that you questioned the invertibility of C(x). C(x) and P(x) are not easily invertible, if at all, and the above recursion came about as a method to avoid trying to find the Inverse of P(x). They are Sumations of Trig Functions where sometimes a partial sum is used, and other times, an infinite sum is used. In either case the Inversion gets challenging as it is not known whether the trig sums I am using have a closed form. That was another question, I may eventually create a thread for, but I figured I'd investigate this angle first. Thanks again.
• Dec 20th 2013, 07:42 PM
SlipEternal
Re: Simplifying an Infinite Composite Recursion in a System of Equations
Ah, I see. That is much different than what I thought.

So, the recursion is actually, $Q_1(x) = A(x), Q_n(x) = Q_{n-1}(x) + C(Q_{n-1}(x))$. This recursion is only well defined if the function converges pointwise to a limit function: $\lim_{n \to \infty} Q_n(x) = Q(x)$.

If the limit function exists, then, in the limit, $\lim_{n \to \infty} Q_n(x) = \lim_{n \to \infty} Q_{n-1}(x) + C(Q_{n-1}(x))$ implies $Q(x) = Q(x) + C(Q(x))$, which then implies $C(Q(x)) = 0$. So, you know that $Q(x)$ is a root of $C(x)$ for all $x$. If that is not true, then I doubt any limit function exists. (Also, I am assuming that $C(x)$ is continuous over all $x$).

If $C(x)$ is not continuous, but the limit function of $Q_n(x)$ exists, then $\lim_{n \to \infty} C(Q_n(x)) = 0$. So, now you need to check if $C(Q_n(x))$ converges, and if it does, does it converge to the zero function?
• Dec 20th 2013, 11:14 PM
Spacemoss
Re: Simplifying an Infinite Composite Recursion in a System of Equations
Nice, after looking over my initial reply I also saw the correct sectioning of the recursion, and you confirmed it.

$Q_n(x) = Q_{n-1}(x) + C(Q_{n-1}(x))$ is correct.

Your statements on the limits also proved insightful, as I can speak to some of the implications.

First, I agree that, $\lim_{n \to \infty} Q_n(x) = \lim_{n \to \infty} Q_{n-1}(x) + C(Q_{n-1}(x))$ implies $Q(x) = Q(x) + C(Q(x))$, but only if Q and C are acting determinately. Sometimes the indeterminate limit is different than working with the limit of the parts depending on the functions. To that end, I'm not exactly sure. Temporarily shelving that possibility, and assuming the determinate case, then like you said, $C(Q(x)) = 0$, and that $Q(x)$ is a root of $C(x)$ for all x, however, I do know some things conceptually about $C(x)$ and $Q(x)$.

Namely that:
$C(Q(x)) = 0$ only when $x=1$ or $x=2$.
$C(x)$ as it is, is only continuous across the Integers, but not the Reals, it only has values at integers.
$C(x)$ has 3 roots, at $x=1$, $x=2$, or $x=3$.

I think I may be able to alter $C(x)$ to still serve its purpose and be continuous across the reals, or and also even add non-integer roots, however I don't think I would gain anything from that.

Finally, treating $C(x)$ in its non-continuous form, and assuming the limit function of $Q_n(x)$ exists, you stated that $\lim_{n \to \infty} C(Q_n(x)) = 0$. However, that limit equals $Q(x) - x - 1$, which again, only equals 0 when $x=1$ or $x=2$.

So, overall, I'm generally thinking the recursion can't be truncated. Back to the chalkboard. Thanks again for your insights, they helped.