Earlier, I started exploring iterated functions trying to make some way-points between Mandelbrot set iterations. In that post, I left off with the following: if , then . Today, I am going to tackle the more general case of finding so that .
First, a caveat
You can see already in the above that we had some arbitrary choices. We could have chosen either the positive or negative square root of . This is essentially a death knell for my dream of coming up with an equation to do an arbitrary number of partial iterations in a completely natural way.
Okay, so it’s not the end-all-and-be-all. It’s not unique. At least, it is more
natural than pretending like things proceed directly from one iteration to the next in a straight line or along some fitted curve.
In the end, what I really want is some way to define that isn’t too ugly compared to itself. I want to be continuous in the sense that if you pick some positive , then I can come up with some so that for all for every in some useful region.
I believe there will be a large class of functions for which this is possible. With , defining is continuous in this sense.
Alright, back to work
We want to find so that . Again, we’re going to hope that it is of the form: . (In light of the fact that things aren’t unique, maybe I should be saying
we’re going to hope that something of this form works.) So, let’s assume we have such a .
Then, , and so on. We can show by induction on that the general case is . To get this to come out to we then need and . With a little playing with the summation, we can make this .
What about non-linear iterations?
The iteration in the Mandelbrot set uses . Can we find a candidate for ?
Let’s start with just for a moment without the involved. It’s going to be trickier to get something that comes out squared. With constant functions, you can feed the result back in as often as you like and still be constant. With linear functions, you can feed them back upon themselves as often as you like and still be linear. With something squared, you end up with something to the fourth power when you feed it back upon itself. But, maybe we can do with the exponents what we did with the constants in the previous section.
If we let , then . So, if we let , then we have . I believe this is continuous in the way that I want it to be. I will have to check that at some point though.
What happens now though if we add back in a constant? Let’s try . Here is : . That is outright ugly. I’m not even sure where to start tackling that. So, I think I’ll call it a day here at the keyboard and start hitting the whiteboard.